loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 32nd Annual IEEE International Computer Software and Applications Conference
Automating Software FMEA via Formal Analysis of Dependence Relations
July 28-August 01
ISBN: 978-0-7695-3262-2
ASCII Text
x 
 
Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian, "Automating Software FMEA via Formal Analysis of Dependence Relations," Computer Software and Applications Conference, Annual International, pp. 490-491, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2008.71,
author = {Wei Dong and Ji Wang and Changzhi Zhao and Xian Zhang and Jie Tian},
title = {Automating Software FMEA via Formal Analysis of Dependence Relations},
journal ={Computer Software and Applications Conference, Annual International},
volume = {0},
year = {2008},
issn = {0730-3157},
pages = {490-491},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.71},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Automating Software FMEA via Formal Analysis of Dependence Relations
SN - 0730-3157
SP490
EP491
A1 - Wei Dong,
A1 - Ji Wang,
A1 - Changzhi Zhao,
A1 - Xian Zhang,
A1 - Jie Tian,
PY - 2008
KW - Software FMEA
KW - formal analysis
KW - dependence relations
VL - 0
JA - Computer Software and Applications Conference, Annual International
ER -
 
The paper presents the ongoing work of studying FMEA method for embedded safety 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.
Index Terms:
Software FMEA, formal analysis, dependence relations
Citation:
Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian, "Automating Software FMEA via Formal Analysis of Dependence Relations," compsac, pp.490-491, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.