Cyber-Physical Medical and Medication Systems
- 1 June 2008
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2008 The 28th International Conference on Distributed Computing Systems Workshops
Abstract
Medical and medication devices are real-time systems with safety and timing requirements. They range from hard-real-time, embedded, and reactive systems such as pacemakers to soft-real-time, stand-alone medication dispensers. Many of these devices are already connected to computer networks, especially in hospital intensive-care units, so that patients' conditions detected by sensors can be monitored in real-time at remote computer stations nearby or at other sites. However, remote adjustment of medical devices' output and actuation is typically not allowed due to safety concerns. This article discusses a number of issues such as verification that must be resolved in order to allow cyber-physical operation of medical devices. In particular, we propose using formal methods, self-stabilization, and (m,k)-firm scheduling to allow the safe cyber-physical operation of a medical ventilator, a life-critical reactive device to move breathable air into and out of the lungs of a patient with respiratory difficulties, with the ultimate goal of speeding-up the recovery of the patient.Keywords
This publication has 10 references indexed in Scilit:
- Automatic debugging of real-time systems based on incremental satisfiability countingIEEE Transactions on Computers, 2006
- Optimization of Real-Time Systems Timing SpecificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Self-stabilizing real-time rule-based systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Simulation of fuzzy control for management of respiratory rate in assist-control mechanical ventilationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Performance analysis of dynamic soft real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Overload management in real-time control applications using (m, k)-firm guaranteeIEEE Transactions on Parallel and Distributed Systems, 1999
- Scheduling for overload in real-time systemsIEEE Transactions on Computers, 1997
- On-line estimation of patient and ventilator respiratory workPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1995
- A dynamic priority assignment technique for streams with (m, k)-firm deadlinesIEEE Transactions on Computers, 1995
- Mechanical VentilationPublished by Springer Science and Business Media LLC ,1991