European Train Control System: A Case Study in Formal Verification

Abstract

Complex physical systems have several degrees of freedom. They only work correctly when their control parameters obey corresponding constraints. Based on the informal specification of the European Train Control System (ETCS), we design a controller for its cooperation protocol. For its free parameters, we successively identify constraints that are required… (More)
DOI: 10.1007/978-3-642-10373-5_13
View Slides

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

010202009201020112012201320142015201620172018
Citations per Year

116 Citations

Semantic Scholar estimates that this publication has 116 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics