Structuring Simulink Models for Verification and Reuse

Thumbnail Image

View/Download File

Persistent link to this item

View Statistics

Journal Title

Journal ISSN

Volume Title


Structuring Simulink Models for Verification and Reuse

Published Date






Model-based development (MBD) tool suites such as Simulink and Stateflow offer powerful tools for design, development, and analysis of models. These models can be used for several purposes: for code generation, for prototyping, as descriptions of an environment (plant) that will be controlled by software, as oracles for a testing process, and many other aspects of software development. In addition, a goal of model-based development is to develop reusable models that can be easily managed in a version-controlled continuous integration process. Although significant guidance exists for proper structuring of source code for these purposes, considerably less guidance exists for MBD approaches. In this paper, we discuss structuring issues in constructing models to support use (and reuse) of models for design and verification in critical software development projects. We illustrate our approach using a generic patient-controlled analgesia infusion pump (GPCA), a medical cyber-physical system.



Associated research group: Critical Systems Research Group

Related to



Series/Report Number

Funding information

Isbn identifier

Doi identifier

Previously Published Citation

6th International Workshop on Modeling in Software Engineering

Suggested citation

Whalen, Michael; Murugesan, Anitha; Rayadurgam, Sanjai; Heimdahl, Mats. (2014). Structuring Simulink Models for Verification and Reuse. Retrieved from the University Digital Conservancy,

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.