A METHOD TO MODEL GUIDELINES FOR DEVELOPING RAILWAY SAFETY-CRITICAL SYSTEMS WITH UML

D. D. Okalas Ossami, J.-M. Mota, L. Thiry, J.-M. Perronne, J.-L. Boulanger, G. Mariano

Abstract

There are today an abundance of standards concerned with the development and certification of railway safety- critical systems. They recommend the use of different techniques to describe system requirements and to pursue safety strategies. One problem shared by standards is that they only prescribe what should be done or use but they provide no guidance on how recommendations can be fulfilled. The purpose of this paper is to investigate a methodology to model guidelines for building certifiable UML models that cater for the needs and recommendations of railway standards. The paper will explore some of the major tasks that are typical of development guidelines and will illustrate practical steps for achieving these tasks.

References

  1. Abrial, J. (1996). The B Book: Assigning Programs to Meanings. Cambridge University Press. ISBN 0-521- 49619-5.
  2. Beeck, M. V. D. (2001). Formalization of UML Statecharts. In UML'01, volume 2185, pages 406-421. Springer.
  3. CENELEC (1994). EN 50129: Railway applications - Safety related electronic systems for signaling.
  4. CENELEC (1996a). EN 50159.1: Railway applications - Communication, signaling and processing systems. Part I: Safety related communication in closed transmission systems.
  5. CENELEC (1996b). EN 50159.2: Railway applications - Communication, signaling and processing systems. Part I: Safety related communication in open transmission systems.
  6. CENELEC (1999). EN 50126: Railway applications - The specification and demonstration of dependability, reliability, availability, maintainability and safety (RAMS).
  7. CENELEC (2001). EN 50128: Railway applications - Software for railway control and protection systems.
  8. ClearSy (2002). B reference manual V1.8.5.
  9. Jacobson, I. (1992). Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley. ISBN 0201544350.
  10. Jansen, L. and Schnieder, E. (2000). Traffic control system case study: Problem description and a note on domain-based software specification. Technical report, Colorado State University.
  11. Laleau, R. and Polack, F. (2001). A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. In Advanced Information Systems Engineering, CAiSE'01, volume 2068 of LNCS, pages 402- 416. Springer.
  12. Magee, J. and Kramer, J. (2006). Concurrency - State Models and Java Programming. Wiley.
  13. Marcano, R. and Levy, N. (2002). Using B formal specifications for analysis and verification of UML/OCL models. In Workshop on Consistency Problems in UMLbased Software Development, pages 91-105.
  14. Meyer, E. and Souquières, J. (1999). A systematic approach to transform OMT diagrams to a B specification. World Congress on Formal Methods in the Development of Computing Systems, FM'99.
  15. Okalas Ossami, D., Mota, J.-M., Thiry, L., Perronne, J.- M., Boulanger, J.-L., and Mariano, G. (2007). A method to model guidelines for developing railway safety-critical systems with UML. In the 7th International SPICE Conference (Software Process Improvement and Capability dEtermination), Seoul (Korea).
  16. Perronne, J.-M., Rasse, A., Thiry, L., and Thirion, B. (2006). A modeling framework for complex behavior modeling and integration. International Journal on Computer Science and Information Systems, IADIS, 1.
  17. Rasse, A., Perronne, J.-M., Muller, P.-A., and Thirion, B. (2005). Using process algebra to validate behavioral aspects of object-oriented models. In Model design and Validation Workshop, MODEVA'05, LNCS. Springer.
  18. Snook, C., Butler, M., and Oliver, I. (2003). Towards a UML profile for UML-B. Technical report, DSSETR-2003-3, University of Southampton.
  19. Yeung, W., Leung, K., Wang, J., and Dong, W. (2005). Improvements towards formalizing UML state diagrams in CSP. In Asia-Pacific Software Engineering Conference, APSEC'05. IEEE Computer Society.
Download


Paper Citation


in Harvard Style

D. Okalas Ossami D., Mota J., Thiry L., Perronne J., Boulanger J. and Mariano G. (2007). A METHOD TO MODEL GUIDELINES FOR DEVELOPING RAILWAY SAFETY-CRITICAL SYSTEMS WITH UML . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-06-7, pages 236-243. DOI: 10.5220/0001338302360243


in Bibtex Style

@conference{icsoft07,
author={D. D. Okalas Ossami and J.-M. Mota and L. Thiry and J.-M. Perronne and J.-L. Boulanger and G. Mariano},
title={A METHOD TO MODEL GUIDELINES FOR DEVELOPING RAILWAY SAFETY-CRITICAL SYSTEMS WITH UML},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2007},
pages={236-243},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001338302360243},
isbn={978-989-8111-06-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - A METHOD TO MODEL GUIDELINES FOR DEVELOPING RAILWAY SAFETY-CRITICAL SYSTEMS WITH UML
SN - 978-989-8111-06-7
AU - D. Okalas Ossami D.
AU - Mota J.
AU - Thiry L.
AU - Perronne J.
AU - Boulanger J.
AU - Mariano G.
PY - 2007
SP - 236
EP - 243
DO - 10.5220/0001338302360243