William Spees

Learn More
Medical devices historically have been monolithic units — developed, validated, and approved by regulatory authorities as stand-alone entities. Modern medical devices increasingly incorporate connectivity mechanisms that offer the potential to stream device data into electronic health records, integrate information from multiple devices into single(More)
In this paper we explore a method for carrying out pre-market analysis of software designs and implementations, based on formal-methods techniques, to aid the process of reviewing software in medical devices. We discuss a methodology to validate medical device software with the help of formal methods based usage models, and test cases derived from such(More)
Medical devices historically have been monolithic units --- developed, validated, and approved by regulatory authorities as standalone entities. Modern medical devices increasingly incorporate connectivity mechanisms that offer the potential to stream device data into electronic health records, integrate information from multiple devices into single(More)
This tool demonstration presents a framework for integrating and coordinating the activities of medical devices. The framework uses a publish-subscribe framework for communicating with and controlling devices and a model-driven component-based development environment for rapid implementation of device coordination tasks. A multi-faceted graphical user(More)
  • 1