Goal
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).
Classification
- modelling / simulation
- data structures / algorithms / complexity
- optimization / scheduling
- programming languages / compiler
- sw-engineering
- semantics / formal methods
- verification / logic
- embedded systems
Organizers
B. Haverkort (Univ. of Twente, NL)
J.-P. Katoen (RWTH Aachen, DE)
L. Thiele (ETH Zürich, CH)
Online
See it online!