Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

  • Cyrille Artho
  • Peter Csaba Ölveczky
Conference proceedings FTSCS 2016
Part of the Communications in Computer and Information Science book series (CCIS, volume 694)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Specification and Verification

    1. Front Matter
      Pages 1-1
    2. Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
      Pages 3-19
  3. Automotive and Railway Systems

    1. Front Matter
      Pages 37-37
    2. Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
      Pages 39-54
    3. Eduard Kamburjan, Reiner Hähnle
      Pages 55-71
  4. Circuits and Cyber-Physical Systems

    1. Front Matter
      Pages 73-73
    2. Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan
      Pages 75-92
    3. Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid
      Pages 93-108
  5. Parametrized Verification

    1. Front Matter
      Pages 127-127
    2. Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime et al.
      Pages 129-144
  6. Back Matter
    Pages 161-161

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Keywords

certification cyber-physical systems fault tolerance formal languages formal methods industrial applications model checking modeling railway systems real-time systems safety critical systems semi-formal methods software analysis software engineering specification verification

Editors and affiliations

  • Cyrille Artho
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.KTH Royal Institute of Technology StockholmSweden
  2. 2.Dept of InformaticsUniversity of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-53946-1
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-53945-4
  • Online ISBN 978-3-319-53946-1
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • About this book