Experiences with model and autocode reviews in model-based software development

Through the introduction of the model-based development, paradigm models became first class citizens in the development of in-vehicle software and are thus also object to strict quality assurance. Just as code reviews are widespread in classical software development, models also have to undergo a stringent review procedure - particularly if they serve as a basis for automatic software implementation by means of model-based code generators. In addition to model reviews, the generated production code (autocode) must be reviewed by performing so-called autocode reviews. This paper presents our procedures for a combined model and autocode reviews and provides examples, lessons learned, as well as significant experimental results drawn from a typical automotive embedded software development project.

[1]  Rainer Otterbach,et al.  Development of Safety-Critical Software Using Automatic Code Generation , 2004 .

[2]  Ingo Stürmer,et al.  Overview of existing safeguarding techniques for automatically generated code , 2005, ACM SIGSOFT Softw. Eng. Notes.

[3]  Ingo Stürmer,et al.  Using Model and Code Reviews in Model-based Development of ECU Software , 2006 .

[4]  P D Edwards.  THE USE OF AUTOMATIC CODE GENERATION TOOLS IN THE DEVELOPMENT OF SAFETY-RELATED EMBEDDED SYSTEMS. , 1999 .

[5]  Thomas Gilb,et al.  Software Inspection , 1994 .

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

[7]  Ingo Stürmer,et al.  Ein Testverfahren für optimierende Codegeneratoren , 2005, Informatik - Forschung und Entwicklung.

[8]  Mats Per Erik Heimdahl,et al.  An approach to automatic code generation for safety-critical systems , 1999, 14th IEEE International Conference on Automated Software Engineering.

[9]  Thomas Thomsen,et al.  Integration of international standards for production code generation , 2003 .

[10]  Ingo Stürmer,et al.  Overview of existing safeguarding techniques for automatically generated code , 2005, ACM SIGSOFT Softw. Eng. Notes.

[11]  Scott Ranville.  Practical Application of Model-Based Software Design for Automotive , 2002 .

[12]  THOMAS J. WALSH,et al.  A software reliability study using a complexity measure , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[13]  Matthias Grochtmann,et al.  Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler , 2005, Informatik - Forschung und Entwicklung.

[14]  Susan Dong,et al.  Effort Estimation in Model-Based Software Development , 2006 .

[15]  Ingo Stürmer.  Systematic testing of code generation tools: a test suite oriented approach for safeguarding model based code generation , 2006 .

[16]  Marc Roper,et al.  Software inspections , 2003, Adv. Comput..