DocumentCode
2176264
Title
CLAIRE: an event-driven simulation tool for test and validation of software programs
Author
Carloganu, Adriana ; Raguideau, Jacques
Author_Institution
DTSI/SLA, CEA Saclay, Gif Sur Yvette, France
fYear
2002
fDate
2002
Firstpage
538
Abstract
Malfunctions of systems in domains such as medicine, avionics, traffic control, defense and nuclear applications can cause human injuries. Test and validation of such systems is a difficult task, because many situations cannot be safely reproduced. Simulation makes possible to assess the correctness of a safety-critical system, even in dangerous situations. This paper presents CLAIRE, a purely software simulation tool with graphic facilities for system modelling, designed for test, validation and non-intrusive dynamic analysis of real time applications.
Keywords
discrete event simulation; program testing; program verification; CLAIRE; event-driven simulation; nonintrusive dynamic analysis; real time applications; software simulation tool; system modelling; test; validation; Aerospace electronics; Application software; Discrete event simulation; Humans; Injuries; Medical simulation; Software testing; Software tools; System testing; Traffic control;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on
Print_ISBN
0-7695-1101-5
Type
conf
DOI
10.1109/DSN.2002.1028954
Filename
1028954
Link To Document