Modelling support for design of safety-critical automotive embedded systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5219 LNCS, Issue , 2008, Pages 72-85

  Chen, Dejiu ^a   Johansson, Rolf ^b   Lönn, Henrik ^c   Papadopoulos, Yiannis ^d   Sandberg, Anders ^e   Törner, Fredrik ^f   Törngren, Martin ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b MENTOR GRAPHICS CORPORATION   (United States)

^c VOLVO AERO CORPORATION   (Sweden)

^d UNIVERSITY OF HULL   (United Kingdom)

^e Mecel AB   (Sweden)

^f VOLVO CAR CORPORATION   (Sweden)

Author keywords

Automotive embedded systems; Dependability; Model based development; Safety analysis; Safety case

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FAILURE ANALYSIS; FAULT TREE ANALYSIS; INTEGRATED CIRCUITS; MODAL ANALYSIS; MODEL STRUCTURES; QUALITY ASSURANCE; RELIABILITY; SECURITY SYSTEMS; SYSTEMS ENGINEERING;

AUTOMOTIVE EMBEDDED SYSTEMS; DEPENDABILITY; MODEL-BASED DEVELOPMENT; SAFETY ANALYSIS; SAFETY CASE;

SAFETY ENGINEERING;

EID: 56449116630     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87698-4_9     Document Type: Conference Paper

References (15)

1. International Organization for Standardization: Draft 26262. ISO Committee (2008)
2. Chen, D.J., Törgren, M., Lönn, H.: Elicitation of relevant analysis and V&V techniques. D2.2.1. ATESSTEC FP6 (2007), http://www.atesst.org
3. AUTOSAR Development Partnership, http://www.autosar.org
4. Kelly, T.P.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD Thesis. University of York (1998)
5. Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139-152. Springer, Heidelberg (1999)
6. Sangiovanni-Vincentelli, A., Di Natale, M.: Embedded System Design for Automotive Applications. IEEE Computer 40(10), 42-51 (2007)
7. HIS Members and Partners: Specification Requirements Interchange Format (RIF). v1.1a (2007), http://www.automotive-his.de
8. SysML Partners: Systems Modeling Language (SysML). Open Source Specification Project, http://www.sysml.org
9. Cuenot, P., Frey, P., Johansson, R., Lönn, H., Reiser, M.-O., Servat, D., Tavakoli Kolagari, R., Chen, D.J.: Developing Automotive Products Using the EAST-ADL2, an AUTO-SAR Compliant Architecture Description Language. Ingéniurs de 1'Automobile 793, 58-64 (2008)
10. Törner, F., Chen, D.J., Johansson, R., Lönn, H., Törngren, M.: Supporting an Automotive Safety Case through Systematic Model Based Development - the EAST-ADL2 Approach. Technical Paper Series, 2008-01-0127. SAE (2008)
11. International Electrotechnical Commission: Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 0: Functional safety and IEC 61508 (2005)
12. Martin, T., Chen, D.J., Malvius, D., Axelsson, J.: Chapter - Model based development of automotive embedded systems. In: Navet, N., Simonot-Lion, F. (eds.) Automotive Embedded Systems Handbook. Industrial Information Technology. Taylor and Francis CRC Press, Abington (2008)
13. Arnold, A., Griffault, A., Point, G., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fundamenta Informaticae 40, 109-124 (2000)
14. Bozzano, M., Villafiorita, A., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: ESREL European Safety and Reliability Conference, Balkema, pp. 237-245 (2003)
15. Papadopoulos, Y., Grante, C.: Evolving car designs using model-based automated safety analysis and optimization techniques. Journal of Systems and Software 76(1), 77-89 (2005)