Try Mobilus Beta
Search tips
 This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions

Journal Article
2008-01-0385
ISSN: 1946-4614, e-ISSN: 1946-4622
DOI: https://doi.org/10.4271/2008-01-0385
Published April 14, 2008 by SAE International in United States
Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions
Sector:
Citation: Fey, I. and Stürmer, I., "Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions," SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 1(1):150-155, 2009, https://doi.org/10.4271/2008-01-0385.
Language: English

References

  1. Beine M. Eisemann U. Wewetzer C. Quality Assurance Aspects and Activities in Automotive Model-based Development Automotive Safety & Security Jul 2006
  2. Fey I. Stürmer I. Quality Assurance Methods for Model-based Development: A Survey and Assessment SAE World Congress, SAE Doc. #2007-01-0506 Detroit 2007
  3. Halang W. A. Konakovsky R. Sicherheitsgerichtete Software 46 93 103 Feb 1998
  4. Hohler B. Villinger U. Normen und Richtlinien zur Qualitätssicherung von Steuerungssoftware 21 63 72 1998
  5. IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems International Electrotechnical Commission 1999
  6. Junker F. Glöe G. Guaranteed Product Safety According to the IEC 61508 Standard 1 28 29 2003
  7. Langmaack H. Softwareengineering for Certification of Systems: Specification, Implementation, and Compiler Correctness Informationstechnik und Technische Informatik it-ti 97 3 41 47 1997
  8. Lefarth U. Baum U. Beck T. Zurawka T. ASCET-SD – Development Environment for Embedded Control Systems Proc. of IFAC Symposium on Cumpter Aided Control System Design Gent April 1997
  9. Mathworks Automotive Advisory Board (MAAB) “Control Algorithm Modeling Guidelines Using MATLAB®, Simulink®, and Stateflow®.” The Mathworks, Inc. 2007
  10. Pofahl E. Methods used for Inspecting Safety relevant Software High Integrity Programmable Electronics 107 13 14 1995
  11. Romanski G. Chelini J. A Response to the Use of C in Safety-Critical Systems Softwaretechnik-Trends 17 1 38 43 Feb 1997
  12. Software Considerations in Airborne Systems and Equipment Certification Requirements and Technical Concepts for Aviation, Inc. Dec 1992
  13. Stürmer I. Conrad M. Fey I. Dörr H. Experiences with Model and Autocode Reviews in Model-based Software Development Proc. of 3rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2006) Shanghai 2006
  14. Stürmer I. Conrad M. Dörr H. Pepper P. Systematic Testing of Model-based Code Generators IEEE Transactions on Software Engineering 33 9 Sep 2007
  15. Ueda T. Ohata A. “Trends of Future Powertrain Development and the Evolution of Powertrain Control Systems” Proc. of 30th Int. Congress on Transportation Electronics (Convergence 2004) Detroit, Michigan, USA SAE # 2004-21-0063 439 449 2004

Cited By

Recommended Content

Technical Paper Automatic Generation of Production Quality Code for ECUs
Technical Paper A Verification and Validation Workflow for IEC 61508 Applications
Technical Paper Integration of a Structuring Concept for Vehicle Control Systems into the Software Development Process using UML Modelling Methods