Book chapter
The Model-Driven openETCS Paradigm for Secure, Safe and Certifiable Train Control Systems
University of Bremen1
Department of Informatics and Mathematical Modeling, Technical University of Denmark2
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark3
Software Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark4
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.
Language: | English |
---|---|
Publisher: | IGI global |
Year: | 2012 |
Pages: | 22-52 |
ISBN: | 1280562137 , 1466616431 , 146661644X , 146661644x , 1621989445 , 9781280562136 , 9781466616431 , 9781466616448 and 9781621989448 |
Types: | Book chapter |
DOI: | 10.4018/978-1-4666-1643-1.ch002 |
ORCIDs: | Haxthausen, Anne Elisabeth |