WG211/M13Mousavi
From WG 2.11
After a general introduction to my research interests and ongoing research projects, I present an overview of our recent experience within the Allegio project, in which a Domain Specific Language (DSL) is developed for medical devices (such as CT-scanners and X-Ray machines). We report on the formal semantics, and early validation and verification technology around this DSL.
(Joint work with Arjan Mooij, TNO and Sarmen Keshishzadeh, TU Eindhoven, The Netherlands)
