Home » M-BED » M-BED 2010

M-BED 2010


W6 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010)

Dresden, Germany

Program

Date: Fri, 2010-03-12
Time: 08:30 - 17:00
Location / Room: Konferenz 5

Organisers:
Pierre Boulet, Lille university, FR
Daniela Cancila, CEA LIST, FR
Huascar Espinoza, ESI-Tecnalia, ES
Adam Morawiec, ECSI, FR

Steering committee:
Sébastien Gérard, CEA LIST, FR
Wolfgang Müller, Paderborn University/C-LAB, DE
Laurent Rioux, Thales RT, FR
Bran Selic, Malina Software Corp., CA

The workshop is supported by MARTE Users' Group (http://www.ecsi.org/marte-ug) the Adams support action (http://www.adams-project.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 with providing it with a sound theoretical foundation. The focus of this workshop is on the use of MBE for embedded systems development for example in the industrial transport sector for applications such as railway systems, automotive, aerospace, and related domains. In this context, special focus is given on MARTE, the UML profile for Modeling and Analysis of Real-Time and Embedded systems, which has been successfully adopted in several 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-related issues, such as guidelines for deciding when and where to use domain-specific languages, appropriate integration of process descriptions and tool mentors, and advanced methods to assist on criteria design and on performance and impact assessing.
  • MARTE returns on experiences

The aim of the workshop is to bring together researchers and tool developers from industry and academia to discuss on applications of model-based engineering to industrial application domains as well as on MARTE usage and on safety and MARTE.

0830 - 0835 Workshop Introduction
0835 - 0900 Invited Talk: Bran Selic*, Malina Software Corporation, CA
"MARTE, Version 1"
0900 - 0930 Invited Talk: Laurent Rioux, Thales Research and Technologies, FR
"Industrial motivation on the use of MARTE and retour on industrial experiences"
0930 - 0950 Tero Arpinen, Erno Salminen, Timo D Hämäläinen and Marko Hännikäinen, Tampere University of Technology, FI
"Extension to MARTE Profile for Modeling Dynamic Power Management of Embedded Systems"
0950 - 1010 Marcello Mura and Mauro Prevostini. ALaRI - Faculty of Informatics - USI, CH
"Using MARTE for Designing Power Supply Section of WSNs"
1010 - 1030 Imran Rafiq Quadri, Abdoulaye Gamatié, Pierre Boulet and Jean-Luc Dekeyser, LIFL - univ. Lille 1, CNRS and INRIA Lille - Nord Europe, FR
"Modeling of Configurations for Embedded System Implementation in MARTE"
1100 - 1120 Invited Talk: F Belmonte, Alstom Transport Information Solution, FR
"Railway Industrial Requirements for Model-Based Safety Engineering"
1120 - 1140 Sven Scholz , Department of Ing., DE, and Kleanthis Thramboulidis, University of Patras, GR
"Integrating a SysML-based system modeling process with Safety Engineering"
1140 - 1200 Peter Ulbrich, Christoph Elsner, Martin Hoffmann, Reiner Schmid and Wolfgang Schröder-Preikschat, Friedrich-Alexander University Erlangen-Nuremberg, DE
"Using MARTE in Code-centric Real-time Projects Providing Evolution Support"
1300 - 1330 Invited Talk: Sebastien Gerard, CEA LIST, FR
"MARTE in Action"
1330 - 1450 Sebastien Le Nours and Olivier Pasquier, IREENA, FR
"Model-based approach for performance assessment of a video transmission application for automotive"
1350 - 1410 Niklas Mellegård and Miroslaw Staron, Chalmers University of Technology, SE
"Using MARTE in Code-centric Real-time Projects Providing Evolution Support"
1410 - 1430 Jochen Zimmermann, Michael Pressler, Alexander Viehl, Oliver Bringmann, FZI Karlsruhe, Wolfgang Rosenstiel, University of Tübingen, DE
"Model-based virtual prototyping for early automotive software systems evaluation"
1500 - 1520 Wah Man Cheung, University of Essex, Gareth Howells, University of Kent at Canterburry Klaus D. McDonald-Maier, University of Essex, Andrew B. T. Hopkins, University off Essex,, Tughrul Arslan, University of Edinburgh, and John Derrick, University of Kent (UK)
"Novel Model Driven Design and validation techniques for Adaptive Cruise Control"
1520 - 1540 Fabian Mischkalla, Da He and Wolfgang Mueller, University of Paderborn, DE
"A UML Profile for SysML based comodeling, -simulation and -synthesis Of embedded Systems"
1540 - 1550 Éamonn Linehan and Siobhán Clarke, Trinity College Dublin, IE
"Managing Hardware Verification Complexity with Aspect-Oriented Model-Driven Engineering"
1550 - 1600 Andreas Graf and Miriam Brueckner, itemis GmbH, DE
"From idea to modeling workbench and executable code: Rapid Prototyping of innovative modeling concepts for embedded systems with Eclipse and Open Source"
1600 - 1620 Hristina Moneva, Roelof Hamberg and Teade Punter, Embedded Systems Institute, NL
"Are you aware of the design decisions? On how modeling should support design"
1620 - 1640 Robin Cressent, prisme / ensi bourges, Pierre David, Heudiasyc UMR 6599, Vincent Idasiak, prisme / ensi bourges and Frederic Kratz, prisme / ensi bourges (FR)
"Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to LEA Project"
1640 - 1700 Hauke Fuhrmann, Miro Spönemann, Michael Matzen and Reinhard von Hanxleden., Christian-Albrechts-Universität zu Kiel, DE
"Automatic Layout and Structure-Based Editing of UML Diagrams"

 * To be confirmed. Otherwise, the OMG chair for MARTE v1, S. Gérard, will introduce MARTE v1.