kirancodes.me
To Proof Maintenance & Beyond!
ASE 2009

Supporting Requirements Validation: The EuRailCheck Tool

Roberto Cavada, Alessandro Cimatti, Alessandro Mariotti, Cristian Mattarei, Andrea Micheli, Sergio Mover, Marco Pensallorto, Marco Roveri, Angelo Susi, Stefano Tonetta

DOI 10.1109/ase.2009.49dblp

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.

BibTeX
@inproceedings{Cavada-al:ASE09,
  author    = {Roberto Cavada and
               Alessandro Cimatti and
               Alessandro Mariotti and
               Cristian Mattarei and
               Andrea Micheli and
               Sergio Mover and
               Marco Pensallorto and
               Marco Roveri and
               Angelo Susi and
               Stefano Tonetta},
  title     = {Supporting Requirements Validation: The {EuRailCheck} Tool},
  booktitle = {ASE},
  pages     = {665--667},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
}

Related papers