Abstract
Keywords:
Formalization, Level Crossing, Risk analysis, System Requirements, Traceability, UML.
Abstract:
In the European railways standards (CENELEC EN 50126 [4], EN 50128 [5], EN 50129 [6]), it is required to obtain evidence of safety in system requirements specifications. The focus of this paper is on the development of system requirements specifications with respect to fulfilling demands of European railways standards. In spite of progress carried out in software development, designing a complex system while respecting its safety requirements, remains very hard. Ambiguities and defects in system requirements specification may have consequences on the whole system development.