1 / 13

Quantitative Aspects of Embedded Systems

Quantitative Aspects of Embedded Systems. Schloss Dagstuhl, March 5-9, 2007 Boudewijn Haverkort, Lothar Thiele Joost-Pieter Katoen. Practical Stuff. Dagstuhl is a self-service organization: clean your table, find your drinks, etc. ...and do not forget to pay drinks!

lora
Download Presentation

Quantitative Aspects of Embedded Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Quantitative Aspects of Embedded Systems Schloss Dagstuhl, March 5-9, 2007Boudewijn Haverkort, Lothar ThieleJoost-Pieter Katoen

  2. Practical Stuff • Dagstuhl is a self-service organization: clean your table, find your drinks, etc. • ...and do not forget to pay drinks! • Lunch and dinner times are to be kept • Any queries: go to the reception desk • Check your personal data sheet • Optional Wednesday-afternoon activity

  3. Seminar Proceedings • Abstract collection (must!) • Executive summary (must!) • Individual publication (optional) • Hand-written abstract in “big book”

  4. Homework papers • Henzinger, Sifakis: Embedded system design challenges, 2006 • Stankovic, Lee, Mok, Rajkumar: Opportunities and obligations for physical computing systems, 2005 • Wilhelm, Thiele: Design for timing predictability, 2004

  5. Monday, March 5, Morning • 9.00: Opening • 9.30: Lothar Thiele & Reinhard Wilhelm: Design for predictability • 10.30 Coffee • 11.00 Where are we going (this week)? • Introduction round • Topics to be addressed? • Teaching? • Tutorials? • Working groups? • 12.15 Lunch

  6. Monday, March 5, Afternoon • 14.00 Regular talks: • Reinhard German: Efforts in measuring and modeling networked embedded systems • Wolfgang Rosenstiel: A hybrid approach for performance simulation of distributed embedded SW • 15.20 Coffee • 15.55 Regular talks • Pieter Mosterman: Model-based design of embedded systems • Bastian Schlich: Applying model checking to real micro-controller code • 17.15 WG reports (4) • 18.00 Dinner • 19.30 Vernisage

  7. Tuesday, March 6, Morning • 9.00 Working group discussion • 9.30 Tutorial Worst Case Methods: Kim Larsen & Reinhard Wilhelm • 10.30 Coffee break • 11.00 Regular talks • Sebastian Altmeyer: Minimizing cache conflicts by optimal task placement • Jan Reineke: Timing predictability of cache replacement policies • Kim Larsen: Performance evaluation & optimal scheduling for embedded systems • 12.30 Lunch

  8. Tuesday, March 6, Afternoon • 13.45 Regular talks • Vladimir Okulevich: Experience in formal model verification for mission-critical domains • Jaejin Lee: Virtual memory environments for instructions scratchpad memory management • 14.45 Tutorial Stochastic Model Checking: Holger Hermanns • 15.45 Coffee break • 16.15 Regular talks • Marielle Stoelinga: Time and resource interfaces • David Jansen: Bi-simulation minimization mostly speeds up probabilistic model checking • Daniel Willems: Abstraction for continuous-time Markov chains • 18.00 Dinner

  9. Wednesday March 7, Morning • 9.00 Regular talks • Lijun Zhang: Predicate abstraction for probabilistic systems • Matthias Fruth: Probabilistic model-checking … IEEE 802.15.4 • Anne Remke: CSRL model checking for QoS in IEEE 802.11e • 10.30 Coffee break • 11.00 Tutorial: Model-based Design for Embedded Systems: Pieter Mosterman • 12.00 Regular talk • 12.30 Lunch • 13.30 Start hiking tour (approx. 8 km) • 18.00 Dinner • 19.00-20.00: Four parallel WG meetings

  10. Thursday, March 8, Morning • 9.00 Regular talks (coffee @ 10.00) • Lothar Thiele: Resource Interfaces • Hichem Boudali: Dynamic fault-tree analysis • Jan Madsen: Verifying multiprocessor systems-on-chip • Jin Hyuk Yoon: High-performance flash memory-based storage • Gerard Smit: Reconfigurable architectures • 12.00 Photo shoot (chapel stairs) • 12.15 Lunch

  11. Thursday, March 8, Afternoon • 14.00 Teaching ES and QAES • Moderator: Holger Hermanns • Speakers: Reinhard Wilhelm, Gerard Smit • 15.00 Coffee break • 15.30 Regular talks • Jean-Francois Raskin: Algorithms for omega-regular games • Michael-R. Hansen: Model checking interval logic with durations • 16.30 Working group preparations • 18.00 Dinner

  12. Friday, March 9, Morning • 9.00 Working group reports(4 x 15 minutes + discussions) • 10.30 Coffee • 11.00 Regular talks • Lucia Cloth: Battery lifetime distributions • Jürgen Teich: Optimizing reliability of ES during design space exploration • 12.00 Closing • 12.15 Lunch

  13. Final Remarks • We worked hard: • 30 regular talks, 3 tutorials, 3 WG reports • Thank you for your contributions! • Four do’s: • write in the abstract book! • put your abstract+slides online! • pay your bill and don’t forget your beers! • consider a publication for the Dagstuhl online seminar proceedings! • Lunch at 12.15 & save trip home!

More Related