Model-driven design methods are essential to guarantee the proper functioning and the required performance of embedded systems (ES) and cyber-physical systems (CPS). This course introduces models of computation that enable functional analysis, performance analysis and simulation-based evaluation techniques for ES and CPS. The course covers dataflow, automata and stochastic models, their analysis methods, and their application to system design and synthesis.
- Teacher: Twan Basten
- Teacher: Marc Geilen
- Teacher: Jeroen Voeten