论文信息 - Code Generation for Safety-Critical Systems – Open Questions and Possible Solutions - 字舞流文

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

Ingo Stürmer | Ines Fey

[1] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[2] Tatehito Ueda,et al. Trends of Future Powertrain Development and the Evolution of Powertrain Control Systems , 2004 .

[3] Ingo Stürmer,et al. Quality Assurance Methods for Model-based Development: A Survey and Assessment , 2007 .

[4] Ingo Stürmer,et al. Systematic Testing of Model-Based Code Generators , 2007, IEEE Transactions on Software Engineering.

[5] Bernd Hohler,et al. Normen und Richtlinien zur Prüfung und Qualitätssicherung von Steuerungssoftware , 1998, Informatik-Spektrum.

[6] U. Lefarth,et al. ASCET-SD - Development Environment for Embedded Control Systems , 1997 .

[7] Mirko Conrad,et al. Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.