TiMoBD

Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments

Program

Intro Session 9:00 – 9:30

Introduction: Can existing methodologies and standards ensure the level of time predictability that is needed by modern cyberphysical systems?
M. Di Natale, Scuola Superiore S. Anna, Pisa Slides (pdf)

Coffee Break

Session 1 10:00 – 12:00

Applying MDE to real-time embedded systems: technologies, standards and experiences
Sara Tucci, CEA List Slides (pdf)

Towards the Integration of EAST-ADL and UPPAAL for Formal Verification of Embedded System Architectures
Tahir Naseer Qureshi, De-Jiu Chen, Magnus Persson, Martin Törngren, KTH Stockholm Slides (pdf)

Portable Real-Time Code from PTIDES Models
Patricia Derler, John Eidson, Edward A. Lee, Slobodan Matic, Christos Stergiou, Michael Zimmer, UC Berkeley Slides (pdf)

Compositional timing analysis
Oded Maler, IMAG Grenoble Slides (pdf)

Lunch Break

Session 2 13:20 – 15:00

Contract-Based Reasoning for Component Systems with Complex Interactions
Susanne Graf, Roberto Passerone, Sophie Quinton, Verimag/CNRS, University of Trento, TU Braunschweig

Extraction of End-to-end Timing Model from Component-Based Distributed Real-Time Embedded Systems
Saad Mubeen, Jukka Mäki-Turja, and Mikael Sjödin, Mälardalen University

Rigorous Model based Timing Analysis of Automotive Embedded Systems
S. Ramesh, General Motors R&D Slides (pdf)

Session 3 15:30 – 16:15

Design and Evaluation of Future Ethernet-based ECU Networks
J. Teich, M. Glass, S. Graf, F. Reimann, University of Erlangen-Nuremberg Slides (pdf)

Model-based Design of Distributed Automotive Systems
Martin Lukasiewycz, Samarjit Chakraborty, Michael Glass, Juergen Teich, TUM-CREATE Center for E-mobility, Singapore, university of Munich, University of Erlangen-Nuremberg Slides (pdf)