Skip to main content
SpringerLink
Log in

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Cyrille Artho

    1. National Institute of Advanced Industrial Science and Technology, Amagasaki, 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 476)

Included in the following conference series:

Conference proceedings info: FTSCS 2014.

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. Experience with Rule-Based Analysis of Spacecraft Logs

    • Klaus Havelund, Rajeev Joshi
    Pages 1-16

  3. Safety, Dependability and Performance Analysis of Aerospace Systems

    • Thomas Noll
    Pages 17-31

  4. Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv

    • Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
    Pages 32-46

  5. Expression-Based Aliasing for OO–languages

    • Georgiana Caltais
    Pages 47-61

  6. Checking Integral Real-Time Automata for Extended Linear Duration Invariants

    • Changil Choe, Univan Ahn, Song Han
    Pages 62-75

  7. A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols

    • Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
    Pages 76-92

  8. Dynamic State Machines for Formalizing Railway Control System Specifications

    • Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone et al.
    Pages 93-109

  9. Checking the Conformance of a Promela Design to its Formal Specification in Event-B

    • Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
    Pages 110-126

  10. A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering

    • Jaco Jacobs, Andrew Simpson
    Pages 127-141

  11. Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems

    • Timon Kelter, Peter Marwedel
    Pages 142-158

  12. Key-Secrecy of PACE with OTS/CafeOBJ

    • Dominik Klein
    Pages 159-173

  13. Coalgebraic Semantic Model for the Clock Constraint Specification Language

    • Frédéric Mallet, Grygoriy Zholtkevych
    Pages 174-188

  14. Analyzing Industrial Architectural Models by Simulation and Model-Checking

    • Raluca Marinescu, Henrik Kaijser, Marius Mikučionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
    Pages 189-205

  15. Specifying and Verifying Concurrent C Programs with TLA+

    • Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
    Pages 206-222

  16. Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

    • Linh H. Vu, Anne E. Haxthausen, Jan Peleska
    Pages 223-238

  17. A Spin-Based Approach for Checking OSEK/VDX Applications

    • Haitao Zhang, Toshiaki Aoki, Yuki Chiba
    Pages 239-255

  18. Back Matter

    Pages 257-257
    Download chapter PDF
Back to top

Other volumes

  1. Formal Techniques for Safety-Critical Systems

Keywords

About this book

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Editors and Affiliations

  • National Institute of Advanced Industrial Science and Technology, Amagasaki, Japan

    Cyrille Artho

  • University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation