Advertisement

Formal Techniques for Safety-Critical Systems

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

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Klaus Havelund, Rajeev Joshi
    Pages 1-16
  3. Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
    Pages 32-46
  4. Georgiana Caltais
    Pages 47-61
  5. Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet
    Pages 76-92
  6. Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone et al.
    Pages 93-109
  7. Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki
    Pages 110-126
  8. Dominik Klein
    Pages 159-173
  9. Frédéric Mallet, Grygoriy Zholtkevych
    Pages 174-188
  10. Raluca Marinescu, Henrik Kaijser, Marius Mikučionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
    Pages 189-205
  11. Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui
    Pages 206-222
  12. Linh H. Vu, Anne E. Haxthausen, Jan Peleska
    Pages 223-238
  13. Haitao Zhang, Toshiaki Aoki, Yuki Chiba
    Pages 239-255
  14. Back Matter
    Pages 257-257

About these proceedings

Introduction

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.

Keywords

aerospace systems automata theory formal languages formal methods industrial applications model checking model development and analysis model-driven software engineering modeling languages railway systems safety critical systems software engineering software system models software verification

Editors and affiliations

  • Cyrille Artho
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.National Institute of Advanced Industrial Science and TechnologyAmagasakiJapan
  2. 2.University of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-17581-2
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-17580-5
  • Online ISBN 978-3-319-17581-2
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace