工业联锁验证的形式化方法

2018 International Conference on Intelligent Rail Transportation (ICIRT) Pub Date : 2018-12-01 DOI:10.1109/ICIRT.2018.8641579

S. Chadwick, Phillip James, M. Roggenbach, Tom Wetner

{"title":"工业联锁验证的形式化方法","authors":"S. Chadwick, Phillip James, M. Roggenbach, Tom Wetner","doi":"10.1109/ICIRT.2018.8641579","DOIUrl":null,"url":null,"abstract":"In this paper, we present an overview of research jointly undertaken by the Swansea Railway Verification Group towards verification techniques for automatically checking safety for train control systems. We present a comprehensive modelling of safety principles in first order logic. We conclude by applying verification methods developed by Swansea Railway Verification Group in order to check the modelled safety principles against a real world railway interlocking system.","PeriodicalId":202415,"journal":{"name":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Formal Methods for Industrial Interlocking Verification\",\"authors\":\"S. Chadwick, Phillip James, M. Roggenbach, Tom Wetner\",\"doi\":\"10.1109/ICIRT.2018.8641579\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we present an overview of research jointly undertaken by the Swansea Railway Verification Group towards verification techniques for automatically checking safety for train control systems. We present a comprehensive modelling of safety principles in first order logic. We conclude by applying verification methods developed by Swansea Railway Verification Group in order to check the modelled safety principles against a real world railway interlocking system.\",\"PeriodicalId\":202415,\"journal\":{\"name\":\"2018 International Conference on Intelligent Rail Transportation (ICIRT)\",\"volume\":\"89 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 International Conference on Intelligent Rail Transportation (ICIRT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICIRT.2018.8641579\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 International Conference on Intelligent Rail Transportation (ICIRT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIRT.2018.8641579","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

在本文中，我们介绍了由斯旺西铁路验证组共同承担的研究概况，以自动检查列车控制系统的安全性。我们提出了一阶逻辑安全原理的综合建模。最后，我们通过应用由斯旺西铁路验证组开发的验证方法，以便针对现实世界的铁路联锁系统检查建模的安全原则。

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

查看原文本刊更多论文

Formal Methods for Industrial Interlocking Verification

In this paper, we present an overview of research jointly undertaken by the Swansea Railway Verification Group towards verification techniques for automatically checking safety for train control systems. We present a comprehensive modelling of safety principles in first order logic. We conclude by applying verification methods developed by Swansea Railway Verification Group in order to check the modelled safety principles against a real world railway interlocking system.

求助全文

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

来源期刊

2018 International Conference on Intelligent Rail Transportation (ICIRT)

自引率

0.00%

发文量