MDD-ES

dr. Angelika Mader

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.

Results 2011

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.

Results 2010

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.