Workshop on Distributed Embedded Systems
Lorentz Center Leiden, November 21-24, 2005
Back to main page
Organisation
Information slides for preparation of the first part of the workshop
[ppt].
A first version of an overview table which was compiled based on your input can
be found here
[xls].
Presentation Slides
Monday, 11/21/05
-
Joseph Sifakis, Marius Bozga and Ananda Basu:
A Framework for component based construction
[pdf]
-
Erwin de Kock:
Interface centric approach to design and programming of embedded multiprocessors
[pdf]
-
Arie van Deursen:
Isolating crosscutting concerns in embedded software systems
[pdf]
- Bart Kienhuis:
Modular design and the importance of models of computation
[pps]
- Jozef Hooman and Marcel Verhoef:
Comparing performance analysis methods on an industrial case study
[pdf]
- Michel Chaudron:
Evaluating quality properties of component based architectures
[ppt]
- Kai Richter:
Scheduling analysis in practice: Early lessons learned
[pdf]
Tuesday, 11/22/05
-
Peter Marwedel:
Memory aware compilation enables fast, energy efficient, time predictable memory accesses
[ppt]
- Jeroen Voeten:
Towards predictability in real time embedded system design
[ppt]
-
Petru Eles:
Analysis and optimisation of real time distributed embedded systems
[pdf]
-
Bengt Jonsson:
Model based resource-scheduling analysis for timing constraints
[pdf]
-
Eckart Zitzler:
Issues in design space exploration using randomised search algorithms
[pdf]
-
Shuvra Bhattacharyya:
Design and synthesis of image processing systems using reconfigurable dataflow graphs
[ppt]
-
Juergen Teich:
Design space exploration of actor based specifications on FPGA
[pdf]
-
Jan Madsen:
Design space exploration for heterogeneous, networked multiprocessor SoC design
[pdf]
-
Andy Pimentel:
Sesame: opening new doors to efficient system level design space exploration
[ppt]
Wednesday, 11/23/05
- Ananda Basu: BIP Framework
[ppt]
- Egor Bondarev: Scenario Simulation Approach
[ppt]
- Razvan Racu: SymTA/S
[pdf]
- Leonid Mokrushin:
Compositional Verification of Timed Systems
[ppt]
- Marcel Verhoef: Timed Automata - Case Study
[pdf]
- Bart Theelen: Performance Modelling and Analysis with SHE using the Formal Language POOSL
[pdf]
- Ernesto Wandeler: MPA/RTC [ppt]
- Paul Pop: Schedulability Analysis of Mixed Event-Triggered/Time-Triggered Systems
[ppt]
- Sorin Manolache: Performance Analysis of Applications with Stochastic Task Execution Times
[ppt]
- Alexander Metzner: Task Allocation in Rich Component Problems
Pool of Performance Analysis Problems
Revised problem sets
To edit the WiKi-pages associated with the problems, you will need a password. Please contact Simon Perathoner (perathoner@tik.ee.ethz.ch).
Solutions found by the various analysis methods can be found here.
Small problems, complete specification
- Problem 2: In-car Radio Navigation System
[pdf],
[txt],
[wiki]
Contact: Marcel Verhoef, Marcel.Verhoef (at) chess.nl
- Problem 3: And-Or Activation
[ppt],
[txt],
[wiki]
Contact: Arne Hamann, hamann@ida.ing.tu-bs.de
- Problem 4: Intra-Context Information
[ppt],
[txt],
[wiki]
Contact: Arne Hamann, hamann@ida.ing.tu-bs.de
- Problem 5: Variable Feedback
[ppt],
[txt],
[wiki]
Contact: Arne Hamann, hamann@ida.ing.tu-bs.de
- Problem 6: Traffic Shaper
[ppt],
[txt],
[wiki]
Contact: Arne Hamann, hamann@ida.ing.tu-bs.de
- Problem 9: Pay Bursts Once
[ppt],
[txt],
[wiki]
Contact: Ernesto Wandeler, wandeler@tik.ee.ethz.ch
- Problem 10: Cyclic Dependencies
[ppt],
[txt],
[wiki]
Contact: Ernesto Wandeler, wandeler@tik.ee.ethz.ch
- Problem 13: SDF with Stochastic Execution Times
[ppt],
[txt],
[wiki]
Contact: Bart Theelen, B.D.Theelen@tue.nl
- Problem 14: Robot
[ppt],
[txt],
[wiki]
Contact: Leonid Mokrushin, leom@it.uu.se
- Problem 15: Resource Sharing
[ppt],
[txt],
[wiki]
Contact: Jan Madsen, jan@imm.dtu.dk
- Problem 17: Greedy Shapers
[ppt],
[txt],
[wiki]
Contact: Ernesto Wandeler, wandeler@tik.ee.ethz.ch
- Problem 18: SDF graph with cycle/data splitting
[ppt],
[txt],
[wiki]
Contact: Bart Theelen, B.D.Theelen@tue.nl
- Problem 19: SDF with Scenario-Dependent Behaviour
[ppt],
[txt],
[wiki]
Contact: Bart Theelen, B.D.Theelen@tue.nl
Large problems, complete specification
- Problem 7: Complex System I
[ppt],
[txt],
[wiki]
Contact: Arne Hamann, hamann@ida.ing.tu-bs.de
- Problem 8: Complex System II
[ppt],
[txt],
[wiki]
Contact: Arne Hamann, hamann@ida.ing.tu-bs.de
- Problem 11: Complex Hierarchical Scheduling
[ppt],
[txt],
[wiki]
Contact: Ernesto Wandeler, wandeler@tik.ee.ethz.ch
- Problem 12: Complex Distributed Systems
[ppt],
[txt],
[wiki]
Contact: Ernesto Wandeler, wandeler@tik.ee.ethz.ch
- Problem 20: MP3 mapped on NoC-based MPSoC
[ppt],
[pdf],
[wiki]
Contact: Bart Theelen, B.D.Theelen@tue.nl
Problems, complete specification missing
- Problem 1: Offis Example
[ppt],[txt],
[wiki]
Contact:
- Problem 16: Packet Switching
[ppt],
[txt],
[wiki]
Contact: Jeroen Voeten, J.P.M.Voeten@tue.nl
Related Publications
- S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker, R. Henia, R. Racu, R. Ernst and M. Gonzalez Harbour.
Influence of different Abstractions on the Performance Analysis of Distributed Hard Real-Time Systems
In Design Automation for Embedded Systems, Springer (Journal to appear)
Paper [pdf]
Models [zip]
- S. Perathoner, E. Wandeler, L. Thiele, A. Hamann, S. Schliecker, R. Henia, R. Racu, R. Ernst and M. Gonzalez Harbour.
Influence of different System Abstractions on the Performance Analysis of Distributed Real-Time Systems
In 7th ACM Conference on Embedded Systems Software (EMSOFT), Salzburg, Austria, October 2007
Paper [pdf]
Models [zip]
- S. Perathoner. Evaluation and Comparison of Performance Analysis Methods for Distributed Embedded Systems,
Master's thesis, March 2006
Supervisors:
Dr. E. Wandeler and Prof. Dr. L. Thiele, Computer Engineering and Networks Laboratory, ETH Zurich
Thesis [pdf]
Models [zip]