Ada conformity assessments: a model for other programming languages?
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Model-based development of in-vehicle software
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Experiences with model and autocode reviews in model-based software development
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Testing-based translation validation of generated code in the context of IEC 61508
Formal Methods in System Design
Building code generators with genesys: a tutorial introduction
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
SimPal: a design study on a framework for flexible safety-critical software development
ACM SIGAPP Applied Computing Review
Hi-index | 0.00 |
Code generators are increasingly used in an industrial context to translate graphical models into executable code. Since the code is often deployed in safety-related environments, the quality of the code generators is of paramount importance. In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development.