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
Abstract
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.
Biography
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.