1,215 Hits in 3.7 sec

Approach to integrate product conceptual design information into a computer-aided design system

Víctor H. Torres, José Ríos, Antonio Vizán, Jesús M. Pérez
2013 Concurrent Engineering - Research and Applications  
Commercial computer-aided design systems support the geometric definition of product, but they lack utilities to support initial design stages.  ...  To demonstrate the feasibility of the approach adopted, a prototype application was developed and two case studies were executed.  ...  They also express their gratitude to Ms Hilaida Teran, researcher in the Department of Mechanical and Manufacturing Engineering.  ... 
doi:10.1177/1063293x12475233 fatcat:vjkxrfetinashhx2df5cpi3fri

Model-based testing of PLC software: test of plants' reliability by using fault injection on component level

Susanne Rösch, Dmitry Tikhonov, Daniel Schütz, Birgit Vogel-Heuser
2014 IFAC Proceedings Volumes  
In order to inject the faults at relevant points during the execution of the control software, IEC 61131-3 code is analyzed for the derivation of the test cases.  ...  Further on, an approach to generate tests for error handling routines, which test the reliability of plants by injecting the corresponding faults is presented.  ...  The model is mapped to the software structure of the PLC program as shown in Fig. 2 .  ... 
doi:10.3182/20140824-6-za-1003.01238 fatcat:zcyfmqbtybg4rjx7gwrlywer6a

Patterns for Representing FMEA in Formal Specification of Control Systems

Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky, Yuliya Prokhorova, Elena Troubitsyna
2011 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering  
The patterns help the developers to trace the requirements from safety analysis to formal specification. Moreover, they allow them to increase automation of formal system development by refinement.  ...  We define a number of patterns for representing requirements derived from FMEA in formal system model specified in Event-B.  ...  ACKNOWLEDGMENT The work reported in this paper is supported by FP7 ICT DEPLOY.  ... 
doi:10.1109/hase.2011.10 dblp:conf/hase/LopatkinIRPT11 fatcat:c5lhyxlzbvfp7bvt27sbp54qhq

Combining Model-Based Testing and Failure Modes and Effects Analysis for Test Case Prioritization: A Software Testing Approach

Atifi Meriem, Marzak Abdelaziz
2019 Journal of Computer Science  
By applying such a technique to Model-based testing projects, we can benefit from FMEA analysis and the automating in same project.  ...  Therefore, automate software testing activities have become primordial in the Software Development Life Cycle (SDLC).  ...  These test cases are executed and compared with respect to the expected results to report any deviation from the expected behavior. In principle, test cases execution activity can also be automated.  ... 
doi:10.3844/jcssp.2019.435.449 fatcat:ljs4vw4jwbblzdzhxvaekp7d7m

Fault Injection for Software Certification

Domenico Cotroneo, Roberto Natella
2013 IEEE Security and Privacy  
As software becomes more and more pervasive and complex, it is increasingly important to assure that a system will be safe even in the presence of residual software faults ("bugs").  ...  Software Fault Injection consists in the deliberate introduction of software faults for assessing the impact of faulty software on the system and improving fault-tolerance.  ...  His research is in the area of dependability assessment of missioncritical systems, and in particular on software fault injection and on software aging and rejuvenation.  ... 
doi:10.1109/msp.2013.54 fatcat:3afku253knebbfuk7b7ly5tatu

Integration of Design Tools and Knowledge Capture into a CAD System: A Case Study

Víctor Hugo Torres, José Ríos, Antonio Vizán, Jesús M. Pérez
2010 Concurrent Engineering - Research and Applications  
could support the information flow, and based on the pilot scheme results to propose a full development framework.  ...  Conceptual design phase Is partially supported by product Iifecycie management/computer-aided design (PLM/CAD) systems causing discontinuity of the design Information flow: customer needs -functional requirements  ...  Acknowledgment The authors thank the personnel from Research and Development Department in Valeo Transmissions Spain that kindly helped and contributed to this study.  ... 
doi:10.1177/1063293x10389788 fatcat:etpkoygomzhfrhm6mzxdf6m35e

Evaluation of Highway-pilot Function Based on FMEA Safety Analysis

Ádám Bényei, Gabor Vida, Krisztián Pintér, Zsolt Szalay, György Ágoston
2019 Periodica Polytechnica Transportation Engineering  
This poses the risk of unauthorized access to data. Theoretically cars have separate computer units, operate in isolation, and are not connected, so there is less possibility to be attacked.  ...  In accordance with the introduced threats, it is a crucial objective of this research to indicate specific methods, which can help the industry to evaluate and prepare for these kinds of attacks in a proper  ...  Acknowledgement The research reported in this paper was supported by the Higher Education Excellence Program of the Ministry of Human Capacities in the frame of Artificial Intelligence research area of  ... 
doi:10.3311/pptr.13848 fatcat:eslsqpnvvrcf5omhpzjva67aaq

Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms

Vince Molnár, István Majzik
2017 Periodica Polytechnica Electrical Engineering and Computer Science  
This paper follows the latter direction, demonstrating the use of a model checking-based automated SW-FMEA approach to evaluate error detection and fault tolerance mechanisms, demonstrated on a case study  ...  Applications of FMEA are common in case of hardware and communication failures, but analyzing software failures (SW-FMEA) poses a number of challenges.  ...  This paper presents a way of automated SW-FMEA with the use of executable software models.  ... 
doi:10.3311/ppee.9755 fatcat:n32cyfydszfotk5trqw65xxbm4

