Industrial deployment of system engineering methods providing high dependability and productivity

 

Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems

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)

[img]
Preview
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

Deploy-Project - All right reserved