BRAIL – SAFETY REQUIREMENT ANALYSIS

Jean-Louis Boulanger

2005

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.

Paper Citation

in Harvard Style

Boulanger J. (2005). BRAIL – SAFETY REQUIREMENT ANALYSIS . In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-19-8, pages 108-111. DOI: 10.5220/0002507801080111

in Bibtex Style

@conference{iceis05,
author={Jean-Louis Boulanger},
title={BRAIL – SAFETY REQUIREMENT ANALYSIS},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2005},
pages={108-111},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002507801080111},
isbn={972-8865-19-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - BRAIL – SAFETY REQUIREMENT ANALYSIS
SN - 972-8865-19-8
AU - Boulanger J.
PY - 2005
SP - 108
EP - 111
DO - 10.5220/0002507801080111