Structuring simulink models for verification and reuse
Michael W. Whalen, Anitha Murugesan, Sanjai Rayadurgam, Mats P. E. Heimdahl · 2014
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.