© 2020

Formal Techniques for Safety-Critical Systems

7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

  • Osman Hasan
  • Frédéric Mallet
Conference proceedings FTSCS 2019

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Invited Paper

    1. Front Matter
      Pages 1-1
    2. Adnan Rashid, Umair Siddique, Sofiène Tahar
      Pages 3-18
  3. Avionics and Spacecraft

    1. Front Matter
      Pages 19-19
    2. Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
      Pages 21-39
    3. Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
      Pages 40-56
    4. Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
      Pages 57-73
  4. Applications

    1. Front Matter
      Pages 75-75
    2. Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
      Pages 77-94
    3. Filippos Pantekis, Phillip James, Liam O’Reilly, Daniel Archambault, Faron Moller
      Pages 95-105
    4. Elisabetta De Maria, Thibaud L’Yvonnet, Sabine Moisan, Jean-Paul Rigault
      Pages 106-124
  5. Tools and Work in Progress

    1. Front Matter
      Pages 125-125
    2. Emily Yu, Martina Seidl, Armin Biere
      Pages 127-132
    3. Quang Thinh Trac, Mizuhito Ogawa
      Pages 133-140
  6. Back Matter
    Pages 141-141

About these proceedings


This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.

The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.


architecting architecture verification and validation artificial intelligence computer hardware computer programming computer science computer systems embedded systems Field Programmable Gate Array (FPGA) formal logic formal methods model checking object-oriented programming programming languages signal processing software architecture software design software engineering software quality

Editors and affiliations

  1. 1.National University of Sciences and TechnologyIslamabadPakistan
  2. 2.Université Cote d'AzurSophia Antipolis CedexFrance

Bibliographic information