A CPN/B method transformation framework for railway safety rules formal validation
This paper presents a “CPN/B method” based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Management System (ERTMS/ETCS) is facing difficulties in railway safety assessment due to the interaction of national and European operating specifications. These specifications have been modeled using several formalisms, which makes it is extremely hard to preserve all requirements when switching between different formalisms. However, this problem, crucial for efficient progress in railway safety research, has received very little attention in the literature. In this respect, the purpose of this contribution is to provide a methodology to demonstrate safety in railway systems by converting CPN models, widely used in modeling, into B abstract machines. It aims at enabling a stronger combination of formal design techniques and analysis tools able to cope with the real complexity of systems and automatically prove that safety properties are unambiguous, consistent and not contradictory, considering an industrial railway context.
- Record URL:
-
Availability:
- Find a library where document is available. Order URL: http://worldcat.org/issn/18668887
-
Supplemental Notes:
- © 2017 Zakaryae Boudi et al.
-
Authors:
- Boudi, Zakaryae
- Ben-Ayed, Rahma
- El Koursi, El Miloudi
- Collart-Dutilleul, Simon
- Nolasco, Thomas
- Haloua, Mohamed
- Publication Date: 2017-6
Language
- English
Media Info
- Media Type: Digital/other
- Features: Figures; References; Tables;
- Pagination: 15p
-
Serial:
- European Transport Research Review
- Volume: 9
- Issue Number: 2
- Publisher: Springer Publishing
- ISSN: 1866-8887
- EISSN: 1867-0717
- Serial URL: http://link.springer.com/journal/12544
-
Publication flags:
Open Access (libre)
Subject/Index Terms
- TRT Terms: Evaluation and assessment; Railroad safety; Railroad traffic; Regulations; Specifications
- Identifier Terms: European Rail Traffic Management System
- Subject Areas: Railroads; Safety and Human Factors;
Filing Info
- Accession Number: 01630580
- Record Type: Publication
- Files: TRIS
- Created Date: Mar 28 2017 5:06PM