Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques for Safety-Critical Systems

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Cyrille Artho

    1. AIST Ikeda, Ikeda,Osaka, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Csaba Ölveczky

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: FTSCS 2015.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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 (16 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Variant-Based Satisfiability in Initial Algebras

      • José Meseguer
      Pages 3-34

  3. Timed Systems

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. An Executable Semantics of Clock Constraint Specification Language and Its Applications

      • Min Zhang, Frédéric Mallet
      Pages 37-51

    3. What’s Decidable About Parametric Timed Automata?

      • Étienne André
      Pages 52-68

    4. Compositional Predictability Analysis of Mixed Critical Real Time Systems

      • Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim
      Pages 69-84

  4. Railway Systems

    1. Front Matter

      Pages 85-85
      Download chapter PDF

    2. Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge

      • Stefan Gruner, Apurva Kumar, Tom Maibaum
      Pages 87-102

    3. Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude

      • Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger
      Pages 103-120

    4. Modeling Railway Control Systems in Promela

      • 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
      Download chapter PDF

    2. A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems

      • Klaus Becker, Sebastian Voss
      Pages 139-154

    3. Probabilistic Analysis of a Calculus for Wireless Sensor Networks

      • Xi Wu, Huibiao Zhu
      Pages 155-171

    4. Leveraging Abstraction to Establish Out-of-Nominal Safety Properties

      • Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette
      Pages 172-186

  6. Automotive Systems

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications

      • Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer
      Pages 189-205

    3. Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns

      • 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
      Download chapter PDF

    2. An Approach to Static-Dynamic Software Analysis

      • Pablo Gonzalez-de-Aledo, Pablo Sanchez, Ralf Huuck
      Pages 225-240
Back to top

Other volumes

  1. Formal Techniques for Safety-Critical Systems

Keywords

About this book

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. 

Editors and Affiliations

  • AIST Ikeda, Ikeda,Osaka, Japan

    Cyrille Artho

  • University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation