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 language | English (US) |
---|---|
Title of host publication | 6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings |
Publisher | Association for Computing Machinery |
Pages | 19-24 |
Number of pages | 6 |
ISBN (Electronic) | 9781450328494 |
DOIs | |
State | Published - Jun 2 2014 |
Event | 6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Hyderabad, India Duration: Jun 2 2014 → Jun 3 2014 |
Publication series
Name | 6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings |
---|
Other
Other | 6th International Workshop on Modeling in Software Engineering, MiSE 2014 |
---|---|
Country/Territory | India |
City | Hyderabad |
Period | 6/2/14 → 6/3/14 |
Bibliographical note
Publisher Copyright:Copyright 2014 ACM.
Keywords
- Model based development
- Simulink design ver-ifier
- Verification