Model checking-based Software-FMEA: Assessment of fault tolerance and error detection mechanisms

被引：0
作者：
Molnár V. [1 ,2 ]
Majzik I. [1 ]
机构：
[1] Department of Measurement and Information Systems, Faculty of Electrical Engineering and Informatics, Budapest University of Technology and Economics, P.O.B. 91, Budapest
[2] MTA-BME Lendület Cyber-Physical Systems Research Group, Budapest
来源：
Periodica polytechnica Electrical engineering and computer science | 2017年 / 61卷 / 02期
关键词：
Error detector; Failure Mode and Effects Analysis; Fault tolerance; Model checking; SW-FMEA;
D O I：
10.3311/PPee.9755
中图分类号：
学科分类号：
摘要：
Failure Mode and Effects Analysis (FMEA) is a systematic technique to explore the possible failure modes of individual components or subsystems and determine their potential effects at the system level. Applications of FMEA are common in case of hardware and communication failures, but analyzing software failures (SW-FMEA) poses a number of challenges. Failures may originate in permanent software faults commonly called bugs, and their effects can be very subtle and hard to predict, due to the complex nature of programs. Therefore, a behavior-based automatic method to analyze the potential effects of different types of bugs is desirable. Such a method could be used to automatically build an FMEA report about the fault effects, or to evaluate different failure mitigation and detection techniques. 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 inspired by safety-critical embedded operating systems.
引用
收藏
页码：132 / 150
页数：18
相关论文
共 27 条
  • [1] Road Vehicles-open Interface for Embedded Automotive Applications. Part 1: General Structure and Terms, Definitions and Abbreviated Terms, (2005)
  • [2] Potential Failure Mode and Effects Analysis in Manufacturing and Assembly Processes (Process FMEA), (2009)
  • [3] Anderson T., Feng M., Riddle S., Romanovsky A., Protective wrapper development: A case study, Second International Conference, ICCBSS 2003, pp. 1-14, (2003)
  • [4] Arlat J., Costes A., Crouzet Y., Laprie J.C., Powell D., Fault injection and dependability evaluation of fault-tolerant systems, IEEE Transactions On Computers, 42, 8, pp. 913-923, (1993)
  • [5] Avizienis A., Laprie J.-C., Randell B., Fundamental Concepts of Dependability, (2001)
  • [6] Bernardeschi C., Fantechi A., Simoncini L., Formal Reasoning On Fault Coverage of Fault Tolerant Techniques: A Case Study, pp. 77-94, (1994)
  • [7] Fantechi A., Simoncini L., Formally verifying fault tolerant system designs, The Computer Journal, 43, 3, pp. 191-205, (2000)
  • [8] Bloem R., Konighofer B., Konighofer R., Wang C., Shield synthesis: Runtime enforcement for reactive systems, International Conference On. Tools and Algorithms for the Construction and Analysis of Systems. 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences On Theory and Practice of Software, ETAPS 2015, pp. 533-548, (2015)
  • [9] Bonfiglio V., Montecchi L., Rossi F., Lollini P., Pataricza A., Bondavalli A., Executable models to support automated software FMEA, 2015 IEEE 16th International Symposium On High Assurance Systems Engineering (HASE), pp. 189-196, (2015)
  • [10] Carreira J.V., Costa D., Silva J.G., Fault injection spot-checks computer system dependability, IEEE Spectrum, 36, 8, pp. 50-55, (1999)
123