Supporting Requirements Validation: The EuRailCheck Tool

Authors:
Roberto Cavada;Alessandro Cimatti;Alessandro Mariotti;Cristian Mattarei;Andrea Micheli;Sergio Mover;Marco Pensallorto;Marco Roveri;Angelo Susi;Stefano Tonetta
Affiliations:
-;-;-;-;-;-;-;-;-;-
Venue:
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Year:
2009

Citing 0
Cited 3

OthelloPlay: a plug-in based tool for requirement formalization and validation

Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Towards a notion of unsatisfiable and unrealizable cores for LTL

Science of Computer Programming
Validation of requirements for hybrid systems: A formal approach

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

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.