Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme A Model-based transformation process to validate and implement high-integrity systems. (2011) In: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 28-31 March 2011, Newport Beach, USA .
(Document in English)
PDF (Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Official URL: http://dx.doi.org/10.1109/ISORC.2011.18
Despite numerous advances, building High-Integrity Embedded systems remains a complex task. They come with strong requirements to ensure safety, schedulability or security properties; one needs to combine multiple analysis to validate each of them. Model-Based Engineering is an accepted solution to address such complexity: analytical models are derived from an abstraction of the system to be built. Yet, ensuring that all abstractions are semantically consistent, remains an issue, e.g. when performing model checking for assessing safety, and then for schedulability using timed automata, and then when generating code. Complexity stems from the high-level view of the model compared to the low-level mechanisms used. In this paper, we present our approach based on AADL and its behavioral annex to refine iteratively an architecture description. Both application and runtime components are transformed into basic AADL constructs which have a strict counterpart in classical programming languages or patterns for verification. We detail the benefits of this process to enhance analysis and code generation. This work has been integrated to the AADL-tool support OSATE2.
|Item Type:||Conference or Workshop Item (Paper)|
|Additional Information:||Thanks to the Institute of Electrical and Electronics Engineers (IEEE). The original PDF can be found on the IEEE website: http://ieeexplore.ieee.org/|
|Audience (conference):||International conference proceedings|
|Institution:||French research institutions > Centre National de la Recherche Scientifique - CNRS|
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
Laboratoire Traitement et Communication de l’Information - LTCI (Paris, France)
Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS
|Deposited By:||Jerome Hugues|
Repository Staff Only: item control page