Formal Methods for Automation and Safety in Railway and Automotive Systems

  • Eckehard Schnieder
  • Geza Tarnai
Conference proceedings

Table of contents

  1. Front Matter
    Pages i-xi
  2. Invited Lectures

  3. 1 st Day Sessions

    1. Front Matter
      Pages 43-43
    2. Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto
      Pages 55-63
    3. Alexander Kuckelberg, Ekkehard Wendler
      Pages 87-95
    4. Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe
      Pages 97-105
    5. Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
      Pages 107-115
    6. Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto
      Pages 117-124
    7. Joffrey Clarhaut, Etienne Lemaire, El Miloudi El Koursi
      Pages 125-133
    8. Sonja-Lara Bepperling, Andreas Schöbel
      Pages 135-143
    9. Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann
      Pages 155-164
  4. 2 nd Day Sessions

    1. Front Matter
      Pages 165-165
    2. Birgit Milius
      Pages 175-183
    3. Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
      Pages 195-205
    4. Jan Gačnik, Henning Jost, Frank Köster, Martin Fränzle
      Pages 207-215
    5. Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
      Pages 237-245
    6. André Sülflow, Rolf Drechsler
      Pages 247-256
  5. Back Matter
    Pages 257-257

About these proceedings


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.


Automotive Formal Description Means Formal Methods Railway Requirements

Editors and affiliations

  • Eckehard Schnieder
    • 1
  • Geza Tarnai
    • 2
  1. 1.FB 7 Maschinenbau, LS Regelungs- undTU BraunschweigBraunschweigGermany
  2. 2., Department of Control and TransportBudapest University of Technology and EcBudapestHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Engineering
  • Print ISBN 978-3-642-14260-4
  • Online ISBN 978-3-642-14261-1
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences