多图是:第二部分。验证数字孪生在欧洲列车控制系统中的应用

IF 0.5 Q4 TRANSPORTATION SCIENCE & TECHNOLOGY

Transport Problems Pub Date : 2023-09-30 DOI:10.20858/tp.2023.18.3.01

Andrzej KOCHAN, Piotr FOLĘGA, Gintautas BUREIKA, Remigijus SKIRKUS

{"title":"多图是:第二部分。验证数字孪生在欧洲列车控制系统中的应用","authors":"Andrzej KOCHAN, Piotr FOLĘGA, Gintautas BUREIKA, Remigijus SKIRKUS","doi":"10.20858/tp.2023.18.3.01","DOIUrl":null,"url":null,"abstract":"The final model for rail transportation is the introduction of full digitalization to support communication and transport services, which will be available to the public in the future. The process of digitalization is based on models that reproduce the real physical structures present in the transport network. Due to the high complexity of the structure and its mapping, it is necessary to find methods that automatically verify the proposed created model. This approach supports manual activities that, at this moment, are not sufficient. Automatization’s description requires a formal approach. Such a description has been developed as part of a research project, “The Digital Railway. The digital twin of the ETCS application. Virtual prototyping and simulation of operational scenarios.” In this paper, a formal model of the ETCS application has been proposed, and a formal approach to its verification is described.","PeriodicalId":45193,"journal":{"name":"Transport Problems","volume":"49 1","pages":"0"},"PeriodicalIF":0.5000,"publicationDate":"2023-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"MULTIGRAPH IS: Part 2. VERIFICATION OF THE DIGITAL TWIN OF THE EUROPEAN TRAIN CONTROL SYSTEM APPLICATION\",\"authors\":\"Andrzej KOCHAN, Piotr FOLĘGA, Gintautas BUREIKA, Remigijus SKIRKUS\",\"doi\":\"10.20858/tp.2023.18.3.01\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The final model for rail transportation is the introduction of full digitalization to support communication and transport services, which will be available to the public in the future. The process of digitalization is based on models that reproduce the real physical structures present in the transport network. Due to the high complexity of the structure and its mapping, it is necessary to find methods that automatically verify the proposed created model. This approach supports manual activities that, at this moment, are not sufficient. Automatization’s description requires a formal approach. Such a description has been developed as part of a research project, “The Digital Railway. The digital twin of the ETCS application. Virtual prototyping and simulation of operational scenarios.” In this paper, a formal model of the ETCS application has been proposed, and a formal approach to its verification is described.\",\"PeriodicalId\":45193,\"journal\":{\"name\":\"Transport Problems\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2023-09-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Transport Problems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.20858/tp.2023.18.3.01\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"TRANSPORTATION SCIENCE & TECHNOLOGY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transport Problems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.20858/tp.2023.18.3.01","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"TRANSPORTATION SCIENCE & TECHNOLOGY","Score":null,"Total":0}

引用次数: 0

摘要

铁路运输的最后一种模式是引入全面数字化，以支持通信和运输服务，这些服务将在未来向公众开放。数字化的过程是基于再现交通网络中存在的真实物理结构的模型。由于结构及其映射的高度复杂性，有必要找到自动验证所建议创建的模型的方法。这种方法支持目前还不够的手工活动。自动化的描述需要一种正式的方法。这样的描述是作为“数字铁路”研究项目的一部分而发展起来的。ETCS应用的数字孪生。虚拟样机和作战场景模拟。”本文提出了ETCS应用的形式化模型，并描述了其验证的形式化方法。

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

查看原文本刊更多论文

MULTIGRAPH IS: Part 2. VERIFICATION OF THE DIGITAL TWIN OF THE EUROPEAN TRAIN CONTROL SYSTEM APPLICATION

The final model for rail transportation is the introduction of full digitalization to support communication and transport services, which will be available to the public in the future. The process of digitalization is based on models that reproduce the real physical structures present in the transport network. Due to the high complexity of the structure and its mapping, it is necessary to find methods that automatically verify the proposed created model. This approach supports manual activities that, at this moment, are not sufficient. Automatization’s description requires a formal approach. Such a description has been developed as part of a research project, “The Digital Railway. The digital twin of the ETCS application. Virtual prototyping and simulation of operational scenarios.” In this paper, a formal model of the ETCS application has been proposed, and a formal approach to its verification is described.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Transport Problems TRANSPORTATION SCIENCE & TECHNOLOGY-

CiteScore

1.90

自引率

14.30%

发文量

审稿时长

48 weeks

期刊介绍： Journal Transport Problems is a peer-reviewed open-access scientific journal, owned by Silesian University of Technology and has more than 10 years of experience. The editorial staff includes mainly employees of the Faculty of Transport. Editorial Board performs the functions of current work related to the publication of the next issues of the journal. The International Programming Council coordinates the long-term editorial policy the journal. The Council consists of leading scientists of the world, who deal with the problems of transport. This Journal is a source of information and research results in the transportation and communications science: transport research, transport technology, transport economics, transport logistics, transport law.