IRIS

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 first to analyze the requirements in natural language, categorizing and structuring them; second, to formalize the requirements into a subset of UML with a formal semantics, and enriched with static and temporal constraints; third, 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 almost thirty railway experts of different companies.

Supporting Requirements Validation: The EuRailCheck Tool / Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano. - (2009), pp. 665-667. (Intervento presentato al convegno ASE 2009 tenutosi a Auckland, New Zealand nel 16/11/2009 - 20/11/2009) [10.1109/ASE.2009.49].

Supporting Requirements Validation: The EuRailCheck Tool

Cavada, Roberto;Cimatti, Alessandro;Mattarei, Cristian;Micheli, Andrea;Mover, Sergio;Roveri, Marco;Susi, Angelo;Tonetta, Stefano
2009-01-01

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 first to analyze the requirements in natural language, categorizing and structuring them; second, to formalize the requirements into a subset of UML with a formal semantics, and enriched with static and temporal constraints; third, 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 almost thirty railway experts of different companies.
2009
Proceedings of 24th Int. Conference Automated Software Engineering
Auckland, New Zealand
IEEE Computer Society
9780769538914
2-s2.0-77952164737
WOS:000278137400075
Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Supporting Requirements Validation: The EuRailCheck Tool / Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano. - (2009), pp. 665-667. (Intervento presentato al convegno ASE 2009 tenutosi a Auckland, New Zealand nel 16/11/2009 - 20/11/2009) [10.1109/ASE.2009.49].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/258789
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 8
social impact