Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.
Author(s): Ralf Schweinsberg (auth.), Eckehard Schnieder, Geza Tarnai (eds.)
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 257
Tags: Quality Control, Reliability, Safety and Risk;Automotive Engineering;Simulation and Modeling;Complexity
Front Matter....Pages i-xi
Front Matter....Pages 1-1
Achieving Europe-wide safety through technical harmonization....Pages 3-4
“Open Proof” for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security....Pages 5-38
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway....Pages 39-39
Towards Open Modular Critical Systems ★ ....Pages 41-42
Front Matter....Pages 43-43
Safety and Security in Transportation Process - Not Just Technical Issue....Pages 45-53
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation....Pages 55-63
Complementarity between Axle Counters and Tracks Circuits....Pages 65-76
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System ★ ....Pages 77-85
Modeling Computer based, microscopic Dispatching Systems....Pages 87-95
A Method of Evaluating Railway Signalling System Based on RAMS Concept....Pages 97-105
Model Checking Interlocking Control Tables....Pages 107-115
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller....Pages 117-124
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System ★ ....Pages 125-133
Estimation of Safety Requirements for Wayside Hot Box Detection Systems....Pages 135-143
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie....Pages 145-153
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles....Pages 155-164
Front Matter....Pages 165-165
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment....Pages 167-174
Designing a semi-quantitative risk graph....Pages 175-183
On the Justification of a Risk Matrix for Technical Systems in European Railways....Pages 185-193
Using Guided Simulation to Assess Driver Assistance Systems ★ ....Pages 195-205
Front Matter....Pages 165-165
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge....Pages 207-215
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems....Pages 217-225
Model-based Integration Framework for Development and Testing Tool-chains ★ ....Pages 227-235
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL ★ ....Pages 237-245
Automatic Fault Localization for Programmable Logic Controllers ★ ....Pages 247-256
Back Matter....Pages 257-257
