An Instrumentation-Based Approach to Controller Validation
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.