On integration of models for the design of dependable, software-intensive embedded systems, trying to bring together existing modeling methods from the formal methods domain and the mechatronics / robotics domain. Work done together with the CS-groups FMT and SE.
Timing aspects of the little line-following robot have been studied. Analysis of timing is being formulated in timed CSP using the external tool PAT.
Both bond graphs and hybrid state machines have been studied. A pilot study (little line-following robot) has been conducted using 20sim and Uppaal. Currently, the models are not yet combined, i.e. each model describes different but relevant aspects of the pilot study.