Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Traps and Pitfalls in Model-based Development

Friday, 02/08/08 15:00 - 19:00 in lecture hall HS3

Traps and Pitfalls in Model-based Development: How-to Improve the Quality of Models Used for Generating Embedded Automotive Controller Software

Ingo Stürmer, Model Engineering Solutions, Berlin, Germany

Abstract:

Model-based development and automatic code generation have become an established approach in embedded software development for the automotiveindustrie. The use of a code generator can lead to significant improvementsin productivity in the software implementation phase. Moreover, earlyquality assurance at the model level can lead to a higher level of codequality. However, automotive software is very often deployed in safety-critical systems and as a result, may not contain errors. In this context it is crucial that the use of a code generator and its tool chain(editor, compiler, linker, loader, etc.) does not incorporate errors in thetarget system and leave them undetected. In general, this cannot be fully avoided even when using a code generator proven to be`correct-by-construction´. Inappropriate modeling or the faulty configuration of the code generator could, for example, lead to erroneous generated code.

The presentation shows how code generators and generated code can be safeguarded by means of constructive as well as analytical quality assurance methods. Specific, tool-related problems will be discussed and illustrated with practice-relevant examples; possible solutions for safeguarding model-based code generators will be presented.

About the presenter:

Ingo Stürmer is founder and principal consultant of Model Engineering Solutions, a consultancy company based in Berlin, Germany, which provides best of practice techniques and methods in the field of model-based code generation for embedded systems. Ingo worked as a PhD student at DaimlerChrysler Research and Technology and as a researcher at the Fraunhofer Institute for Computer Architecture and Software Technology (FIRST). Ingo is a member of the MISRA Autocode Working Group, member of the ACM (SIGSOFT), and GI (German Society for Computer Science).