This class will include several projects, and this page will be updated throughout the semester to provide background material and resources for the projects.
In a Department of Homeland Security research project, SAnToS researchers worked with Adventium Labs to develop an open source medical device platform and a Patient Controlled Analgesic Pump built using the platform. Much of the functionality of the PCA Pump has already been implemented in the Slang Embedded development framework.
This project will enhance the existing PCA Pump infrastructure by:
The overall focus for this project is developing interfaces for realistic sensors and actuators and getting the real-time aspects of the PCA pump figured out.
This is a well-known example with the formal methods and real-time systems community and is presented in detail in the book “Analyzeable Real-Time Systems: Programmed in Ada” by Alan Burns and Andy Wellings. In the book, models (but not in AADL) of the system are presented, and implementations are given in Ada.
This project will adapt the mine control implementation from the Burns and Wellings book by:
This is an example used to illustrate proper engineering of requirements in the FAA Requirements Engineering Management Handbook that we have used previously in the course.
This is a slightly smaller example, and the work will come from expanding it in several directions, including having one or more communication interfaces associated with it.