Title :
Design Considerations for Modeling Modes in Cyber–Physical Systems
Author :
Murugesan, Anitha ; Rayadurgam, Sanjai ; Whalen, Michael W. ; Heimdahl, Mats P. E.
Abstract :
Safety critical systems such as cruise control in automotive systems and variable rate bolus in medical device infusion pumps introduce complexity and reduce the flexibility of incremental code modifications. This paper proposes a generic pattern to structure the mode logic such that additions, modifications, and removal of behaviors could be done in a quick and localized fashion without losing model integrity. The authors illustrate the proposed pattern using the infusion pump as a case study and describe a design pattern for the mode logic of reactive systems that allows for flexible, understandable, and maintainable models.
Keywords :
biomedical equipment; safety-critical software; GPCA infusion pump; automotive systems; cruise control; cyber-physical systems; design pattern; generic patient controlled analgesia infusion pump; incremental code modifications; maintainable models; medical device infusion pumps; mode logic; model integrity; modes modeling; reactive systems; safety critical systems; variable rate bolus; Adaptation models; Analytical models; Complexity theory; Computational modeling; Cyberphysical systems; Drugs;
Journal_Title :
Design & Test, IEEE
DOI :
10.1109/MDAT.2015.2462112
