一个用于铁路安全规则形式验证的CPN/B方法转换框架
A CPN/B method transformation framework for railway safety rules formal validation
作者:Zakaryae Boudi;Rahma Ben-Ayed;El Miloudi El Koursi;Simon Collart-Dutilleul;Thomas Nolasco;Mohamed Haloua;
关键词:Colored Petri nets,B method,Transformation methodology,Railway safety,ERTMS
DOI:https://doi.org/10.1007/s12544-017-0228-x
发表时间:2017年
- 文献详情
- 相似文献
摘要
本文提出了一种基于“CPN/B 方法”的铁路系统安全分析过程。通过欧洲铁路交通管理系统(ERTMS/ETCS)实现互操作性面临着困难,因为国家和欧洲运营规范的相互作用对铁路安全评估造成了困难。这些规范已经用几种形式化方法建模,这使得在不同形式化方法之间切换时极其难以保留所有要求。然而,这个对于铁路安全研究的有效进展至关重要的问题在文献中几乎未受到关注。在这方面,本文的目的是通过将 CPN 模型转换为 B 抽象机提供一种方法,以证明铁路系统的安全性。它旨在实现形式设计技术和分析工具的更强大组合,能够处理系统的真正复杂性,并自动证明安全性属性是明确的、一致的,并且不矛盾,考虑到工业铁路的背景。
Abstract
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.
-
Urban (UMaaS) and rural (RMaaS) mobility as a service (MaaS): practical insights from international practitioners and experts
引用量:0发表时间:2024年
-
How can on-street parking regulations affect traffic, safety, and the environment in a cooperative, connected, and automated era?
引用量:0发表时间:2024年
-
Actualizing sustainable transport: the interplay between public policy instruments and shared mobility providers’ business models
引用量:0发表时间:2024年
-
A scoping review on the conceptualisation and impacts of new mobility services
引用量:0发表时间:2024年
-
Why do we rely on cars? Car dependence assessment and dimensions from a systematic literature review
引用量:0发表时间:2024年
-
Ride2Rail: integrating ridesharing to increase the attractiveness of rail travel
引用量:0发表时间:2024年
-
Assessing the intention to uptake MaaS: the case of Randstad
引用量:0发表时间:2024年
-
Synchromodal transport re-planning: an agent-based simulation approach
引用量:0发表时间:2024年
-
A data-driven prioritisation framework to mitigate maintenance impact on passengers during metro line operation
引用量:0发表时间:2024年
-
Assessing potential sustainability benefits of micromobility: a new data driven approach
引用量:0发表时间:2024年