This content is not included in your SAE MOBILUS subscription, or you are not logged in.
System Level Modeling, Simulation and Verification Workflow for Safety-Critical Automotive Embedded Systems
ISSN: 0148-7191, e-ISSN: 2688-3627
Published April 01, 2014 by SAE International in United States
Annotation ability available
Automotive electric and electronic (E/E) systems are key drivers for innovation in today's vehicles. While new functions are delivering eco-friendliness (hybrid and pure electric vehicles, etc.), assistance/comfort (drive-by-wire, park-assist, etc.) and active safety (electronic stability control, lane-change-assist, brake-assist, etc.) their inherent complexity is challenging manufacturers and suppliers. At the same time, functional safety of the product is a key issue: During the whole car's product life cycle, there are many potential risks for physical injuries, or even worse, fatalities. Therefore, these potential sources of harm should strictly be avoided. In this work, we focus on a powerful method for verification and validation activities during early phases of the development, namely simulation. Simulation is one of the main methods for verification stated by the functional safety standard ISO 26262. The usage of simulation is primarily targeting requirements on implementation, functional performance and accuracy. For example, simulation is used to conduct back-to-back testing and fault injection. We propose a system level model-based workflow for covering three main aspects during development of safety critical systems: 1) system modeling, 2) system simulation and 3) system verification based on simulation. The workflow is defined in a consistent and seamless way, allowing continuity from preliminary concepts up to the final system verification report.
|Ground Vehicle Standard||Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles|
|Technical Paper||A Statistical Approach for Real-Time Prognosis of Safety-Critical Vehicle Systems|
CitationKarner, M., Krammer, M., and Fuchs, A., "System Level Modeling, Simulation and Verification Workflow for Safety-Critical Automotive Embedded Systems," SAE Technical Paper 2014-01-0210, 2014, https://doi.org/10.4271/2014-01-0210.
- International Organization for Standardization ISO 26262: Road Vehicles - Functional Safety - Part 1-10 2011
- Karner , M. , Steger , C. , Weiss , R. , Armengaud , E. et al. A Cross Domain Co-Simulation Platform for the Efficient Analysis of Mechatronic Systems SAE Technical Paper 2010-01-0239 2010 10.4271/2010-01-0239
- Geimer , M. , Krueger , T. , and Linsel , P. Co-Simulation, gekoppelte Simulation oder Simulatorkopplung” (“Co-Simulation, coupled simulation or simulator coupling O + P Zeitschrift für Fluidtechnik 50 11-12 572 576 2006
- Bendraou , R. , Combemale , B. , Cregut , X. and Gervais , M. Definition of an Executable SPEM 2.0 14th Asia-Pacific Software Engineering Conference (APSEC'07) 10.1109/ASPEC.2007.60
- Sparx Systems Reviewer's Guide: Enterprise Architect 10 2013 http://www.sparxsystems.com.au/downloads/whitepapers/EAReviewersGuide.pdf 2014 01 15
- Leclerc , Y. and Jaber , C. HW/SW co-simulation within the MODUS toolset Eclipse Conference 2013
- Vanderperren , Y. , Mueller , W. , Mischkalla , F. et al. Extending UML for Electronic Systems Design: A Code Generation Perspective In Design Technology for Heterogeneous Embedded Systems Design Technology for Heterogeneous Embedded Systems 13 39 2012 10.1007/978-94-007-1125-9_2
- VeTeSS Consortium VeTeSS: Verification and Testing to Support Functional Safety Standards http://www.vetess.eu 2014 01 15
- Object Management Group, Inc. Software & Systems Process Engineering Metamodel specification (SPEM) Version 2.0 http://www.omg.org/spec/SPEM/2.0/ April 2008 2014 01 15
- Krammer , M. , Martin , H. , Karner , M. , Watzenig , D. et al. System Modeling for Integration and Test of Safety-Critical Automotive Embedded Systems SAE Technical Paper 2013-01-0189 2013 10.4271/2013-01-0189
- Schwarzl , C. and Wotawa , F. Test case generation in practice for communicating embedded systems e & i Elektrotechnik und Informationstechnik 128 6 240 244 2011