Use cases as a semi-formal way of description of the ETCS functional behaviour

Abstract

The contribution presents methodology of functional requirements specification of the system ERTMS/ETCS. This methodology is based on Use Cases of Unified Modelling Language. In the first part there is a brief introduction to Use Cases - their description, aim and structure. Next there is a description of particular parts of Use Cases, their aim, qualities and their mutual relationships with respecting solved problem. The following part is dedicated to relationships between particular Use Cases and their hierarchical arrangement. There are also mentioned the relationships to the following steps of the functional requirements specification and to verification and validation activities in the contribution. Also Use Cases management problem is presented.