Automating Software FMEA Via Formal Analysis of Dependence Relations

Wei Dong,Ji Wang,Changzhi Zhao,Xian Zhang,Jie Tian
DOI: https://doi.org/10.1109/compsac.2008.71
2008-01-01
Abstract:The paper presents the ongoing work of studying FMEA method for embedded safely critical software via formal analysis of various dependence relations among software elements, which can fairly improve the automation and precision of both system level and detailed level FMEA. These dependence relations are depicted by the formal models abstracted from software design and implementation, and the FMEA processes for both structural and object-oriented software are proposed respectively. The initial result of case study shows the effectiveness of the approach.
What problem does this paper attempt to address?