loading...
Models for automatic generation of safety-critical real-time systems
Vienna, Austria April 10-April 13
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ARES.2007.106The Second International Conference o ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Christian Buckl, Technische Universitat Munchen, Germany
Matthias Regensburger, Technische Universitat Munchen, Germany
Alois Knoll, Technische Universitat Munchen, Germany
Gerhard Schrott, Technische Universitat Munchen, Germany
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.
Citation:
Christian Buckl, Matthias Regensburger, Alois Knoll, Gerhard Schrott, "Models for automatic generation of safety-critical real-time systems," ares, pp.580-587, The Second International Conference on Availability, Reliability and Security (ARES'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.