@inproceedings{f6cd6ccb376e40faa857fc92cda635c6,
title = "An MDE-based process for the design, implementation and validation of safety-critical systems",
abstract = "Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. They are either related to functional (e.g. stability of a furnace controller) or non-functional (e.g. meeting deadlines) aspects. Model-Driven Engineering (MDE) tools have emerged to ease DRE systems design. These tools are also capable of generating code. However, these tools either focus on the functional aspects or on the runtime architecture. Hence, the development cycle is partitioned into pieces with heterogeneous modeling notations and poor coordination. In this paper, we propose a MDE-based process to create DRE systems without manual coding.We show how to integrate functional and architecture concerns in a unified process. We use industry-proven modeling languages to design functional elements of the system, and automatically integrate them using our AADL toolchain.",
keywords = "AADL, Code generation, Model-based engineering, Scade, Simulink",
author = "Julien Delange and Laurent Pautet and J{\'e}r{\^o}me Hugues and \{De Niz\}, Dionisio",
year = "2010",
month = jan,
day = "1",
doi = "10.1109/ICECCS.2010.50",
language = "English",
isbn = "9780769540153",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "319--324",
booktitle = "Proceedings - 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010",
}