Formal Techniques for Safety-Critical Systems, 1st ed. 2020 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers Communications in Computer and Information Science Series, Vol. 1165
Langue : Anglais
Coordonnateurs : Hasan Osman, Mallet Frédéric
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.
Invited paper.- Avionics and Spacecraft.- Applications.- Tools and Work in Progress.
Date de parution : 04-2020
Ouvrage de 141 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Formal Techniques for Safety-Critical Systems :
Mots-clés :
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
© 2024 LAVOISIER S.A.S.
