The semester, our course projects will be based on specifying and implementing a Patient-Controlled Analgesic (PCA) Pump with a network interface for the Integrated Clinical Environment (ICE). The SAnToS Lab Open PCA Pump Project Web Page contains background information for the PCA Pump project.
Here are the starting files for the PCA Pump Risk Management Project (PCA_PUMP.zip) These files need to be unzipped and imported into OSATE using the "import existing project" option or something similar.
In previous semesters, our course projects were based on the following topics.
- Modeling of a Nuclear Power Plant Safety System
This mini-project was based on developing an architectural model and performing a hazard analysis for a Nuclear Power Plant Safety System. The AADL framework was used to create an architectural model of the system, and AADL's Error Modeling Framework was used to carry out a model-based hazard analysis for the nuclear power plant.
- Development of a variety of modes of a cardiac pacemaker -- Boston Scientific has released into the public domain the system specification for a previous generation pacemaker. A major reason for publishing this specification is to have it serve as the basis for a challenge to the formal methods community, in the spirit of other Grand Challenges. We will be developing several different pacing modes following the goals of the Pacemaker Grand Challenge.
- Development of apps for the Medical Device Coordination Framework -- Medical devices have traditionally been developed and regulated as stand-alone entities. Kansas State and University of Pennsylvania researchers are developing a middleware and networking framework for integrating medical devices. This Medical Device Coordination Framework allows one to write “apps” that control how information moves between medical devices, hospital information systems, and clinician displays. In addition, apps can send control signals to devices to implement, e.g., safety interlocks and closed loop control. We will be developing 3-5 apps. Development will include writing requirements documents, formal specifications, implementations, hazard analyses, and portions of regulatory and certification submissions.
These activities will be carried out in consultation with engineers at the US Food and Drug Administration as well as collaborators at the University of Pennsylvania and the Center for Integration of Medicine and Innovative Technologies (CIMIT).