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

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

引用次数: 0

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.

查看原文本刊更多论文

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

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

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

求助全文

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

来源期刊

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.