Date of Original Version
Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability, Boston, MA, 25-27 June 2007.
Abstract or Table of Contents
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.