Workshop: Distributed Embedded Systems

Presentation Slides of Monday, 11/21/05

• Joseph Sifakis, Marius Bozga and Ananda Basu:
  A Framework for component based construction
• Erwin de Kock:
  Interface centric approach to design and programming of embedded multiprocessors
• Arie van Deursen:
  Isolating crosscutting concerns in embedded software systems
• Bart Kienhuis:
  Modular design and the importance of models of computation
• Jozef Hooman and Marcel Verhoef:
  Comparing performance analysis methods on an industrial case study
• Michel Chaudron:
  Evaluating quality properties of component based architectures
• Kai Richter:
  Scheduling analysis in practice: Early lessons learned

Presentation Slides of Tuesday, 11/22/05

• Peter Marwedel:
  Memory aware compilation enables fast, energy efficient, time predictable memory accesses
• Jeroen Voeten:
  Towards predictability in real time embedded system design
• Petru Eles:
  Analysis and optimisation of real time distributed embedded systems
• Bengt Jonsson:
  Model based resource-scheduling analysis for timing constraints
• Eckart Zitzler:
  Issues in design space exploration using randomised search algorithms
• Shuvra Bhattacharyya:
  Design and synthesis of image processing systems using reconfigurable dataflow graphs
• Juergen Teich:
  Design space exploration of actor based specifications on FPGA
• Jan Madsen:
  Design space exploration for heterogeneous, networked multiprocessor SoC design
• Andy Pimentel:
  Sesame: opening new doors to efficient system level design space exploration

Presentation Slides of Wednesday, 11/23/05

• Ananda Basu:
  BIP Framework
• Egor Bondarev:
  Scenario Simulation Approach
• Razvan Racu:
  SymTA/S
• Leonid Mokrushin:
  Compositional Verification of Timed Systems
• Marcel Verhoef:
  Timed Automata - Case Study
• Bart Theelen:
  Performance Modelling and Analysis with SHE using the Formal Language POOSL
• Ernesto Wandeler:
  MPA/RTC
• Paul Pop:
  Schedulability Analysis of Mixed Event-Triggered/Time-Triggered Systems
• Sorin Manolache:
  Performance Analysis of Applications with Stochastic Task Execution Times
• Alexander Metzner:
  Task Allocation in Rich Component Problems