BRAIL – SAFETY REQUIREMENT ANALYSIS

Jean-Louis Boulanger

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.

References

  1. Abrial, JR. (1996). ”The B Book - Assigning Programs to Meanings”. Cambridge University Press, August 1996.
  2. Jean-Louis Boulanger, Philippe Bon et Georges Mariano (2004) ”From UML to B - a level crossing case study”, COMPRAIL 2004, 17-19 May 2004, Dresden Germany.
  3. EN 50126, (1999).”Railways Application - The specification and demonstration of Reliabilty, Availibility, Maintenabiliy and Safety (RAMS)”, 1999.
  4. EN 50128, (2001).”Railways Application - Communication, signaling and processing systems - Software for railway control and protection systems”, 2001.
  5. prEN 50129, (2000).”Railways Application - Safety related electronic systems for signaling”, 2000.
  6. Einer, S.; Schrom, H.; Slovák, R.; Schnieder, E. (2002) ”A railway demonstrator model for experimental investigation of integrated specification techniques”, In: Ehrig, H.; Grosse-Rhode, M., Hrsg.: ETAPS 2002 - Integration of Software Specification Techniques, S. 84-93, TU Berlin, DFG, Grenoble 2002.
  7. Jansen, L. and Schneider, E. (2000) « Traffic Control Systems Case Study: Problem Description and a Note on Domain-Based Software Specification », Institute of Control and Automation Engineering, Technical UNIVERSITY of Braunschweig, 2000.
Download


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