Economic Challenges to Railway Innovations: Model-Based Analysis of Optimized Market Diffusion of Satellite-Based Localization Systems for Train Control Systems

2014 ◽  
Vol 3 (1) ◽  
pp. 133-145
Author(s):  
R.S. Hosse ◽  
K. Burmeister ◽  
E. Schnieder
Keyword(s):  
Control Systems ◽  
Train Control ◽  
Model Based ◽  
Market Diffusion ◽  
Model Based Analysis ◽  
Localization Systems

scholarly journals Hybrid Online Model-Based Testing for Communication-Based Train Control Systems

2018 ◽  
Vol 10 (3) ◽  
pp. 35-47 ◽  
Author(s):  
Yuemiao Wang ◽  
Lei Chen ◽  
David Kirkwood ◽  
Peng Fu ◽  
Jidong Lv ◽  
...  
Keyword(s):  
Control Systems ◽  
Train Control ◽  
Model Based ◽  
Model Based Testing

Automatic timed automata extraction from ladder programs for model-based analysis of control systems

2010 ◽  
Author(s):  
Kezia de Vasconcelos Oliveira ◽  
Leandro Dias da Silva ◽  
Angelo Perkusich ◽  
Antonio Marcus Nogueira Lima ◽  
Kyller Gorgonio
Keyword(s):  
Control Systems ◽  
Timed Automata ◽  
Model Based ◽  
Model Based Analysis

Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems

2011 ◽  
pp. 305-328 ◽  
Author(s):  
Kézia Oliveira ◽  
Kyller Gorgônio ◽  
Angelo Perkusich ◽  
Antônio Lima ◽  
Leandro Dias da Silva
Keyword(s):  
Product Quality ◽  
Control Systems ◽  
Oil And Gas ◽  
Timed Automata ◽  
Critical Systems ◽  
Binary Logic ◽  
Model Based ◽  
Testing Tool ◽  
Gas Plants ◽  
Model Based Analysis

Control Systems are used to produce a certain result with little or no human supervision. The principal aim of such systems is to ensure that resources are used efficiently and that the desired product quality is achieved. Moreover for critical systems such as oil and gas plants, it is important to guarantee the safety and dependability of the operation. Therefore, it is necessary to verify whether what is running in the device is in accordance with what was defined in the specification documents. The goal of this chapter is to present a method that automatically generates the timed automata models from the specification ISA 5.2 Binary Logic Diagrams, and the implementation Ladder programs, for model-based analysis, in order to increase the confidence in the behavior of critical Control Systems. This approach is based on the use of the Uppaal tool and the Uppaal-TRON testing tool.

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

2012 ◽  
pp. 22-52 ◽  
Author(s):  
Jan Peleska ◽  
Johannes Feuser ◽  
Anne E. Haxthausen
Keyword(s):  
Control Systems ◽  
Code Generation ◽  
Research Results ◽  
Model Driven ◽  
Threat Analysis ◽  
Domain Specific ◽  
Train Control ◽  
Model Based ◽  
Novel Approach ◽  
Domain Specific Modeling

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.

Sign in / Sign up

Export Citation Format

Share Document