Skip to main content
SpringerLink
Log in

FORMS/FORMAT 2010

Formal Methods for Automation and Safety in Railway and Automotive Systems

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Eckehard Schnieder

    1. FB 7 Maschinenbau, LS Regelungs- und, TU Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Geza Tarnai

    1. , Department of Control and Transport, Budapest University of Technology and Ec, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • The articles describe the latest development in the field of formal methods and description means.
  • Authors from universities, from industries R&D departments and practitioners come together to share their ideas.
  • Written by experts.
  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  3. 1 st Day Sessions

    1. Front Matter

      Pages 43-43
      Download chapter PDF

  4. 1st Day Sessions

    1. Safety and Security in Transportation Process - Not Just Technical Issue

      • Margarita Peltekova
      Pages 45-53

    2. The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation

      • Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto
      Pages 55-63

    3. Complementarity between Axle Counters and Tracks Circuits

      • Marc Antoni
      Pages 65-76

    4. Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System ★

      • Karol Rástočny, Juraj Ilavský
      Pages 77-85

    5. Modeling Computer based, microscopic Dispatching Systems

      • Alexander Kuckelberg, Ekkehard Wendler
      Pages 87-95

    6. A Method of Evaluating Railway Signalling System Based on RAMS Concept

      • Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe
      Pages 97-105

    7. Model Checking Interlocking Control Tables

      • Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
      Pages 107-115

    8. Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller

      • Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto
      Pages 117-124

    9. Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System★

      • Joffrey Clarhaut, Etienne Lemaire, El Miloudi El Koursi
      Pages 125-133

    10. Estimation of Safety Requirements for Wayside Hot Box Detection Systems

      • Sonja-Lara Bepperling, Andreas Schöbel
      Pages 135-143

    11. Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie

      • Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
      Pages 145-153

    12. Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles

      • Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann
      Pages 155-164

  5. 2 nd Day Sessions

    1. Front Matter

      Pages 165-165
      Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • FB 7 Maschinenbau, LS Regelungs- und, TU Braunschweig, Braunschweig, Germany

    Eckehard Schnieder

  • , Department of Control and Transport, Budapest University of Technology and Ec, Budapest, Hungary

    Geza Tarnai

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation