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}
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.
期刊介绍：
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
