HoPES'10
First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems
Paris, France, June 15, 2010
In conjunction with ECMFA 2010
Submission deadline extended to May 04, 2010 !
Call for papers
The first HoPES workshop aims to motivate industrial practitioners and their academic partners to express needs and give feedback on the applicability of current research results and state of the art tools for Model-Based Engineering (MBE) for Distributed Real-Time Embedded Systems (DRTES). The main goal of the workshop is to provide participants with a global view of current trends in research, requirements and needs from industry practitioners as well as hands-on experiences in which MBE tool platforms are used in industrial projects.
Increasing complexity, distribution and heterogeneity require practitioners to raise abstraction levels to system-level models and abstract components (for early verification or model-based simulation), use generative techniques (automatic model-to-model or model-to-code transformations) to speed-up the design process and avoid errors, validate early the system under design and possibly aim for correctness-by-construction. Requirements cover the whole process and need diverse and complementary solutions. The creation of tooling platforms appears as both an opportunity and a challenge for the adoption of MBE.
The focus is mostly on technical chains, dealing with tool interoperability issues, possibly using heterogeneous formalisms along the whole development process. Interoperability issues can be considered either from a "vertical standpoint" during refinement of the system description (e.g., code-generation or hardware synthesis) or from a "horizontal standpoint" when information is exchanged between composed objects, design views and modelling artefacts, possibly belonging to different development stages (e.g., from design to timing analysis or for requirement traceability).
Important Dates
Paper Submission Deadline: April 13, 2010 Deadline extended to May 04, 2010
Acceptance Notification: May 11, 2010
Camera Ready Due: May 18, 2010
Submission Guidelines
The workshop will have invited papers and articles submitted in response to the call for papers. Full papers must be submitted electronically in PDF format. Submitted papers must be unpublished and not under submission elsewhere. Contributions should have between 4 and 6 pages, using the LNCS format.
EasyChair submission page: http://www.easychair.org/conferences/?conf=hopes10
Organising committee
François Terrier, CEA LIST, France,
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Jean-Luc Dekeyser, INRIA, France,
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Marco Di Natale, Scuola Superiore Sant’Anna, Pisa, Italy,
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Program committee
- Lionel Briand – Simula lab, Norway
- Arnaud Cuccuru – CEA LIST, France
- Olivier Desforges – INSA, France
- Abderrazak Jemai – INSAT, Tunisia
- Wolfgang Mueller – C-Lab, Paderborn Univ., Germany
- Frederic Robert – ULB, Belgium
- Bran Selic – Malina Software, Canada
- Martin Torngren – KTH, Sweden
- Stavros Tripakis – Verimag and UC-Berkeley
- Tullio Vardanega – Univ. Padova, Italy
- and the workshop organisers
Worshop's Programme
- 9h00 - 10h30: New and available platforms for automotive domain
- "Artop tool chain" – H. Heinecke (BMW)
- "EDONA tool chain" – F. Ougier (Renault)
- "ATESST tool chain" – H. Lönn (Volvo Tech)
- 11h00 - 12h30: Embedded design tools – ongoing projects and works (1/2)
- "Integrated Tool Chains for Model-Based Development of Embedded Systems: The CESAR Approach" – G. Griessnig
- "INTERESTED tool integrations" – F. Terrier
- "Heterogeneous systems co-simulation: a model-driven approach based on SysML State Machines and Simulink" - Massimo Bombino, Patrizia Scandurra, M. Hause
- 14h00 - 15h45: Embedded design tools – ongoing projects and works (2/2)
- "Correctness by Construction and Separation of Concerns in a MDE Design Infrastructure" – M. Panunzio, C. Santamaria, A. Zovi, T. Vardanega
- "Clock Synchronization Modeling in DRTES " – Z. Adel, B. Hamid
- "An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs" – T. Xie, G. Defo, W. Mueller
- "Integrated UML-Modelica Model-Based Product Development for Embedded Systems in OPENPROD" – P. Fritzson
- 16h15 - 18h00: Newly started project overviews (5' : objectives and challenges) and open discussions
- "Towards an industrial Framework for Embedded systems tools" - M. Torngren, H. P. Dahle, D. Brodtkorb
- "Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems" – C. Ponsard, R. De Landtsheer
- "MADES: Embedded Systems Engineering Approach in the Avionics Domain" – A. Bagnato, A. Sadovykh, R. Paige, D. Kolovos, L. Baresi, A. Morzenti, M. Rossi
- "ENOSYS: Model Driven Design Flow for Systems-on-Chip" – A. Sadovykh, E. Brosse, V. Chouliaras, S. Radia
- "Automatic Architecture Synthesis and Application Mapping for Application-specific Customizable MPSoCs" – L. Jóźwiak, M. Lindwer
