PROSPECTS FOR MODEL-BASED TESTING OF DISCRETE SAFETY SYSTEMS

To check the quality of critical functions, recent studies have focused on the formal verification of systems properties, but such verifications are generally completed with actual testing of the system. Model-based testing approaches available may lead to combinatory explosion, which is reduced using only functional aspects. This paper describes prospects for the validation of Discrete (logical) Safety Systems to combine the advantages of test and verification. A prototype has been realized, which generates automatically test sequences, based on a minimal set of hypotheses about its structure. These hypotheses are automatically checked on the system implementation with limited formal verification techniques. The goal of the tests is to prove that a safety logic specification has been correctly implemented in a control system of a nuclear power plant.