This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development
Journal Article
2009-01-0747
ISSN: 1946-4614, e-ISSN: 1946-4622
Sector:
Citation:
Fleischer, D., Beine, M., and Eisemann, U., "Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 2(1):240-248, 2009, https://doi.org/10.4271/2009-01-0747.
Language:
English
References
- Functional Safety of Electrical/Electronic/Programmable Electronic Safety Related Systems IEC 1998
- Road vehicles Functional Safety, International Organization for Standardization 2008
- Schubert, Peter Vitkin, Lev Winters, Frank Executable Specs: What Makes One, and How are They Used? presented at SAE World Congress, 2006-01-1357 2006
- Alaoui, Andreas 2002 C Code Reaches New Heights at Nord-Micro dSPACE News 1
- Beine, Michael Otterbach, Rainer Jungmann, Michael Development of Safety-Critical Software Using Automatic Code Generation presented at SAE World Congress, 2004-01-0708 2004
- Kuffner, Walter 2007 Umsetzung der Anforderungen aus der funktionalen Sicherheit der Fahrwerkselektronik presented at Elektronik im Kraftfahrzeug Ludwigsburg, Germany
- Billig, Christian Boedrich, Harald Brack, Juergen Hoell, Bertram Holle, Michael Kimmich, Frank 2008 Die Dynamic Performance Control von BMW ATZ 11
- Software Considerations in Airborne Systems and Equipment Certification 1992
- Schneider, Stefan-Alexander Lovric, Tomislav Mai, Pierre R. The Validation Suite Approach to Safety Qualification of Tools presented at Automotive Safety and Security Stuttgart, Germany 2008
- Simulink Verification and Validation http://www.mathworks.com/products/simverification
- 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® 2007
- Modeling Guidelines for MATLAB/Simulink/Stateflow and TargetLink dSPACE GmbH 2008
- MISRA AC TL: Modelling style guidelines for the application of TargetLink in the context of automatic code generation 2007
- Model Examiner: Automatic Compliance Checks for Simulink and TargetLink models http://www.model-engineers.com
- Montgomery, S. "Why Should Auto-Generated C be Treated any Differently from Hand-Coded C?" SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 1 1 249 254 2008
- EmbeddedTester http://www.osc-es.de/
- Reactis http://www.reactive-systems.com/
- VaST Systems www.vastsystems.com
- SPICE (Software Process Improvement and Capability Determination)
- Pofahl, Ekkehard Sauer, Torsten Busa, Oliver AVS: A Test Suite for Automatically Generated Code presented at Mathworks Automotive Conference Stuttgart 2007