Safe State Analysis of Real-Time Control Applications

Abstract This paper takes the problem of safe state analysis of real-time safety software systems, showing how a specific formal theory was converted into a practical analysis tool. In panicular, the paper shows the stages in convening a mathematical statement into a practical algorithm, implementing the algorithm into a CASE tool and using the tool to analyse a typical control application. The novel approach is applied to afault tolerant system to prove its effectiveness in analysing real systems.