Diagnostic Tests for Real Time Systems

Abstract

In this paper, we propose a diagnostic method for the case where one transfer or output fault may be present in a real time system modelled by a Timed Input Output Automaton (TIOA). Timed Wp-method is used for generating timed test cases. First, the diagnostic procedure generates a set of diagnoses having the power of explaining all implementation observed outputs. It then reduces (if necessary) the number of diagnoses by generating for them additional diagnostic tests. The method guarantees the correct diagnosis of any single output/transfer fault in a TIOA. We also propose a tool that implements the suggested method.