Towards model-based failure-management for automotive software

Proceedings - ICSE 2007 Workshops: Fourth International Workshop on Software Engineering for Automotive Systems, SEAS'07

Volumn , Issue , 2007, Pages

  Ermagan, Vina ^a   Krueger, Ingolf ^a   Menarini, Massimiliano ^a   Mizutani, Jun Ichi ^b   Oguchi, Kentaro ^c   Weir, David ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Toyota InfoTechnology Center   (Japan)

^c Toyota InfoTechnology Center   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC CONTROL UNITS (ECUS); FAILURE MANAGEMENT; UNMANAGED SERVICES;

AUTOMOTIVE ENGINEERING; COMPUTER SOFTWARE; HUMAN COMPUTER INTERACTION; LARGE SCALE SYSTEMS; REQUIREMENTS ENGINEERING;

FAILURE ANALYSIS;

EID: 36248965093     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAS.2007.10     Document Type: Conference Paper

References (12)

1. D. J. Reifer, "Software failure modes and effects analysis," IEEE. Trans. Reliability, vol. 28, pp. 247-249, 1979.
2. W. E. Vesely, Fault Tree Handbook: Systems and Reliability Research, Office of Nuclear Regulatory Research, US Nuclear Regulatory Commission Washington, DC, 1981.
3. N. G. Leveson, Safeware: system safety and computers: ACM Press New York, NY, USA, 1995.
4. D. S. Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing: Wiley, 2003.
5. J. R. Putman, Architecting With RM-ODP: Prentice Hall, 2000.
6. I. Krüger, "Distributed System Design with Message Sequence Charts," Ph.D. dissertation, Technische Universität München, 2000.
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software: Addison-Wesley Professional, 1995.
8. J. Ahluwalia, I. H. Krüger, W. Phillips, and M. Meisinger, "Model-based run-time monitoring of end-to-end deadlines," in Proceedings of the Conference on Embedded Systems Software (EMSOFT), 2005, pp. 100-109.
9. G. J. Holzmann, The Spin Model Checker:: Primer and Reference Manual: Addison-Wesley, 2003.
10. AUTOSAR, "AUTOSAR Main Requirements," http://www.autosar.org/ download/AUTOSAR_MainRequirements.pdf
11. A. Arora and S. S. Kulkami, "Component based design of multitolerant systems," IEEE Transactions on Software Engineering, vol. 24, pp. 63-78, 1998.
12. P. C. Attie, A. Arora, and E. A. Emerson, "Synthesis of fault-tolerant concurrent programs," ACM Trans. Program. Lang. Syst., vol. 26, pp. 125-185, 2004.