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

fYear

2008

fDate

July 28 2008-Aug. 1 2008

Firstpage

490

Lastpage

491

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International

Conference_Location

Turku

ISSN

0730-3157

Print_ISBN

978-0-7695-3262-2

Electronic_ISBN

0730-3157

Type

conf

DOI

10.1109/COMPSAC.2008.71

Filename

4591602