%A Christophe Ponsard
%A Renaud De Landtsheer
%T Comparison of the AADL and Event-B
Model-Based Tool Chains for Designing
Embedded Systems
%X This paper compares two model-based tool chains support-
ing the design of embedded systems. The first one relies on an architecture description language called AADL (Architecture Analysis and Design Language) specially targeting embedded system. The second one is based on a generic notation for system modelling called Event-B which is being deployed in the design of embedded systems, e.g. in the transportation sector. A number of tools supporting similar activities arehighlighted as well as the impact of the characteristics of the respective underlying languages on the global design activity.
%C Paris, Universit? Pierre et Marie Curie
%D 2010
%L deploy231

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>