Modeling and Analyzis of Real-Time and Embedded Systems with the MARTE UML profile

DATE2008 Friday Workshop - 14^th March, 2008

Room 12b

Presentation: In order to cope with the complexity of embedded system design, one of the most promising trends is to raise the abstraction level. This allows to abstract away implementation details and dramatically speed-up the system architecture exploration. We are currently seeing the generalization of ESL (Electronic System Level) design tools but a way to raise even further the abstraction level is to move from languages (like SystemC or System Verilog) to modeling tools. Such tools are more and more used to develop software that is an increasingly important part of embedded systems. The industry standard for modeling software is UML and some effort has been recently done to adapt UML to the co-modeling of embedded systems. These efforts have lead to the MARTE (Modeling and Analyzis of Real-Time and Embedded systems) UML profile that has been standardized by the OMG last August (http://www.omgmarte.org/). It is currently in finalization and should become a full standard during the year 2008.

Aim: The goal of thisworkshop is to bring together the early adopters of MARTE and all the interested people to present and discuss the first returns of experience with the usage of MARTE in embedded system design flows.

Organization Committee

Pr. Pierre Boulet, Laboratoire d’Informatique Fondamentale de Lille, Université des Sciences et Technologies de Lille, France
Dr. Oliver Bringmann, FZI Forschungszentrum Informatik an der Universität Karlsruhe, Germany
Dr. Robert de Simone, INRIA Sophia Antipolis Méditerrannée, France

The papers and presentations are now available below.

Get the proceeding in one file.

Program

08:45 Introduction
Pierre Boulet, Lille university

09:00 Keynote: MARTE: the new OMG standard UML profile for RTE modeling (presentation)
Sébastien Gérard, CEA LIST

10:00 BREAK

10:30 MARTE usages in the industry

Holistic System Modeling and Refinement of Interconnected Microelectronic Systems (paper, presentation) by Jochen Zimmermann, Oliver Bringmann, FZI Karlsruhe; Joachim Gerlach, Robert Bosch GmbH; Florian Schaefer, Cadence Design Systems; Ulrich Nageldinger, Infineon Technologies AG, Germany
Using MARTE in a Co-Design Methodology (paper, presentation) by Ali Koudri, Thales Aerospace Division, Didier Vojtsiek, IRISA, Philippe Soulard, Sodius, Christophe Moy, Supelec, Joël Champeau, ENSIETA, Jorgiano Vidal, Lester, Jean-Christophe Le Lann, Thomson, France
Evaluating MARTE in an Industry-Driven Environment: TIMMO's Challenges for AUTOSAR Timing Modeling (paper, presentation) by Huascar Espinoza, Kai Richter, Symtavision GmbH, Braunschweig, Germany and, Sébastien Gérard, CEA List, France

12:00 LUNCH

13:00 MARTE in the Embedded System Design Toolbox

Gaspard2: from MARTE to SystemC Simulation (paper, presentation) by Éric Piel, Rabie Ben Attitalah, Philippe Marquet, Samy Meftali, Smaïl Niar, Anne Etien, Jean-Luc Dekeyser, Pierre Boulet, Lille university and INRIA
Executable models and Verification from MARTE and SysML: a comparative study of code generation capabilities (paper, presentation) by Marcello Mura, Amrit Panda and Mauro Prevostini, ALaRI, Faculty of Informatics
University of Lugano - Switzerland
Modeling SPIRIT IP-XACT in UML MARTE (paper, presentation) by Charles André, Frédéric Mallet, Aamir Mehmood Khan, Robert de Simone, AOSTE Project, I3S/INRIA, France.
Tool Support for a Scheduling Analysis View (paper, presentation) by Matthias Hagner and Michaela Huhn Institute for Programming and Reactive Systems Technical University of Braunschweig

15:00 BREAK

15:30 Panel discussion: current state of usage of UML to design embedded systems (Is MARTE enough? What are its relations to other profiles? What methodologies to use with MARTE? Is UML a good tool to design and analyze embedded systems? How to improve it further? What is not covered by MARTE?)

16:30 CLOSE