Title :
Automating Software FMEA via Formal Analysis of Dependence Relations
Author :
Dong, Wei ; Wang, Ji ; Zhao, Changzhi ; Zhang, Xian ; Tian, Jie
Author_Institution :
Sch. of Comput., Nat. Univ. of Defense Technol., Changsha
fDate :
July 28 2008-Aug. 1 2008
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.
Keywords :
object-oriented programming; software engineering; system recovery; FMEA software automation; dependence relations; formal analysis; object-oriented software; software design; Aircraft; Automation; Concurrent computing; Distributed computing; Embedded computing; Embedded software; Failure analysis; Object oriented modeling; Software design; Software safety; Software FMEA; dependence relations; formal analysis;
Conference_Titel :
Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International
Conference_Location :
Turku
Print_ISBN :
978-0-7695-3262-2
Electronic_ISBN :
0730-3157
DOI :
10.1109/COMPSAC.2008.71
