Automating software FMEA via formal analysis of dependence relations

Proceedings - International Computer Software and Applications Conference

Volumn , Issue , 2008, Pages 490-491

  Dong, Wei ^a   Wang, Ji ^b   Zhao, Changzhi ^a   Zhang, Xian ^a   Tian, Jie ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^b NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER APPLICATIONS; COMPUTERS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SAFETY FACTOR; SOFTWARE DESIGN; WORD PROCESSING;

CASE STUDIES; FORMAL ANALYSIS; FORMAL MODELING; OBJECT-ORIENTED SOFTWARE; SAFETY-CRITICAL SOFTWARE; SOFTWARE DESIGN AND IMPLEMENTATION; SOFTWARE ELEMENTS; SYSTEM LEVELS;

COMPUTER SOFTWARE;

EID: 51949086849     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2008.71     Document Type: Conference Paper

References (5)

1. B.J.Czerny, et al. Effective Application of Software Safety Techniques for Automotive Embedded Control Systems. SAE Technical Paper Series, 01-0785, 2005.
2. Peter L.Goddard. Software FMEA techniques. Annual Reliability and Maintainability Symposium, 2000.
3. A.Arkusinski. A method to increase the design assurance level of software by means of FMEA. The 24th Digital Avionics Systems Conference, 2005.
4. Lutz R.R, et al. ExperienceReport: Contributions of SFMEA to requirements analysis. Proceedings of ICRE, 1996.
5. M.P.Robillard, G.C.Murphy. Concern Graphs: Finding and Describing Concerns Using Structural Program Dependencies. Proceedings of ICSE, 2002.