HCPN Modeling for ERTMS Requirements Specification

2015 IEEE 16th International Symposium on High Assurance Systems Engineering Pub Date : 2015-01-08 DOI:10.1109/HASE.2015.11

Zakaryae Boudi, E. El-Koursi, S. C. Dutilleul

{"title":"HCPN Modeling for ERTMS Requirements Specification","authors":"Zakaryae Boudi, E. El-Koursi, S. C. Dutilleul","doi":"10.1109/HASE.2015.11","DOIUrl":null,"url":null,"abstract":"Ensuring railway interoperability in Europe implies that the functional specifications have a common understanding by all the stakeholders. One solution to guarantee that point is the formalization of the specification. Under the French project called \"PERFECT\", we aim to formalize railway specifications and validate various systems in order to determine, using software tools, the compliance between ERTMS and National railway requirements. The big challenge is to provide a user-friendly formalization with verification tools. In this paper, we present our preliminary exploration of the use of Hierarchical Colored Petri Net (HCPN) in modeling ERTMS/ETCS (European Rail Traffic Management System/European Train Control System) functional specifications. The purpose of this contribution is to point the benefits in using HCPNs, which are widely used among railway operators, for understanding the specification and analyzing system safety features. The present work focuses on modeling the functional terms of establishing a communication session between the on-board equipment and the Radio Block Center specified in the System Requirements Specification (SRS).","PeriodicalId":248645,"journal":{"name":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE 16th International Symposium on High Assurance Systems Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.2015.11","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

Abstract

Ensuring railway interoperability in Europe implies that the functional specifications have a common understanding by all the stakeholders. One solution to guarantee that point is the formalization of the specification. Under the French project called "PERFECT", we aim to formalize railway specifications and validate various systems in order to determine, using software tools, the compliance between ERTMS and National railway requirements. The big challenge is to provide a user-friendly formalization with verification tools. In this paper, we present our preliminary exploration of the use of Hierarchical Colored Petri Net (HCPN) in modeling ERTMS/ETCS (European Rail Traffic Management System/European Train Control System) functional specifications. The purpose of this contribution is to point the benefits in using HCPNs, which are widely used among railway operators, for understanding the specification and analyzing system safety features. The present work focuses on modeling the functional terms of establishing a communication session between the on-board equipment and the Radio Block Center specified in the System Requirements Specification (SRS).

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

面向ERTMS需求规范的HCPN建模

确保欧洲铁路的互操作性意味着所有利益相关者对功能规范有共同的理解。保证这一点的一个解决方案是规范的形式化。在名为“PERFECT”的法国项目中，我们的目标是将铁路规范正式化并验证各种系统，以便使用软件工具确定ERTMS与国家铁路要求之间的合规性。最大的挑战是提供一个用户友好的形式化的验证工具。在本文中，我们提出了使用层次彩色Petri网(HCPN)对ERTMS/ETCS(欧洲铁路交通管理系统/欧洲列车控制系统)功能规范建模的初步探索。这篇文章的目的是指出使用hcpn的好处，hcpn在铁路运营商中广泛使用，用于理解规范和分析系统安全特性。目前的工作重点是在系统需求规范(SRS)中指定的机载设备和无线电块中心之间建立通信会话的功能术语建模。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2015 IEEE 16th International Symposium on High Assurance Systems Engineering

自引率

0.00%

发文量