Structuring Simulink models for verification and reuse

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings
PublisherAssociation for Computing Machinery, Inc
Pages19-24
Number of pages6
ISBN (Electronic)9781450328494
DOIs
StatePublished - Jun 2 2014
Event6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Hyderabad, India
Duration: Jun 2 2014Jun 3 2014

Publication series

Name6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings

Other

Other6th International Workshop on Modeling in Software Engineering, MiSE 2014
Country/TerritoryIndia
CityHyderabad
Period6/2/146/3/14

Bibliographical note

Publisher Copyright:
Copyright 2014 ACM.

Keywords

  • Model based development
  • Simulink design ver-ifier
  • Verification

Fingerprint

Dive into the research topics of 'Structuring Simulink models for verification and reuse'. Together they form a unique fingerprint.

Cite this