Usine Logicielle

09 :00 – 09:30 Introduction
- welcome and general presentation of the workshop
- presentations of projects and their activities around MDE for software, System and Real-Time and Embedded Systems.

09:30 - 10:30 : MDE for Real-Time and Embedded Systems feedbacks

09:30 - 10:00 Using the MARTE profile for SoC/SoPC development
Denis Aulagnier (Thales), Philippe Soulard (Sodius)

Abstract: MARTE, provides a new standardized UML profile for Real Time application, MoPCoM SoC/SoPC project from "Media and Networks" cluster has defined a co-design process and developed tooling based on the use of the MARTE profile. This process and the tooling will be illustrated through two demonstrators : a Video Compression and a RF Receiver applications implemented on SoC/SoPC platforms.

10:00 – 10:30 Designing and validating an avionics system with a MDE approach
Laurent Rioux(Thales R&T), Sebastien Demathieu  (Thales R&T)

Abstract: During the “software Factory” project, we have experimented the usage of MDE approach to model real-time and embedded constraints (with the MARTE standard) of an avionics embedded systems: a Flight Management Systems generic (FMSg). We have chosen to follow the MDA standard approach and we have chosen UML as a basic language for our models. Also, we have connected this model to a commercial tool (RapidRMA from TriPacific) able to do scheduling analysis of our model in aim to verify the schedulability of the system.

10 :30 – 11 :00 : Break

11:00 – 11:30: MDE for Real-Time and Embedded Systems Feedbacks (next)

11:00-11:30 Certification of model-based development software for airborne embedded system : stakes and trends for the DO178C
Yves Bernard (Airbus) …

Abstract: What are the impacts of the MDE technologies on the certification of airborne embedded software? How should them be adapted to deal with the constraints linked to highly critical software? What are the current trends of the DO178C regarding model based development & verification?

11 : 30 – 12 :30 : MDE for Software Engineering Feedbacks

11:30 – 12:00  "Embedded control software, model transformations: lessons learnt."
Jacky HELION (Dassault Aviation)

Abstract: This presentation addresses embedded or simulation software synchronous models transformation. The development has been accompanied with technology evaluation : Eclipse, EMF/eCore, ATL.
The transformation handles UML-RT models defined with Rose tools (Rational corp. and now IBM) and Esterel Studio (Esterel Technologies) and translates them into Scade 6 models (Scade 6 replaces both Rose and Esterel Studio modelling parts). Technically it consisted in making Rose-Esterel meta-model, and transforming it to Scade 6 meta-model. The transformation has been first implemented in Java then implemented in ATL. The Java transformation implementation, which translates Rose-Esterel models' graphical elements, has been used to evaluate ATL technology by comparison. The demonstration was based on an industrial use case and consisted in the evaluation of the demonstrator's operational effectiveness and economical interest.

12:00-12:30 Development of an ATL transformation dealing with non trivial semantic issues : an industrial use-case"
Michel Nakhlé (CS-SI), Cyril Faure (IFP)

Abstract: This talk presents a feedback based on joint works led during the "Usine Logicielle" project of the French "pôle de compétitivité : System@tic" with CS-Communication et Systèmes, IFP and INRIA. We built a use case based on a noise measurement algorithm used to estimate the combustion noise of a cylinder in an internal combustion engine. Our goal was to distribute this algorithm via the meta modeling of transformation concepts between two synchronous formalisms (Scicos to SynDEx) aiming to unify two domains : control design and distributed computing. Being based on a "model oriented" functional paradigm, the ATL tool was chosen to build the transformation. This feedback focuses on the importance of "best practices" or "design patterns" in a m2m transformation development process involving an high abstraction language such as ATL.

12:30 – 14:00: lunch

14 : 00 – 14 :30 : MDE for Software Engineering Feedbacks (next)

14:00-14:30 Open Mashups: a SmartQVT use for telecom and data services composition
Bertand Nicolas, Grégoire Dupé (Orange Labs Groupe France Télécom)

Abstract: Open Mashups is a solution that enables any creative user to simply design, run on any device, and share its own mashups. Components used in a mashup may be telecom services such as SMS sending or geolocation, data services such as calendar, weather forecast or stock exchange quotation...  Open Mashups provides a studio to graphically design mashups and a complete MDE tools chain, based on SmartQVT, which is able to generate code for a set of execution platforms (Web, mobile, etc.). This presentation depicts the Open Mashups suite and focuses on SmartQVT open source tool which is used in Open Mashups services composition framework.

14:30 – 16:30: MDE for System Engineering Feedbacks

14:30 – 15:00 MDE Approach for a space systems: From system to code
Pierre Moro (EADS ASTRIUM ST)

Abstract: The Modelling Driven Approach has been applied on the flight software of the A2RD (Automatic Re-entry Demonstrator) spacecraft. All the functional and non-functional properties, hardware platform, real-time constraints and fault tolerance policy have been modelled at system level and refined to software level. The re-entry algorithm of the A2RD is described as an UML model using a component / connector based approach. This model allows then applying automatic middleware code generation techniques (based on lightweigthCCM) where fault tolerance and real-time constraints have been taken into account. The Inflexion toolset thus generates the complete source code of a real-time architecture taking into account the priorities, periods, deadlines of each component, as well as the fault tolerance components and the connectors. Only the specific domain code has to be classically developed.

15:00-15:30 Use MDE to secure airborne mission systems engineering process
Jean-Pierre Mével (Thales) , Jöel Champeau  (Ensieta)

Abstract: How to use MDE to secure preliminary phases of a system specification : that’s the concern of MoPCoM-I-Engineering project from "Media and Networks" cluster. The key points are model coherency (via model conformity versus meta-model plus tracability between models) and transformations writing/validation (via transformation languages plus simulation/execution capabilities). Feedbacks from airborne mission systems first Use Cases will show some answers and projections.

15:30 – 16:00: Break

16:00 – 16:30: MDE for System Engineering Feedbacks (next)

16:00-16:30 Using models to generate "black box" test cases with requirement traceability
Raphael Faudou (Atos origin)

Abstract: This presentation is about requirement coverage by use cases and a possible approach to generate test cases from those requirements. This will be illustrated by two uses cases coming from current projects. We will see at first that we can use the activity diagram to detail all the scenarios from a given use case and reference the system requirements from this graph : if offers a fine-grained requirement coverage. From a given requirement referenced in an activity graph, it then becomes possible to find the reverse path to the initial state of the graph and deduce the needed interaction steps and conditions that allowed to follow this path. This analysis gives us a test case skeleton with required context data and steps to reach the requirement to check. Once completed by requirement checking this gives us a complete test case that can be exported to a testing tool. We will show in this presentation how to import requirements from a document through an EMF-based transformation, how to reference requirements at any place in the activity diagram through a dedicated UML profile and how to generate a new testing model through an ATL transformation. Then we will evoke the current work on model simulation with ATL and QVT transformations and we will explore the possible usage of generated test cases as input scenarios for model simulation.

16:30 – 17:30: Conclusions
“Discussions, new challenges, new projects and opportunities”