Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

  • Cyrille Artho
  • Peter Csaba Ölveczky
Conference proceedings FTSCS 2015

Part of the Communications in Computer and Information Science book series (CCIS, volume 596)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Paper

    1. Front Matter
      Pages 1-1
  3. Timed Systems

    1. Front Matter
      Pages 35-35
    2. Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
      Pages 69-84
  4. Railway Systems

    1. Front Matter
      Pages 85-85
    2. Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
      Pages 103-120
    3. Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone et al.
      Pages 121-136
  5. Fault Tolerance

    1. Front Matter
      Pages 137-137
    2. Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
      Pages 172-186
  6. Automotive Systems

    1. Front Matter
      Pages 187-187
    2. Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer
      Pages 189-205
    3. Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
      Pages 206-221
  7. Software and Systems Analysis

    1. Front Matter
      Pages 223-223
    2. Pablo Gonzalez-de-Aledo, Pablo Sanchez, Ralf Huuck
      Pages 225-240
    3. Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki
      Pages 241-256
  8. Tools

    1. Front Matter
      Pages 257-257
    2. Axel Legay, Louis-Marie Traonouez
      Pages 259-264
    3. Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan
      Pages 265-269
  9. Back Matter
    Pages 271-271

About these proceedings


This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.

The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. 


Automata theory Automotive systems Certification Fault tolerance Formal languages Formal methods Industrial applications Model checking Modeling Railway systems Safety critical systems Semi-formal methods Software analysis Software engineering Software system models Software verification Timed systems

Editors and affiliations

  • Cyrille Artho
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.AIST IkedaIkeda,OsakaJapan
  2. 2.University of OsloOsloNorway

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-29509-1
  • Online ISBN 978-3-319-29510-7
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site