Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press)
| PDF (CETIC comparative presentation of the DEPLOY and SPICES projects) - Accepted Version 302Kb |
Abstract
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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Subjects: | Industrial Deployment > Other Methodology > Proof and model checking Tool developments > Rodin platform |
ID Code: | 231 |
Deposited By: | Ir Christophe Ponsard |
Deposited On: | 28 Jun 2010 09:16 |
Last Modified: | 28 Jun 2010 09:16 |
Repository Staff Only: item control page