Design Considerations for Modeling Modes in Cyber-Physical Systems
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Design Considerations for Modeling Modes in Cyber-Physical Systems
Published Date
2015
Publisher
Type
Report
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
Description
Associated research group: Critical Systems Research Group
Related to
Replaces
License
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
IEEE Design & Test
Suggested citation
Murugesan, Anitha; Rayadurgam, Sanjai; Whalen, Michael; Heimdahl, Mats. (2015). Design Considerations for Modeling Modes in Cyber-Physical Systems. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217450.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.