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
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;
Conference_Titel :
Requirements Engineering Conference, 2003. Proceedings. 11th IEEE International
Print_ISBN :
0-7695-1980-6
DOI :
10.1109/ICRE.2003.1232781