The Community for Technology Leaders
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (2011)
Newport Beach, CA
March 28, 2011 to March 31, 2011
ISSN: 1555-0885
ISBN: 978-1-61284-433-6
pp: 67-74
ABSTRACT
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.
INDEX TERMS
embedded systems, middleware, scheduling
CITATION

G. Lasnier, L. Pautet and J. Hugues, "A Model-Based Transformation Process to Validate and Implement High-Integrity Systems," 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing(ISORC), Newport Beach, California USA, 2011, pp. 67-74.
doi:10.1109/ISORC.2011.18
91 ms
(Ver 3.1 (10032016))