Title :
Supporting Requirements Validation: The EuRailCheck Tool
Author :
Cavada, R. ; Cimatti, A. ; Mariotti, A. ; Mattarei, C. ; Micheli, A. ; Mover, S. ; Pensallorto, M. ; Roveri, M. ; Susi, A. ; Tonetta, S.
Author_Institution :
Fondazione Bruno Kessler, IRST, Trento, Italy
Abstract :
We present the EuRailCheck tool, which supports the formalization and the validation of requirements, based on the use of formal methods. The tool allows the user to analyze the requirements in natural language and to categorize and structure them. It allows to formalize the requirements into a subset of UML enriched with static and temporal constraints for which we defined a formal semantics. Finally, the tool allows to apply model checking techniques specialized for the validation of formal requirements. The tool has been developed and validated within a project funded by the European Railway Agency for the validation of the European Train Control System specification. By now, the tool has been successfully used by about thirty railway experts of different companies.
Keywords :
Unified Modeling Language; formal verification; natural languages; railway engineering; railway industry; EuRailCheck tool; European railway agency; European train control system specification; UML; formal methods; formal semantics; model checking techniques; natural language; requirements validation; static constraints; temporal constraints; Application software; Control systems; Joining processes; Natural languages; Rail transportation; Railway engineering; Software engineering; Software tools; Unified modeling language; Usability; ETCS; EuRailCheck; formal methods; requirements validation;
Conference_Titel :
Automated Software Engineering, 2009. ASE '09. 24th IEEE/ACM International Conference on
Conference_Location :
Auckland
Print_ISBN :
978-1-4244-5259-0
Electronic_ISBN :
1938-4300
DOI :
10.1109/ASE.2009.49
