CLAIRE : an Event-Driven Simulation Tool for Testing Software J. Raguideau D. Schoen Direction of Advandced Technologies LET1 DEIN CEA F9 1 19 1 Gif-sur-Yvette Cedex
Henry J. Boulc ' h · 1994
CLAIRE is a tool developed at CEA, the French research institute in nuclear area, for testing softwares involved in information and control systems of nuclear plants. The tool is based on a purely software simulation: the environment of the code is modelised and exchanges, at simulation time, information with the code under validation. Verijcation 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 specijcations, so that verijcation of properties could be performed very early in the application life-cycle. The results of the simulation can be managed either on-line, at simulation time, or off-line after the end of the simulation.