TY - GEN
T1 - An instrumentation-based approach to controller model validation
AU - Cleaveland, Rance
AU - Smolka, Scott A.
AU - Sims, Steven T.
PY - 2008
Y1 - 2008
N2 - This paper discusses the concept of Instrumentation-Based Validation (IBV): the use of model instrumentation and coverage-based testing to validate models of embedded control software. IBV proceeds as follows. An engineer first formalizes requirements as assertions, or small models, which may be thought of as monitors that observe the behavior of the controller model as it executes. The engineer then instruments the model with these assertions and develops test suites with the aim of highlighting where assertion violations occur. To make our discussion of IBV more concrete, we also consider its implementation within the Reactis tool suite for the automated testing and validation of controller models given in ® /Stateflow®.
AB - This paper discusses the concept of Instrumentation-Based Validation (IBV): the use of model instrumentation and coverage-based testing to validate models of embedded control software. IBV proceeds as follows. An engineer first formalizes requirements as assertions, or small models, which may be thought of as monitors that observe the behavior of the controller model as it executes. The engineer then instruments the model with these assertions and develops test suites with the aim of highlighting where assertion violations occur. To make our discussion of IBV more concrete, we also consider its implementation within the Reactis tool suite for the automated testing and validation of controller models given in ® /Stateflow®.
UR - https://www.scopus.com/pages/publications/50549103297
U2 - 10.1007/978-3-540-70930-5_6
DO - 10.1007/978-3-540-70930-5_6
M3 - Conference contribution
AN - SCOPUS:50549103297
SN - 3540709290
SN - 9783540709299
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 84
EP - 97
BT - Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, Revised Selected Papers
T2 - 2nd Automotive Software Workshop San Diego, ASWSD 2006
Y2 - 15 March 2006 through 17 March 2006
ER -