Code generation for safety-critical systems-Open questions and possible solutions

SAE Technical Papers

Volumn , Issue , 2008, Pages

  Fey, Ines ^a   Stürmer, Ingo ^b  

^a CARMEQ GMBH   (Germany)

^b Model Engineering Solutions   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AUTOMOTIVE INDUSTRY; CODES (SYMBOLS); GRAPHIC METHODS; MODELING LANGUAGES; PROGRAM COMPILERS; QUALITY ASSURANCE; SECURITY SYSTEMS;

AUTOMATIC GENERATION; AUTOMOTIVE SOFTWARE; AUTOMOTIVE SUPPLIERS; CORRECT-BY-CONSTRUCTION; MODEL BASED DEVELOPMENT; SAFETY CRITICAL SYSTEMS; SIMULINK AND STATEFLOW; SOFTWARE IMPLEMENTATION;

AUTOMATIC PROGRAMMING;

EID: 85072471392     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2008-01-0385     Document Type: Conference Paper

References (15)

1. Beine M., Eisemann U., Wewetzer C.,: Quality Assurance Aspects and Activities in Automotive Model-based Development, Automotive Safety and 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., and Konakovsky R.,: Sicherheitsgerichtete Software (in German), Automatisierungstechnik, vol. 46, page 93-103, Feb 1998.
4. Hohler B., and Villinger U.,: Normen und Richtlinien zur Qualitätssicherung von Steuerungssoftware (in German), Informatik-Spektrum, 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, RealTime, Vol. 1, pp. 28-29, 2003.
7. Langmaack H.,: Softwareengineering for Certification of Systems: Specification, Implementation, and Compiler Correctness (in German). Informationstechnik und Technische Informatik it-ti 97 (3): 41-47, 1997.
8. Lefarth U., Baum U., Beck T., and 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®." V2.0, The Mathworks, Inc., 2007.
10. Pofahl E.,: Methods used for Inspecting Safety relevant Software. In High Integrity Programmable Electronics, Dagstuhl-Sem.-Rep. 107, pp. 13-14, 1995.
11. Romanski G., and Chelini J.,: A Response to the Use of C in Safety-Critical Systems, Softwaretechnik-Trends, 17: 1, pp. 38-43, Feb 1997.
12. RTCA/DO-178B: 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, Vol. 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, pp. 439-449, Oct 2004.