Title :
CLAIRE: an event-driven simulation tool for testing software
Author :
Raguideau, J. ; Schoen, D. ; Henry, JY ; Boulc, J.
Author_Institution :
Direction od Adv. Technol., CEA, Centre d´´Etudes Nucleaires de Saclay, Gif-sur-Yvette, France
Abstract :
CLAIRE is a tool developed at CEA, the French nuclear research institute, for testing software involved in the information and control systems of nuclear plants. The tool is based purely on software simulation: the environment of the code is modelled and, at simulation time, exchanges information with the code under validation. Verification of safety properties can be performed with this tool. Several binary codes can be included in the same simulation to validate distributed real-time applications. The solutions adopted for the tool make it possible to use it to validate specifications, so that the verification of properties could be performed very early in the application life-cycle. The results of the simulation can be managed either online, at simulation time, or off-line after the end of the simulation
Keywords :
computerised control; discrete event simulation; distributed processing; fission reactor operation; fission reactor safety; nuclear engineering computing; program testing; program verification; real-time systems; safety-critical software; software tools; CLAIRE; application life-cycle; binary codes; code environment modelling; code validation; control systems; distributed real-time applications; event-driven simulation tool; information exchange; information systems; nuclear plants; safety properties verification; software simulation; software testing; Analytical models; Application software; Binary codes; Control systems; Discrete event simulation; Event detection; Protection; Safety; Software safety; Software testing; Software tools; System testing;
Conference_Titel :
Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-6665-X
DOI :
10.1109/ISSRE.1994.341384