FORMS/FORMAT 2010

Formal Methods for Automation and Safety in Railway and Automotive Systems

  • Eckehard Schnieder
  • Geza Tarnai

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-14261-1
  • 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
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering