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
Published April 20, 2009 by SAE International in United States
Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development
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

  1. Functional Safety of Electrical/Electronic/Programmable Electronic Safety Related Systems IEC 1998
  2. Road vehicles Functional Safety, International Organization for Standardization 2008
  3. 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
  4. Alaoui, Andreas 2002 C Code Reaches New Heights at Nord-Micro dSPACE News 1
  5. Beine, Michael Otterbach, Rainer Jungmann, Michael Development of Safety-Critical Software Using Automatic Code Generation presented at SAE World Congress, 2004-01-0708 2004
  6. Kuffner, Walter 2007 Umsetzung der Anforderungen aus der funktionalen Sicherheit der Fahrwerkselektronik presented at Elektronik im Kraftfahrzeug Ludwigsburg, Germany
  7. Billig, Christian Boedrich, Harald Brack, Juergen Hoell, Bertram Holle, Michael Kimmich, Frank 2008 Die Dynamic Performance Control von BMW ATZ 11
  8. Software Considerations in Airborne Systems and Equipment Certification 1992
  9. 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
  10. Simulink Verification and Validation http://www.mathworks.com/products/simverification
  11. MISRA-C: 2004 Guidelines for the use of the C Language in critical systems MIRA 2004
  12. MathWorks Automotive Advisory Board Control Algorithm Modeling, Guidelines using MATLAB® Simulink®, and Stateflow® 2007
  13. Modeling Guidelines for MATLAB/Simulink/Stateflow and TargetLink dSPACE GmbH 2008
  14. MISRA AC TL: Modelling style guidelines for the application of TargetLink in the context of automatic code generation 2007
  15. Model Examiner: Automatic Compliance Checks for Simulink and TargetLink models http://www.model-engineers.com
  16. 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
  17. EmbeddedTester http://www.osc-es.de/
  18. Reactis http://www.reactive-systems.com/
  19. VaST Systems www.vastsystems.com
  20. SPICE (Software Process Improvement and Capability Determination)
  21. Pofahl, Ekkehard Sauer, Torsten Busa, Oliver AVS: A Test Suite for Automatically Generated Code presented at Mathworks Automotive Conference Stuttgart 2007

Cited By