Tool support for incremental Failure Mode and Effects Analysis of component-based systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 921-927

  Elmqvist, Jonas ^a   Nadjm Tehrani, Simin ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CHLORINE COMPOUNDS; INDUSTRIAL ENGINEERING; INTERSECTIONS; MODERNIZATION; QUALITY ASSURANCE; RELIABILITY; SAFETY FACTOR; SECURITY SYSTEMS; SYSTEMS ANALYSIS; TESTING;

COMPLEX SYSTEMS; COMPONENT-BASED; COMPONENT-BASED SYSTEMS; DESIGN MODELING; FAILURE MODE AND EFFECTS ANALYSIS; FORMAL APPROACH; SAFETY ANALYSIS; SAFETY ASSESSMENTS; SAFETY-CRITICAL SYSTEMS; SYSTEM DESIGNS; TOOL SUPPORTS;

FAILURE ANALYSIS;

EID: 49749097882     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484792     Document Type: Conference Paper

References (18)

1. G. Berry. The Esterel v5 Language Primer, v 5_91 edition, 2000.
2. M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca, and A. Villafiorita. Improving safety assessment of complex systems: An industrial case study. In FME 2003: Formal Methods: International Symposium of Formal Methods, volume 2805 of Lecture Notes in Computer Science, pages 208-222. Springer Verlag, September 2003.
3. M. Bozzano and et al. ESACS: an integrated methodology for design and safety analysis of complex systems. In ESREL 2003, pages 237-245. Balkema, June 2003.
4. I. Crnkovic, J. A. Stafford, H. W. Schmidt, and K. C. Wallnau, editors. Proceedings of 7th International Symposium on Component-Based Software Engineering (CBSE), Edinburgh, UK, May 2004. Springer Verlag.
5. J. Elmqvist and S. Nadjm-Tehrani. Safety-oriented design of component assemblies using safety interfaces. In Third International Workshop on Formal Aspects of Component Software (FACS'06), pages 1-15, Prague, Czech Republic, September 2006. ENTCS.
6. J. Elmqvist, S. Nadjm-Tehrani, and M. Minea. Safety interfaces for component-based systems. In R. Winther, B. A. Gran, and G. Dahll, editors, SAFECOMP, volume 3688 of Lecture Notes in Computer Science, pages 246-260. Springer, 2005.
7. L. Grunske, P. A. Lindsay, N. Yatapanage, and K. Winter. An automated failure mode and effect analysis based on high-level design specification with behavior trees. In J. Romijn, G. Smith, and J. van de Pol, editors, IFM, volume 3771 of Lecture Notes in Computer Science, pages 129-149. Springer, 2005.
8. J. Hammarberg. High-level development and formal verification of reconfigurable hardware. Master's thesis, Linköpings University, November 2002.
9. J. Hammarberg and S. Nadjm-Tehrani. Formal verification of fault tolerance in safety-critical reconfigurable modules. International Journal of Software Tools for Technology Transfer (STTT), 7(3), June 2005. Springer Verlag.
10. E. Henley and H. Kumamoto. Reliability Engineering and Risk Assessment. Prentice Hall, 1981.
11. Y. Papadopoulos, J. A. McDermid, R. Sasse, and G. Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety, 71(3):229-247, 2001.
12. Y. Papadopoulos, D. Parker, and C. Grante. Automating the failure modes and effects analysis of safety critical systems. In Proc. of the 8th IEEE International Symposium on High Assurance Systems Engineering (HASE'04), March 2004.
13. Y. Papadopoulos, D. Parker, and C. Grante. A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs. In SCS '04: Proceedings of the 9th Australian workshop on Safety critical systems and software, pages 89-95. Australian Computer Society, Inc., 2004.
14. C. Price and N. Taylor. Automated multiple failure FMEA. In Reliability Engineering and System Safety, volume 76, pages 1-10, 2002.
15. C. J. Price. Effortless incremental design FMEA. In Annual Reliability and Maintainability Symposium, pages 43-47, Las Vegas, NV, 1996. IEEE.
16. D. Raheja. Software system failure mode and effects analysis (SSFMEA) - a tool for reliability growth. In International Symposium on Reliability and Maintainability (ISRM'90), pages 271-277, Tokyo, Japan, 1990.
17. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 2nd edition, 2002.
18. D. Throop, J. Malin, and L. Fleming. Automated incremental design FMEA. In IEEE Proceedings of Aerospace Conference, volume 7, 2001.