Practical informations

Location : ENST (Ecole Nationale Supérieure des Télécommunications), 46 rue Barrault, 75013 PARIS at Amphi Emeraude
Download a Map here and visit the ENST Website

Closest Hotels :

Photos at the ENST terrace

• Agusti Canals
• Pierre Dissaux,Bruce Lewis,Jean Francois Rolland,David Chemouil,Suzanne Graf
• Sebastien Gerard
• Thomas Vergnaud, Irfan Hamid and other ENST PhD students
• Xavier Blanc and Jean Michel Bruel

Program (and slides of presentations)

08h30: Welcome to participants

09h00-10h00 : Opening of the workshop with Bruce Lewis, US Army Aviation & Missile RDEC, Chair of AADL committee (Slides)
"Facilitating Integrated use of AADL and UML"

The AADL was developed for the specification, analysis and automated integration of embedded real-time performance critical systems. It has been a published standard since Nov. of 2004. In June, 2006 four Annexes were published as well, extending capabilities. Since 2004, a number of toolsets have been developed and analysis approaches demonstrated in a number of system critical aspects on modern performance critical systems. These analysis approaches and tools will be discussed.

Methods for the integrated use of AADL and UML are being developed in several industrial settings. One of these is about to be published and will be discussed as well as other approaches to integrating AADL into the system life-cycle process,including a generative approach to specification capture. The AADL UML profile was defined to make adding AADL to UML toolsets significantly easier. Informal balloting will start in Oct of 2006.

AADL models can be defined both as an ecore model and a UML2 model with an applied AADL profile. Ecore is a format to define meta-models used by the Eclipse modelling framework (EMF). The Open Source AADL Tool Environment (OSATE) uses EMF to process AADL models in memory, to serialize AADL models in XMI format, and to read models stored in XMI format. EMF can also generate an XML Schema that describes the AADL XMI format. As ecore is very similar to essential MOF the resulting schema and XMI documents should be usable with any tool that implements MOF.
Tools used in industry usually don't support MOF directly, but only UML and UML profiles. To enable AADL modeling in these tools it is necessary to provide a UML profile of AADL. To support interoperation of OSATE and commercial UML tools the SEI is working to create a model transformation that can translate AADL models between the two representations.
An initial proof-of-concept prototype has been finished and will be demonstrated.

Software composition is often treated by ADLs as mainly related to architectural links. This is mainly true for client/server type of composition (which we define as "horizontale" composition). We focus in this presentation on another type of composition (which we define as "vertical" composition) that deals with the definition of a high-level components based on some lower-level sub-components.
In those composition, the architectural view, although required and important, the relationships between whole and parts need to be described with specific attributes. We will present a UML profile that support such definitions. We will show that there are still some big issues in terms of behavior composition and we will present some ongoing efforts towards the definition of a state-based composition relationship.

Current model-driven development standards such as the MOF and the UML offer a variety of built-in mechanisms to create, partially reuse or customize modeling languages to meet new modeling requirements. However, their utility is severely hampered by the absence of a set of guidelines, helping modelers to decide which mechanism is the most appropriate in what situation. We address partially this problem by providing guidelines for choosing between MOF metamodels and UML profiles.

12h-13h lunch

This paper presents a generic modeling framework for specifying analyzable UML models of real-time systems. The underlying work was carried out in the context of the OMG initiative for standardizing a UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), which replaces and extends the profile for Schedulability, Performance, and Time Specification (SPT). We focus on some usability and flexibility weaknesses of the SPT modeling framework and describe the improvements brought off in MARTE. The UML extensions include new analysis-specific concepts aimed to support a broader range of quantitative analysis techniques.
Additionally, the modeling approach involves a precise language to unambiguously declare and annotate non-functional properties with extended data types, variables, and complex expressions. As illustration, we show how this profile is used in the ACCORD|UML methodology to enable schedulability analysis of annotated UML models.

This presentation will describe the first results of a study led at CNES about the design and formal validation of a (realistic but simplified) payload flight software. The architectural design was written in AADL (including the Behavior annex) using Topcased/Osate while the validation was done with the tool Uppaal, using both simulation and model-checking techniques.

In this presentation we show how AADL can be used for the developement of a satellite flight software. This presentation is the result of a study from ASTRIUM. The study is based on a real example. Different AADL models have been realized, they correspond to the different steps of the developement process. We present the benefits provided by AADL and the problems encountered during the study.

By defining clear semantics, the AADL can be used as a pre-implementation language to describe PIMs. However, since it provides great flexibility, it may be difficult to turn some descriptions into actually executable systems.
We describe guidelines to properly use the AADL, and show how they can be translated into real systems.

Domain Specific Languages (DSL) or Domain Specific Models (DSM) seem to become a new trend in the moving world of Model Driven Engineering. Although this concept is not new, it takes benefit from recent improvements in meta-modelling techniques and especially in the use of UML at that level.
However, the use of UML at a user level for a DSL, through the definition of an appropriate profile, is not so obvious. During this presentation we will show the technical choices that were made to support AADL models editing and processing in the Stood toolset.