An Instrumentation-Based Approach to Controller Validation

  • Rance Cleaveland
Conference paper

This talk presents instrumentation-based validation (IBV) as a means to check whether models of controllers given in Simulink® /Stateflow® satisfy functional requirements. IBV relies on the formalization of requirements as small “observer models” whose purpose is to monitor, and detect violations of, single requirements. These models may then be used as instrumentation for larger controller models, and testing and other V&V activities performed in order to check for the presence of errors. This presentation discusses IBV in general and illustrates its implementation in the Reactis® model-based testing environment.

Copyright information

© Springer 2007

Authors and Affiliations

  • Rance Cleaveland
    • 1
  1. 1.Department of Computer Science and EngineeringIndian Institute of TechnologyGuwahatiIndia

Personalised recommendations