Measuring software design complexity
Journal of Systems and Software
A tree-based algorithm for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
International Journal on Software Tools for Technology Transfer (STTT)
A Formal Architecture Pattern for Real-Time Distributed Systems
RTSS '09 Proceedings of the 2009 30th IEEE Real-Time Systems Symposium
Sequential verification of serializability
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A reduced complexity design pattern for distributed hierarchical command and control system
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Toward patient safety in closed-loop medical device systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A framework for the safe interoperability of medical devices in the presence of network failures
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Smart alarms: multivariate medical alarm integration for post CABG surgery patients
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
RTAS '12 Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium
Hi-index | 0.00 |
Cooperating medical devices, envisioned by Integrated Clinical Environment (ICE) of Medical Device Plug-and-Play (MDPnP), is expected to improve the safety and the quality of patient care. To ensure safety, the cooperating medical devices must be thoroughly verified and tested. However, concurrent control of devices without proper coordination poses a significant challenge for the verification of the safety, since complex interaction patterns between devices might cause the explosion of the verification state space. In this paper, we propose a low-complexity coordination architecture and protocol for networked supervisory medical systems. The proposed architecture organizes the systems in a hierarchical and organ-based manner in accordance to human physiology and home-ostasis. Further, the proposed protocol avoids potential conflicts and unsafe controls, while allowing efficient concurrent operations of medical devices. The evaluation results show that our approach reduce the complexity by several orders of magnitude.