Failure Mode & Effect Analysis for Improving Data Veracity and Validity

Ana Elsa Hinojosa Herrera, Chris Walshaw, Chris Bailey, Chunyan Yin
2019 2019 International Conference on Computing, Electronics & Communications Engineering (iCCECE)  
Failure Mode & Effect Analysis (FMEA) is a method that has been used to improve reliability of products, processes, designs, and software for different applications, including electronics manufacturing  ...  In this paper we propose a modification of this method to extend its application for data veracity and validity improvement.  ...  ACKNOWLEDGMENT The authors would like to acknowledge the support from Microsemi Corporation (A Microchip company) for providing the dataset, collaborating with the FMEA elaboration and sharing their domain  ... 
doi:10.1109/iccece46942.2019.8941849 fatcat:q5gfkvyzdbbyxpvde6swq7ljam

Failure Mode & Effect Analysis and another Methodology for Improving Data Veracity and Validity

Ana Elsa Hinojosa Herrera, Chris Walshaw, Chris Bailey
2020 Annals of Emerging Technologies in Computing  
Failure Mode & Effect Analysis (FMEA) is a method that has been used to improve reliability of products, processes, designs, and software for different applications.  ...  Finally, we describe another methodology, developed as a result of the DVV-FMEA application which is aimed at improving the tests' repeatability and failure detection capabilities as well as monitoring  ...  Acknowledgment The authors would like to acknowledge the support from Microsemi Corporation (A Microchip company) for providing the dataset, collaborating with the FMEA elaboration and sharing their domain  ... 
doi:10.33166/aetic.2020.03.002 fatcat:chdqec36grh2xhjmpsmrn2casy

Process-based quality management for clinical implementation of adaptive radiotherapy

Camille E. Noel, Lakshmi Santanam, Parag J. Parikh, Sasa Mutic
2014 Medical Physics (Lancaster)  
Risk-mitigation strategies include implementing a suite of quality control and decision support software, specialty QA software/hardware tools, and an increase in specially trained personnel.  ...  The authors aim to address these obstacles by applying failure mode and effects analysis (FMEA) to identify high-priority errors and appropriate risk-mitigation strategies for clinical implementation of  ...  support anatomical models and 4D data.  ... 
doi:10.1118/1.4890589 pmid:25086527 pmcid:PMC4119199 fatcat:dysrg4f6ybabbbf3hcxq6qjjsy

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products

Andre L. de Oliveira, Rosana T.V. Braga, Paulo C. Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly
2014 2014 Brazilian Symposium on Computing Systems Engineering  
Therefore, we propose a model-based approach to support the generation of safety analysis assets for multiple safety-critical SPL products.  ...  The proposed approach is illustrated using the Hephaestus variability management tool and the HiP-HOPS model-based safety analysis tool to generate fault trees and FMEA for the products of an automotive  ...  Existing techniques to support product line safety analysis such as Software FTA [6] [7] [8] [9] are not sensible to an individual product and just provide semi-automated capabilities to support the  ... 
doi:10.1109/sbesc.2014.20 dblp:conf/sbesc/OliveiraBMPHK14 fatcat:ih67dsjvmngp7nenvut55tmuoy

System Dependability Modelling and Analysis Using AADL and HiP-HOPS

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Matthias Biehl
2012 IFAC Proceedings Volumes  
We automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques.  ...  This requires translating concepts of the design domain to the dependability analysis domain.  ...  Acknowledgement This work was supported partly by the EU Project MAENAD (Grant 260057).  ... 
doi:10.3182/20120523-3-ro-2023.00334 fatcat:p77ygvdzpralrgdm6xaqnvvkaq

Quality Attribute Techniques Framework [chapter]

Yin Kia Chiam, Liming Zhu, Mark Staples
2009 Communications in Computer and Information Science  
The framework is intended to support process tailoring, by facilitating the selection of techniques for inclusion into process models that target specific product qualities.  ...  The quality of software is achieved during its development. Development teams use various techniques to investigate, evaluate and control potential quality problems in their systems.  ...  Guidance elements such as tools, guidelines and examples can be used to support or automate the execution of an activity. The QATF and the three perspectives are as follows. General Information.  ... 
doi:10.1007/978-3-642-04133-4_15 fatcat:xbvercbqkfapjkwh7d3ibxwqxe

SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems [chapter]

Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller
2019 Lecture Notes in Computer Science  
To cope with the mentioned challenges, we present an integrated model-based approach SQUADfps (machine Safety and product QUAlity for flexible proDuction systems) to support the automatic conduct of the  ...  Our approach is based on a meta-model which captures all information needed to conduct both risk assessment and process-FMEA dynamically during the runtime, and thus enables flexible manufacturing scenarios  ...  Acknowledgement The work leading to this paper was funded by the German Federal Ministry of Education and Research under grant number 01IS16043Q and 01IS16043O (CrESt).  ... 
doi:10.1007/978-3-030-32872-6_15 fatcat:pdf76e4d5zexten4oswhkfgm2q
« Previous Showing results 1 — 15 out of 1,215 results