M-BED 2011

Share it now

2nd Workshop on Model Based Engineering for Embedded Systems Design

(M-BED 2011)

March 18, 2011
Alpexpo - Grenoble, France
8:30-16:30


A workshop co-located with DATE and supported by the MARTE Users’ Group (www.ecsi.org/marte-ug), the Adams support action (www.adams-project.org/) and ECSI (Electronic Chips & Systems design Initiative www.ecsi.org).


 

Description
The application of model-based engineering (MBE) methods for software and systems development in industry is increasing. Moreover, the integration of component-based approaches with MBE has further accelerated its adoption along is also providing a basis for a sounder theoretical underpinning.

The focus of this workshop is on the use of MBE for embedded systems development (e.g. in the industrial transport sector for applications such as railway systems, automotive, aerospace, and related domains). In this context, special focus is given to MARTE, the UML profile for Modeling and Analysis of Real-Time and Embedded systems, which has proven successful in a number of projects.

In particular, the intent is to concentrate on the following topics:

  • The infrastructure that supports MBE, that is, the requisite languages, tools, and standards, as well as the combination of design and V&V activities, and the diverse engineering disciplines involved in embedded system design.
  • Process and methodology related issues, such as guidelines for deciding when and how to use domain-specific languages, appropriate integration of tools, and advanced methods to assist on architecture exploration subjected to multiple non functional constraints. Experience with applying MARTE and suggestions of improvements to this standard.

 

The aim of the workshop is to bring together researchers as well as system designers and tool developers from both industry and academia to discuss applications of model-based engineering in general and MARTE usage in particular. A significant portion of time will be reserved for discussion. Complementing the accepted paper presentations will be several invited presentations by members of the MARTE standardization task force, specialists participating in relevant European projects, and representatives of MBE tool vendors.

The one-day workshop is organized in multiple sessions, each focusing on a particular topic. Rather than have questions at the end of each presentation, all discussion will be conducted at the end of the session, with all presenters in the session responding as a group to questions of the session moderator as well as other attendees.


Registration
http://www.date-conference.com/main/registration


MARTE Users' Group Meeting
Thursday, March 17, 2011
18:00 - 20:00
Alpexpo, room: Meije


Agenda
08:30 OPENING SESSION

08:30 Welcome Address

08:45 Keynote Address:
Using Metaheuristic Search for the Analysis and Verification based on UML Models
Lionel Briand, Simula Research Laboratory and Oslo U, NO

09:45 SESSION 1: Model Driven Methodologies

09:45 Model-based development of embedded systems - the MADES approach
Neil Audsley, Ian Gray, Leandro Indrusiak, Dimitrios Kolovos, Nicholas Drivalos and Richard Paige, York U, UK

10:00 Methodological Guidelines on the Usage of MARTE VSL for Specification of Time Constraints
Arnaud Cuccuru, Chokri Mraidha, Ansgar Radermacher and Sebastien Gerard, CEA LIST, FR, Laurent Rioux, Thales RT, FR, Thomas Vergnaud and Olivier Hachet, Thales Communications, FR

10:15 Verification of ArchMDE Software Architecture Using UPPAAL Based On Model Transformation: From TURTLE Profile to Blackboard Style
Nourchene Elleuch, Adel Khalfallah and Samir Ben Ahmed, U of Sciences, Tunis, TN

10:30 Discussion

10:45 Break

11:00 SESSION 2: MARTE Use Cases

11:00 Experiencing the UML profile for MARTE in the generation of schedulability analysis models for MAST
Julio Medina and Alvaro Garcia Cuesta, Cantabria U, ES

11:15 Safe design of dynamically reconfigurable embedded systems
Xin An and Eric Rutten, INRIA Rhones-Alpes, Abdoulaye Gamatie, CNRS, LIFL, FR

11:30 Programming Massively Parallel Architectures using MARTE: a case study
Antonio Wendell de Oliveira Rodrigues, Frederic Guyomarch and Jean-Luc Dekeyser, Lille 1 U, LIFL, FR

11:45 Discussion

12:00 Lunch Break

13:00 SESSION 3: Invited Talks

13:00 Towards MARTE 1.2 and its SysML relationships
Laurent Rioux, Thales RT, FR

13:30 Presentation of the RTSimex project
Laurent Rioux, Thales RT, FR

14:00 SESSION 4: Electronic System Level Modelling

14:00 A Retargetable SysML-based Front-End for High-Level Synthesis
Fabian Mischkalla and Wolfgang Mueller, Paderborn U, DE

14:15 Towards SystemC Code Generation from UML/MARTE Concurrent System-Level Models

Pablo Penil, Fernando Herrera and Eugenio Villar, Cantabria U, ES

14:30 Generation of Abstract IP/XACT Platform Descriptions from UML/MARTE for System-Level Performance Estimation
Fernando Herrera and Eugenio Villar, Cantabria U, ES

14:45 Combining SystemC, IP-XACT and UML-MARTE in model-based SoC design

Jean-François Le Tallec, Julien DeAntoni and Frederic Mallet, Nice Sophia-Antipolis U, FR, Robert de Simone and Benoit Ferrero, INRIA Sophia-Antipolis, FR, Laurent Maillet-Contoz, STMicroelectronics, Crolles, FR

15:00 Discussion

15:15 Break

15:30 SESSION 5: MARTE Extensions

15:30 Modelling Networks-on-Chip at System Level with the MARTE UML profile

Majdi Elhaji, Adbelkrim Zitouni and Rached Tourki, LAB-IT06, Monastir, TN, Pierre Boulet, Samy Meftali and Jean-Luc Dekeyser, Lille 1 U, LIFL, FR

15:45 Modelling of Legacy Communication in Distributed Embedded Systems

Saad Mubeen, Jukka Maki-Turja and Mikael Sjodin, Malardalen U, SE

16:00 On the Need for Extending MARTE with Security Concepts
Mehrdad Saadatmand, Antonio Cicchetti and Mikael Sjodin, Malardalen U, SE

16:15 Discussion

16:30 Close


Organizing Committee
• Pierre Boulet, Lille university, France
• Daniela Cancila, Atego, France
• Sébastien Gérard, CEA-LIST, France
• Adam Morawiec, ECSI, France
• Chokri Mraihda, CEA-LIST, France
• Laurent Rioux, Thales RT, France
• Bran Selic, Malina Software Corp., Canada

Program Committee
• Pierre Boulet, Univ. Lille, LIFL, France
• Daniela Cancila, Atego, France
• Huascar Espinoza, ESI, Spain
• Mamoun Filali-Amine, IRIT FR
• Abdoulaye Gamatié, CNRS, LIFL, France
• Sébastien Gérard, CEA LIST, France
• Jorgen Hansson, CMU-SEI, USA
• Frédéric Mallet, Univ. Nice, France
• Chokri Mraidha, CEA LIST, France
• Thomas Nolte, Mälardalen Univ., Sweden
• Isabelle Perseil, INSERM, France
• Dorina Petriu, Carleton Univ., Canada
• Laurent Rioux, Thales RT, France
• Bernhard Rumpe, RWTH Aachen Univ., Germany
• Bran Selic, Malina Software Corp., CA
• Douglas Schmidt, Vanderbilt Univ., USA
• Kleanthis Thramboulidis, Univ. Patras, Greece
• Martin Torngren, KTH Stockholm, Sweden
• Eugenio Villar, Univ. Cantabria, Spain
• Antonio Vallecillo, U. of Malaga, Spain

 

Share it now