Automating Software FMEA via Formal Analysis of Dependence Relations
Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian · 2008
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.