Conformance testing of variable driven automata

In this paper, we address the conformance testing problem for timed constrained critical systems. We propose a new model adapted to describe such systems. The model is called Variable Driven Timed Automata (VDTA) and is a variant of timed automata in which events are variable assignments and all transitions are urgent. We present a sound and exhaustive on the fly testing algorithm for such systems. As an application of our approach, we propose a case study on a “Bi-manual command” system.