The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems

Publication: Research - peer-reviewBook chapter – Annual report year: 2012

View graph of relations

A novel approach to managing development, verification, and validation artifacts for the European Train Control System as open, publicly available items is analyzed and discussed with respect to its implications on system safety, security, and certifiability. After introducing this so-called model-driven openETCS approach, a threat analysis is performed, identifying both safety and security hazards that may be common to all model-based development paradigms for safety-critical railway control systems, or specific to the openETCS approach. In the subsequent sections state-of-the-art methods suitable to counter these threats are reviewed, and novel promising research results are described. These research results comprise domain-specific modeling, model-based code generation in combination with automated object code verification and explicit utilization of virtual machines to ensure containment of security hazards.
Original languageEnglish
Title of host publicationRailway Safety, Reliability and Security: Technologies and System Engineering
Number of pages31
PublisherIGI global
Publication date2012
Pages22-52
Chapter2
ISBN (print)9781466616431
ISBN (electronic)9781466616448
DOIs
StatePublished - 2012
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 51145979