@inproceedings{98f00da053bf41d08ac55991accfdecc,
title = "Supporting requirements validation: The EuRailCheck tool",
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.",
author = "R. Cavada and A. Cimatti and A. Mariotti and C. Mattarei and A. Micheli and S. Mover and M. Pensallorto and M. Roveri and A. Susi and S. Tonetta",
year = "2009",
month = dec,
day = "1",
doi = "10.1109/ASE.2009.49",
language = "English",
isbn = "9780769538914",
series = "ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering",
pages = "665--667",
booktitle = "ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering",
note = "24th IEEE/ACM International Conference on Automated Software Engineering, ASE2009 ; Conference date: 16-11-2009 Through 20-11-2009",
}