FAULT DETECTION ON TIMED SYSTEMS

Abstract. This paper focuses on fault detection on an implementation of a timed system. These kind faults may be found on an implementation after the application of a specific testing method-ology. This latter is based on the submission of test sequences to the implementation and then the analysis of the implementation responses. The responses should respect the behavior as well as the timing constraints of the specification. A timed system is modelled as a timed automaton, i.e. an automaton where transitions are labelled by a symbol and a set of constraints over some clocks. Test sequences are derived from test purposes suggested by the system designer. In order to check the implementation reactions with their timing constraints, we used a specific testing architecture for timed systems. Finally, we detail all the types of errors that can be detected by this testing technique