铁道系统可靠性、安全性及保安专题导论

IF 1.4 4区计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Formal Aspects of Computing Pub Date : 2023-03-15 DOI:10.1145/3578524

S. Collart-Dutilleul, A. Haxthausen, T. Lecomte, J. Woodcock

{"title":"铁道系统可靠性、安全性及保安专题导论","authors":"S. Collart-Dutilleul, A. Haxthausen, T. Lecomte, J. Woodcock","doi":"10.1145/3578524","DOIUrl":null,"url":null,"abstract":"RSSRail is an International Conference on Reliability, Safety and Security of Railway Systems, which occurs every 18 months. During the pandemic, it was decided that a special journal collection of articles concerning formal approaches for railway safety and security would replace the physical event of RSSRail 2021. This special collection presents methods for efficient, formal development, and verification of railway signalling subsystems like points specified by the European EULYNX standard, speed controllers specified by ETCS, and interlocking systems. Furthermore, an original formal-based methodology using deep reinforcement learning is detailed.","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"35 1","pages":"1 - 2"},"PeriodicalIF":1.4000,"publicationDate":"2023-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems\",\"authors\":\"S. Collart-Dutilleul, A. Haxthausen, T. Lecomte, J. Woodcock\",\"doi\":\"10.1145/3578524\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"RSSRail is an International Conference on Reliability, Safety and Security of Railway Systems, which occurs every 18 months. During the pandemic, it was decided that a special journal collection of articles concerning formal approaches for railway safety and security would replace the physical event of RSSRail 2021. This special collection presents methods for efficient, formal development, and verification of railway signalling subsystems like points specified by the European EULYNX standard, speed controllers specified by ETCS, and interlocking systems. Furthermore, an original formal-based methodology using deep reinforcement learning is detailed.\",\"PeriodicalId\":50432,\"journal\":{\"name\":\"Formal Aspects of Computing\",\"volume\":\"35 1\",\"pages\":\"1 - 2\"},\"PeriodicalIF\":1.4000,\"publicationDate\":\"2023-03-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Formal Aspects of Computing\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1145/3578524\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Aspects of Computing","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1145/3578524","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 0

摘要

RSSRail是一个关于铁路系统可靠性、安全性和安全性的国际会议，每18个月举行一次。在大流行期间，决定以一份关于铁路安全和安保正式方法的特别期刊文集取代RSSRail 2021的实体活动。这个特别的集合介绍了高效、正式开发和验证铁路信号子系统的方法，如欧洲EULYNX标准规定的点、ETCS规定的速度控制器和联锁系统。此外，详细介绍了使用深度强化学习的原始基于形式的方法。

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

查看原文本刊更多论文

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems

RSSRail is an International Conference on Reliability, Safety and Security of Railway Systems, which occurs every 18 months. During the pandemic, it was decided that a special journal collection of articles concerning formal approaches for railway safety and security would replace the physical event of RSSRail 2021. This special collection presents methods for efficient, formal development, and verification of railway signalling subsystems like points specified by the European EULYNX standard, speed controllers specified by ETCS, and interlocking systems. Furthermore, an original formal-based methodology using deep reinforcement learning is detailed.

求助全文

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

来源期刊

Formal Aspects of Computing 工程技术-计算机：软件工程

CiteScore

3.30

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application. In particular, the scope of Formal Aspects of Computing includes: well-founded notations for the description of systems; verifiable design methods; elucidation of fundamental computational concepts; approaches to fault-tolerant design; theorem-proving support; state-exploration tools; formal underpinning of widely used notations and methods; formal approaches to requirements analysis.