Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
نویسندگان
چکیده
One of possible ways to achieve a very high level of confidence in a system is to develop its adequate model and then to analyse the properties of this model. The paper presents how object oriented modelling extended with formal specifications is used to support FMEA of software intensive systems. The paper refers to the case study of a computerised railway signalling system.
منابع مشابه
Tackling uncertainty in safety risk analysis in process systems: The case of gas pressure reduction stations
Industrial plants are subjected to very dangerous events. Therefore, it is very essential to carry out an efficient risk and safety analysis. In classical applications, risk analysis treats event probabilities as certain data, while there is much penurious knowledge and uncertainty in generic failure data that will lead to biased and inconsistent alternative estimates. Then, in order to achieve...
متن کاملIdentification of priorities for medication safety in the neonatal intensive care unit via failure mode and effect analysis
Prevention of medication errors in neonatal intensive care units (NICUs) is of paramount importance due to age-specific and physiological conditions of neonates. This study aimed to evaluate the risk of medication prescription and administration via failure mode and effects analysis (FMEA), which was carried out at the Research and Medical Teaching Center of Imam Reza Hospital in Mashhad, Iran....
متن کاملResearch on AADL Model for Qualitative Safety Analysis of Embedded Systems
As embedded software is taking an important part in safety critical filed, how to ensure the safety of safety-critical software has recently become a research focus. Developing safety-critical and highly reliable systems almost always includes significant emphasis on safety analysis and risk assessment. There have been substantial improvements in automation and formalization of other aspects of...
متن کاملMeans-ends and whole-part traceability analysis of safety requirements
Safety is a system property, hence the high-level safety requirements are incorporated into the implementation of system components. In this paper, we propose an optimized traceability analysis method which is based on the means-ends and whole-part concept of the approach for cognitive systems engineering to trace these safety requirements. A system consists of hardware, software, and humans ac...
متن کاملMulti-factor failure mode critically analysis using TOPSIS
The paper presents a multi-factor decision-making approach for prioritizing failure modes as an alternative to traditional approach of failure mode and effect analysis (FMEA). The approach is based on the ‘technique for order preference by similarity to ideal solution’ (TOPSIS). The priority ranking is formulated on the basis of six parameters (failure occurrence, non-detection, maintainability...
متن کامل