2009 IEEE/ACM International Conference on Automated Software Engineering (2009)
Auckland, New Zealand
Nov. 16, 2009 to Nov. 20, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2009.49
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.
EuRailCheck, requirements validation, formal methods, ETCS
M. Pensallorto et al., "Supporting Requirements Validation: The EuRailCheck Tool," 2009 IEEE/ACM International Conference on Automated Software Engineering(ASE), Auckland, New Zealand, 2009, pp. 665-667.