Using Medical Devices to Teach Formal Modeling

Formal modeling can be used as an effective technique to improve the quality and reliability of software-intensive systems in general, and medical devices in particular. However, for formal modeling to be accessible to practicing engineers and domain specialists, suitable educational materials need to be developed. We report on the development of educational materials designed to give students the necessary experience to infuse formal modeling into practice. A core component of this effort is a set of modeling tasks drawn from the medical device domain.