IEEE - Institute of Electrical and Electronics Engineers, Inc. - Models for automatic generation of safety-critical real-time systems

Second International Conference on Availability, Reliability and Security (ARES'07)

Author(s): C. Buckl ; M. Regensburger ; A. Knoll ; G. Schrott
Sponsor(s): ENISA
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 April 2007
Conference Location: Vienna, Austria
Conference Date: 10 April 2007
Page(s): 580 - 587
ISBN (Paper): 0-7695-2775-2
DOI: 10.1109/ARES.2007.106
Regular:

Model-based development has become state of the art in software engineering. A number of tools, like Mat-lab/Simulink or SCADE, are available for the automatic generation of application code on... View More

Advertisement