This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Design and Automatic Production Code Generation for Safety-Critical Software Development
Technical Paper
2009-01-3209
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Model-based software development and automatic production code generation have become increasingly established in recent years. The aerospace industry and other industries, such as automotive, have widely adopted and successfully deployed these methods in many different series production programs worldwide. This brought various benefits, such as a reduction in development times and improved quality due to more precise specifications, and early verification and validation by means of simulation.
Model-based development is a general purpose development approach which can be applied to a wide variety of applications. Safety-critical systems, like found in aerospace applications to a large extent, but also found increasingly more often in other industries, like automotive or medical devices, pose special additional requirements to this process.
This paper describes how model-based design and automatic production code generation can be applied to the development of safety-critical software.
Recommended Content
Authors
Topic
Citation
Fleischer, D., Uhl, B., Iqbal, A., and Beine, M., "Model-Based Design and Automatic Production Code Generation for Safety-Critical Software Development," SAE Technical Paper 2009-01-3209, 2009, https://doi.org/10.4271/2009-01-3209.Also In
References
- Software Considerations in Airborne Systems and Equipment Certification RTCA/DO-178B 1992
- Schubert Peter Vitkin Lev Winters Frank Executable Specs: What Makes One, and How are They Used? SAE World Congress 2006-01-1357 2006
- Alaoui Andreas 2002 C Code Reaches New Heights at Nord-Micro dSPACE News 1 2002
- Alaoui Andreas 2008 Maximum Safety, Nord-Micro: TargetLink in many different aircraft types since 2000 dSPACE Magazine 2009
- http://www.telelogic.com/products/doors/
- Simulink Verification and Validation http://www.mathworks.com/products/simverification
- http://www.model-engineers.com
- MISRA-C: 2004 Guidelines for the use of the C Language in critical systems MIRA 2004
- MathWorks Automotive Advisory Board Control Algorithm Modeling, Guidelines using MATLAB®, Simulink®, and Stateflow®, Version 2.0 2007
- Modeling Guidelines for MATLAB/Simulink/Stateflow and TargetLink Version 2.1 dSPACE GmbH 2008
- MISRA AC TL: Modelling style guidelines for the application of TargetLink in the context of automatic code generation 2007
- Montgomery Steve Why Should Auto-Generated C be Treated any Differently from Hand-Coded C? SAE World Congress 2008-01-0661 2008
- http://www.btc-es.de
- http://www.reactive-systems.com/
- http://www.ldra.com/
- http://www.bullseye.com/
- http://www.vastsystems.com
- Beine Michael Otterbach Rainer Jungmann Michael Development of Safety-Critical Software Using Automatic Code Generation SAE World Congress 2004-01-0708 2004
- SPICE (Software Process Improvement and Capability Determination) ISO/IEC 15504
- Schneider Stefan-Alexander Lovric Tomislav Mai Pierre R. The Validation Suite Approach to Safety Qualification of Tools Automotive Safety and Security Stuttgart, Germany 2008
- Kuffner Walter 2007 Umsetzung der Anforderungen aus der funktionalen Sicherheit der Fahrwerkselektronik Elektronik im Kraftfahrzeug Ludwigsburg, Germany 2007
- Lovric Tomislav Schneider Stefan-Alexander Mai Pierre The Validation Suite Approach to Safety Qualification of Tools SAE World Congress 2009 2009-01-0746