Bringing Theory to Practice: Predictability and Performance in Embedded Systems
The PPES workshop is concerned with critical hard real-time systems that have to satisfy both efficiency and predictability requirements. For example, an electronic controller for a safety-critical system in an automobile needs to react not only correctly to external inputs such as rapid deceleration or loss of grip, but also provably within a given time-span. Although there exist techniques to accurately predict the worst-case execution time of critical embedded systems for complex microprocessors, the current approaches will not scale to future systems. The trend of integrating multiple functions on a single control unit or to use multi-core systems with shared resources saves costs, but introduces lots of interferences between tasks and components.
A unified approach which focuses on performance and predictability of Embedded Systems is needed to permit analysability of future systems. The workshop will discuss approaches to achieve improvements of worst-case predictability and of average-case performance on all system layers, including hardware architecture, operating systems, code generation, software architecture and program analysis. It will also discuss the problems arising in industrial practice in trying to achieve one or both of these goals and address proposed tools or standardisation efforts.Conference on Design, Automation & Test in Europe (DATE), which takes place in the French city of Grenoble during the week of 2011-03-14–18.
The workshop program features an invited presentation by Ottmar Bender (Cassidian Electronics) on Predictability and Performance Requirements in Avionics Systems.
Furthermore, a panel discussion contrasts the industrial needs and challenges for predictability in practice with the academical ideas to tackle these challenges.
- 8:30–9:30Predictability and Performance Requirements in Avionics SystemsInvited talk by Ottmar Bender (Cassidian Electronics)
- Software Structure and WCET PredictabilityGernot Gebhard, Christoph Cullmann, Reinhold Heckmann
- Towards a Time-predictable Dual-Issue Microprocessor: The Patmos ApproachMartin Schoeberl, Pascal Schleuniger, Wolfgang Puffitsch, Florian Brandner, Christian W. Probst, Sven Karlsson, Tommy Thorn
- A Template for Predictability Definitions with Supporting EvidenceDaniel Grund, Jan Reineke, Reinhard Wilhelm
- An overview of approaches towards the timing analysability of parallel architecturesChristine Rochange
- Implementation and Empirical Evaluation of Partitioning-Based Multi-Core SchedulingYi Zhang, Nan Guan, Wang Yi
- An Automated Flow to Map Throughput Constrained Applications to a MPSoCRoel Jordans, Firew Siyoum, Sander Stuijk, Akash Kumar, Henk Corporaal
- Towards Formally Verified Optimizing Compilation in Flight Control SoftwareRicardo Bedin-França, Denis Favre-Félix, Xavier Leroy, Marc Pantel and Jean Souyris
- 15:00–16:00Predictability and Performance in Industrial PracticePanel discussion
- Philipp Lucas (Saarland University)
- Lothar Thiele (ETH Zürich)
- Benoît Triquet (Airbus)
- Theo Ungerer (Augsburg University)
- (Chair) Reinhard Wilhelm (Saarland University)
Further Program Committee members:
- Pascal Sainrat (University of Toulouse)
- Sami Yehia (Thales)
- Wang Yi (Uppsala University)
- Rafael Zalman (Infineon)
PPES receives support from the following European projects: