loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: D. D. Okalas Ossami 1 ; J.-M. Mota 1 ; L. Thiry 2 ; J.-M. Perronne 2 ; J.-L. Boulanger 1 and G. Mariano 3

Affiliations: 1 HEUDIASYC / Université de Technologie de Compiègne, Centre de recherches de Royallieu, France ; 2 MIPS / Université de Haute Alsace, ENSISA LUMIERE, France ; 3 ESTAS / Institut National de Recherche sur les Transports et leur Sécurité, France

ISBN: 978-989-8111-06-7

Keyword(s): UML, safety-critical development, Certification, Development methodologies.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Enterprise Software Technologies ; Information Systems Analysis and Specification ; Reliable Software Technologies ; Requirements Analysis And Management ; Software Engineering

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.227.233.55

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
D. Okalas Ossami D.; Mota J.; Thiry L.; Perronne J.; Boulanger J.; Mariano G. and (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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.