DocumentCode :
2089357
Title :
FAUST: formal analysis using specification tools
Author :
Rifaut, A. ; Massonet, P. ; Molderez, J.-F. ; Ponsard, C. ; Stadnik, P. ; Van Lamsweerde, Axel ; Van Hung, Tran
fYear :
2003
fDate :
8-12 Sept. 2003
Firstpage :
350
Abstract :
Developing high quality requirements specifications is a necessity for a number of critical industrial systems. An integrated toolset, called FAUST, is proposed to assist in the production of such specifications based on the KAOS goal-driven methodology. The tool suite is designed to naturally extend the existing semiformal modeling framework and to allow formalizing only the relevant critical parts. Two tools from the toolset are presented. The requirements checker performs KAOS goal-level checks using existing model checking technology. The requirements animator produces domain-level animations hiding formality even further.
Keywords :
formal specification; formal verification; software tools; FAUST; KAOS goal-driven methodology; critical industrial system; model checking; requirements animator; requirements checker; requirements specification; semiformal modeling; Animation; Production;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Requirements Engineering Conference, 2003. Proceedings. 11th IEEE International
ISSN :
1090-705X
Print_ISBN :
0-7695-1980-6
Type :
conf
DOI :
10.1109/ICRE.2003.1232781
Filename :
1232781
Link To Document :
بازگشت