October 6th, 2009      Denver, Colorado, USA (in conjunction with MoDELS 2009) organised and funded by ARTIST 

Programme, Slides

8h30-8h45: Welcome, introduction and presentation of the participants

8h45-9h45: Invited talk
Marco Di Natale. Semantics preservation issues in the design and optimization of SW architectures for automotive systems (see abstract below)

9h45-10h00: Questions and discussion

10h00-10h30: Coffee break

Session 1: Domain-Specific Languages for Embedded Systems

10h30-11h00: Daniela Cancila, François Terrier, Fabien Belmonte, Hubert Dubois, Huascar Espinoza, Sébastien Gérard and Arnaud Cuccuru. SOPHIA: a Modeling Langauage for Model-Based Safety Engineering

11h00-11h30: Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon Koutsoukos and Janos Sztipanovits. PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems

Session 2: Analysis and Formalization

11h30-11h55: Christo Angelov, Krzysztof Sierszecki and Yu Guo. Formal Design Models for Distributed Embedded Control Systems

11h55-12h10: Lili Tan, Björn Wachter, Philipp Lucas and Reinhard Wilhelm. Improving Timing Analysis for Matlab Simulink/Stateflow

12h10-12h30: Discussion

12h30-14h00: Lunch break

Session 4: Variability and Reconfiguration

14h00-14h30: Goetz Botterweck, Andreas Polzer and Stefan Kowalewski. Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems

Session 3: AADL

Cancelled presentation: Mohamed Yassin Chkouri and Marius Bozga. Prototyping of Distributed Embedded Systems Using AADL

14h30-14h45: Dries Langsweirdt, Yves Vandewoude and Yolande Berbers. Towards Intelligent Tool-Support for AADL Based Modeling of Embedded Systems

14h45-15h00: Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll and Marco Roveri. Model-Based Codesign of Critical Embedded Systems

15h00-15h30: Discussion

15h30-16h00: Coffee break

Session 4: Variability and Reconfiguration (ctd.)

16h00-16h25: Johan Ersfolk, Johan Lilius, Jari Muurinen, Ari Salomäki. Niklas Fors and Johnny Nylund. Design Complexity Management in Embedded System Design

16h25-16h55: Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck and Arian Treffer. Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration

16h55-17h55: Discussion

17h55-18h00: Conclusions

Invited Talk

Marco Di Natale: Semantics preservation issues in the design and optimization of SW architectures for automotive systems


Architecture selection and design optimization are critical stages of the Electronics/Controls/Software (ECS) -based vehicle design flow. In automotive systems design, complex functions are deployed onto the physical HW and implemented in a SW architecture consisting of a set of tasks and messages.

The talk will present work performed in cooperation with GM R&D and UC Berkeley, in which we optimized several aspects of the software architecture design, including the definition of the task periods, the task placement and the signal-to-message mapping and we automated the assignment of priorities to tasks and messages in order to meet end-to-end deadlines and minimize latencies.

Architecture selection can be accomplished by leveraging worst case response time analysis within an optimization framework and we provide hints on how to use stochastic or statistical analysis to further improve the approach. However, current work has only scantly addressed the issues of preserving the semantics of functional models during implementation. Semantics preservation issues impose additional constraints on the optimization problem, but also reveal very interesting tradeoffs between memory and time/performance. In addition, the need to deal with heterogeneous models and standards (like AUTOSAR in the automotive business) further complicates the scenario.


Prof. Marco Di Natale is currently IEEE member and Associate Professor at the Scuola Superiore Sant’Anna of Pisa, Italy, in which he held a position as Director of the Real-Time Systems (ReTiS) Lab from 2003 to 2006. He received his PhD from Scuola Superiore Sant’Anna in 1991 and has been Visiting Researcher at the University of California, Berkeley from 2006 to 2009. At UC Berkeley he worked on a program supported by GM Bay Area Labs and targeted to the evaluation, optimization and synthesis of automotive architectures, with special focus on timing analysis. He also worked as principal investigator at GM Research in Warren, Michigan on architecture exploration in 2006 and 2007.

He’s been a researcher in the area of real-time systems and embedded systems for more than 15 years, being author or co-author of more than 90 scientific papers. He has been winner of three best paper awards and the Archie T. Colwell award. His research interests include real time
systems and embedded systems, optimization of software architectures for distributed systems, operating systems and design methodologies for embedded real-time systems; object oriented and component-based design.

Marco Di Natale has been selected in 2006 by the Italian Ministry of Research as the national representative in the mirror group of the ARTEMIS European Union Technology platform. He also served as Program Committee member and has been organizer of tutorials and special sessions for the main conferences in the area, including the Real-time Systems Symposium, the IEEE/ACM Design Automation Conference (DAC), the Design Automation and Test in Europe (DATE) and the Real-Time Application Symposium. He also served as Track Chair for the RTAS conference and the Automotive track of the 2010 DATE conference.

He has been associate editor for the IEEE Transactions on CAD and is currently in the editorial board of the IEEE Transactions on Industrial Informatics.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet