On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M13Mousavi
From WG 2.11
Jump to navigationJump to search
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)
