Author:
Jean-Louis Boulanger
Affiliation:
Universite de technologie de compiegne, Laboratoire Heudiasyc centre de recherche de royallieu, France
Keyword(s):
Formalization, Level Crossing, Risk analysis, System Requirements, Traceability, UML.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Formalisms, Languages and Notations
;
Requirements Analysis And Management
;
Software Engineering
;
Systems Engineering
Abstract:
In the European railways standards (CENELEC EN 50126, (1999); EN 50128, (2001); EN 50129, (2000)), it is required to obtain evidence of safety in system requirements specifications. In the railway domain, safety requirements are obviously severe. It is very important to keep requirements traceability during software development process even if the different used models are informal, semi formal or formal. This study is integrated into a larger one that aims at linking an informal approach (UML notation) to a formal (B method) one.