Quantitative Aspects of Embedded Systems

March 4-9, 2007       Schloss Dagstuhl, Wadern, Germany organised with Artist partners 

Seminar on Quantitative Aspects of Embedded Systems,
Schloss Dagstuhl 2007


Given the above considerations, the goal of this Dagstuhl seminar is to bring together experts in the areas of embedded software design and implementation, model-based analysis of quantitative system aspects, and researchers working on extending all kinds of formal (design and analysis) methods with quantitative system aspects. These three areas are clearly well-related in the context of embedded systems, but have not been addressed as such in the past, as they have been worked upon in different communities. Thus, the seminar will lay bridges between these three areas, so that knowledge and experience can be shared (first step), transferred (second step) and, ultimately, be generated (third step).
  • modelling / simulation
  • data structures / algorithms / complexity
  • optimization / scheduling
  • programming languages / compiler
  • sw-engineering
  • semantics / formal methods
  • verification / logic
  • embedded systems


- B. Haverkort (Univ. of Twente, NL)
- J.-P. Katoen (RWTH Aachen, DE)
- L. Thiele (ETH Zürich, CH)


See it online!

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet