Advertisement

© 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
    PDF

  2. Invited Paper

    1. Front Matter
      Pages 1-1
      PDF
    2. Formal Verification of Cyber-Physical Systems Using Theorem Proving
      Adnan Rashid, Umair Siddique, Sofiène Tahar
      Pages 3-18

  3. Avionics and Spacecraft

    1. Front Matter
      Pages 19-19
      PDF
    2. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
      Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
      Pages 21-39
    3. Verifying Resource Adequacy of Networked IMA Systems at Concept Level
      Rodrigo Saar de Moraes, Simin Nadjm-Tehrani
      Pages 40-56
    4. Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study
      Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
      Pages 57-73

  4. Applications

    1. Front Matter
      Pages 75-75
      PDF
    2. POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
      Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
      Pages 77-94
    3. Visualising Railway Safety Verification
      Filippos Pantekis, Phillip James, Liam O’Reilly, Daniel Archambault, Faron Moller
      Pages 95-105
    4. Probabilistic Activity Recognition for Serious Games with Applications in Medicine
      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
      PDF
    2. A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas
      Emily Yu, Martina Seidl, Armin Biere
      Pages 127-132
    3. Formal Semantics Extraction from MIPS Instruction Manual
      Quang Thinh Trac, Mizuhito Ogawa
      Pages 133-140
  6. Back Matter
    Pages 141-141
    PDF

About these proceedings

Introduction

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.

Keywords

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