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 条
  • [11] Chen L., Avizienis A., N-version programming: A fault-tolerance approach to reliability of software operation, Twenty-Fifth International Symposium On Fault-Tolerant Computing 1995, pp. 113-119, (1995)
  • [12] Christmansson J., Chillarege R., Generation of an error set that emu-lates software faults based on field data, FTCS '96 Proceedings of the the Twenty-Sixth Annual International Symposium On Fault-Tolerant Computing (FTCS '96), pp. 304-313, (1996)
  • [13] Duraes J.A., Madeira H.S., Emulation of software faults: A field data study and a practical approach, IEEE Transactions On Software Engineering, 32, 11, pp. 849-867, (2006)
  • [14] Grunske L., Winter K., Yatapanage N., Zafar S., Lindsay P.A., Experience with fault injection experiments for FMEA, Software: Practice and Experience, 41, 11, pp. 1233-1258, (2011)
  • [15] Holzmann G., The SPIN Model Checker: Primer and Reference Manual, (2003)
  • [16] Jia Y., Harman M., An analysis and survey of the development of mutation testing, IEEE Transactions On Software Engineering, 37, 5, pp. 649-678, (2011)
  • [17] Madeira H., Costa D., Vieira M., On the emulation of software faults by software fault injection, Proceeding International Conference On Dependable Systems and Networks (DSN) 2000, pp. 417-426, (2000)
  • [18] Menes R., Hecht H., Software Safety and Certification: Reintroducing the FMEA
  • [19] Molnar V., Majzik I., Evaluation of fault tolerance mechanisms with model checking, Proceedings of the 23rd PhD Mini-Symposium. Budapest University of Technology and Economics, pp. 30-33, (2016)
  • [20] Moraes R., Duraes J., Barbosa R., Martins E., Madeira H., Experimental risk assessment and comparison using software fault injection, 37th Annual IEEE/IFIP International Conference On Dependable Systems and Networks (DSN), pp. 512-521, (2007)
123