Software Inspection
An Approach to Automatic Code Generation for Safety-Critical Systems
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Overview of existing safeguarding techniques for automatically generated code
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Checking and Enforcement of Modeling Guidelines with Graph Transformations
Applications of Graph Transformations with Industrial Relevance
Analysis and testing of matlab simulink models: a systematic mapping study
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Hi-index | 0.01 |
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.