Observable Form of a Timed Finite State Machine
Maxim L. Gromov, Olga Kondratjeva · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2010
This paper is devoted to the problem of an observable form for a given Timed Finite State Machine.This problem, together with the problem of the number of states in the observable form, has theoretical value, since it shows the way to build an observable form, and answers the question, does an observable form exist for any TFSM.Also it has a practical use in testing, since Finite State Machine methods of test generation rely on the fact that specification of a system is an observable FSM and those methods are intended to be applied for TFSMs.