University of Minnesota
Software Engineering Center

You are here

Design Considerations for Modeling Modes in Cyber–Physical Systems

Date of Publication: 
October 2015
Associated Research Groups: 
Publication Files: 
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.
IEEE Design & Test
@ARTICLE{7172459, author={Murugesan, A. and Rayadurgam, S. and Whalen, M.W. and Heimdahl, M.P.E.}, journal={Design Test, IEEE}, title={Design Considerations for Modeling Modes in Cyber #x2013;Physical Systems}, year={2015}, volume={32}, number={5}, pages={66-73}, doi={10.1109/MDAT.2015.2462112}, ISSN={2168-2356}, month={Oct},}