Sciweavers

Share
IEEEARES
2007
IEEE

Models for automatic generation of safety-critical real-time systems

12 years 4 months ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of application code on basis of models. Unfortunately, system aspects like process management, communication or fault-tolerance mechanisms are not covered by these tools. One main reason is the non-existence of appropriate models with an explicit semantic to allow the automatic code generation. In addition, there is a great need to have the possibility to extend both the model and the code generation abilities to allow a high coverage of the used platforms, since such code is platform dependent. In this paper, we will present an approach applying meta code generators using template-based code generation to achieve this extensibility and will discuss the properties of models required for the use in model-based development of system aspects for safety-critical real-time systems.
Christian Buckl, Matthias Regensburger, Alois Knol
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where IEEEARES
Authors Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott
Comments (0)
books