This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Design for Safety-Related Applications
Technical Paper
2008-21-0033
Annotation ability available
Sector:
Event:
Convergence 2008
Language:
English
Abstract
Production code generation with Model-Based Design has replaced document-based development and manual coding in various automotive domains such as chassis and powertrain. Safety-related applications are increasingly developed using Model-Based Design as well. For these applications, software development and quality assurance activities within Model-Based Design must meet the requirements of the safety standard relevant to the particular domain. For in-vehicle applications, currently this standard is typically IEC 61508.
This paper discusses workflows for developing safety-related application software components and specific requirements with respect to Model-Based Design. Generally, the objectives of IEC 61508-3 influence the entire software development process. However, some activities are of particular importance. This paper is concerned with the following activities exhibiting certain specifics if they are carried out as part of Model-Based Design: traceability between work products, production code generation, dynamic testing, and design for robustness and reliability.
Recommended Content
Authors
Citation
Fey, I., Müller, J., and Conrad, M., "Model-Based Design for Safety-Related Applications," SAE Technical Paper 2008-21-0033, 2008.Also In
References
- Aldrich W.J. Using Model Coverage Analysis to Improve the Controls Development Process Proceedings of AIAA Modeling and Simulation Technologies Conference and Exhibition Monterey, USA 2002
- Baresel A. Conrad M. Sadeghipour S. Wegener J. The Interplay between Model Coverage and Code Coverage 11. Europ. Int. Conf. on Software Testing Analysis and Review (EuroSTAR 03) Amsterdam, NL 2003
- Carmeq GmbH Modellierungsrichtlinien für MATLAB/Simulink/Stateflow, Version 2.0. Volkswagen AG 2008
- Czerny B. J. D'Ambrosio J. G. Jacob P. O. Murray B. T. Sundaram P. An Adaptable Software Safety Process for Automotive Safety-Critical Systems 2004 SAE World Congress Detroit, MI, USA 2004 SAE Technical Paper 2004-01-1666
- Conrad M. Fey I. Modell-basierter Test von Simulink/Stateflow-Modellen Proc. TAE Kolloqium Testen im System- und Software-Life-Cycle Esslingen, Germany 2005 278 298
- Conrad M. Using Simulink and Real-Time Workshop Embedded Coder for IEC 61508 Applications White Paper, Safety Users Group 2007 www.safetyusersgroup.com/documents/AR070002/EN/AR070002.pdf
- Conrad M. Model-Based Design for IEC 61508 – Towards Translation Validation of Generated Code Workshop Automotive Software Engineering Munich, Germany 2008
- Conrad M. Model-Based Design for Safety-Critical Automotive Applications MathWorks Automotive Conference Stuttgart, Germany June 2008
- www.telelogic.de/products/doors/index.cfm
- Erkkinen T. Conrad M. Safety-Critical Software Development Using Automatic Production Code Generation SAE World Congress 2007 Detroit, MI, USA 2007 SAE Technical Paper 2007-01-1493
- IEC 61508-3:1998 Int. Standard Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements 1998
- Jablonski T. Schumann H. Busse C. Haussmann H. Hallmann U. Dreyer D. Schöttler F. Die neue elektromechanische Lenkung APA-BS ATZelektronik 01 2008 3 2008 01 30 35
- Liggesmeyer P. Testen, Analysieren und Verifizieren von Software – eine klassifizierende Übersicht der Verfahren. Testen, Analysieren und Verifizieren von Software 1992 1 25
- The MathWorks, Inc. www.mathworks.com/products/simverification/description6.html
- MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink and Stateflow – Version 2.0 2007 www.mathworks.com/industries/auto/maab.html
- MISRA-C:2004 Guidelines for the use of the C language in critical systems MIRA 2004
- McDermid J. Kelly T. Software in safety critical systems: Achievement and prediction Nuclear Future 02 03 140 145 2006
- Rau A. Integrated Specification and Documentation of Simulink Models International Automotive Conference (IAC'02) Stuttgart, Germany 2002
- Geensys www.geensys.com/?Outils/Reqtify
- Röbig H. Leicher A. Klein T. Farkas T. Born M. Zander-Nowicka J. Werkzeugübergreifende Konsistenzsicherung von Artefakten bei der Entwicklung softwarebasierter Systeme im Automobil Workshop Automotive Software Engineering (ASE'06) Dresden, Germany 2006
- The MathWorks, Inc. www.mathworks.com/products/simverification/description3.html
- Stürmer I. Conrad M. Test Suite Design for Code Generation Tools Proc. 18th IEEE Int. Conf. on Automated Software Engineering (ASE ‘03) Montreal, Canada 2003 286 290
- Stürmer I. Conrad M. Ein Testverfahren für optimierende Codegeneratoren Inform. Forsch. Entwickl 19 4 213 223 2005
- Stürmer I. Conrad M. Dörr H. Pepper P. Systematic Testing of Model-Based Code Generators IEEE Transactions on Software Engineering 33 9 Sept. 2007 622 634
- Schmook M. Erstellung von Komponenten für eine Entwicklungsumgebung zur modellbasierten Entwicklung von Steuergerätesoftware Diploma Thesis FHTW Berlin 2007
- The MathWorks, Inc. www.mathworks.com/products/sldesignverifier
- Smith D. J. Simpson K. G. L. Functional Safety – A straightforward guide to applying IEC 61508 and related standards 2nd Elsevier Butterworth-Heinemann 2005
- Extessy AG www.extessy.com/de/?id=568d4737f4264e9edc6172fd98c0c6ce
- TÜV SÜD Certificate Database, 193.30.192.53:8080/CertDetail_eng.aspx?CertNo=Z10%2008%2005%2067052%20001&CertTyp=no