Skip to main content
SpringerLink
Log in
Book cover

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Cyrille Artho

    1. AIST, Research Institute for Secure Systems, Amagasaki, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Csaba Ölveczky

    1. University of Oslo Department of Informatics, 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 419)

Included in the following conference series:

Conference proceedings info: FTSCS 2013.

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 (18 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

    • Ian J. Hayes
    Pages 1-2

  3. With an Open Mind: How to Write Good Models

    • Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata
    Pages 3-18

  4. Model-Based Testing from Controlled Natural Language Requirements

    • Gustavo Carvalho, Flávia Barros, Florian Lapschies, Uwe Schulze, Jan Peleska
    Pages 19-35

  5. An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol

    • Xiaoyun Guo, Hsin-Hung Lin, Kenro Yatake, Toshiaki Aoki
    Pages 36-53

  6. Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking

    • Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria, Claude Thibeault
    Pages 54-70

  7. A Strand Space Approach to Provable Anonymity

    • Yongjian Li, Jun Pang
    Pages 71-87

  8. Counterexample Generation for Hybrid Automata

    • Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins
    Pages 88-106

  9. TTM/PAT: Specifying and Verifying Timed Transition Models

    • Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu, Jun Sun
    Pages 107-124

  10. Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS

    • Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng
    Pages 125-141

  11. Reflections on Verifying Software with Whiley

    • David J. Pearce, Lindsay Groves
    Pages 142-159

  12. Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events

    • Colin Pilbrow, Robi Malik
    Pages 160-177

  13. Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude

    • Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
    Pages 178-194

  14. On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings

    • Andrew Simpson, Jaco Jacobs
    Pages 195-211

  15. Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

    • Youcheng Sun, Romain Soulat, Giuseppe Lipari, Étienne André, Laurent Fribourg
    Pages 212-228

  16. Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification

    • Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth, Paul Pettersson
    Pages 229-245

  17. Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling

    • Kriangkrai Traichaiyaporn, Toshiaki Aoki
    Pages 246-261

  18. Precise Documentation and Validation of Requirements

    • Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
    Pages 262-279

  19. Certainly Unsupervisable States

    • Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
    Pages 280-296

  20. Back Matter

    Pages 297-297
    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 Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 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

  • AIST, Research Institute for Secure Systems, Amagasaki, Japan

    Cyrille Artho

  • University of Oslo Department of Informatics, Oslo, Norway

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation