Formal Methods for Industrial Critical Systems, 1st ed. 2020 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings Programming and Software Engineering Series
Coordonnateurs : ter Beek Maurice H., Ničković Dejan
The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.
The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
FMICS 25th Anniversary.- The 2020 Expert Survey on Formal Methods.- Quantitative Analysis and Cyber-Physical Systems.- Verifiable and Scalable Mission-Plan Synthesis for Autonomous Agents.- Skylines for Symbolic Energy Consumption Analysis.- Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers.- An Actor-based Approach for Security Analysis of Cyber-Physical Systems.- Formal Verification of Industrial Systems Scalable Detection of Ampli cation Timing Anomalies for the Superscalar TriCore Architecture.- A Formally Veri ed Plasma Vertical Position Control Algorithm.- The First Twenty-Five Years of Industrial Use of the B-Method.- A Safety Flasher Developed with the CLEARSY Safety Platform.- Temporal Logic and Model checking.- Formal Verification of OIL Component Specifications Using mCRL2.- Temporal-Logic Query Checking over Finite Data Streams.- Verification of a Failure Management Protocol for Stateful IoT Applications.
Date de parution : 08-2020
Ouvrage de 289 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 Methods for Industrial Critical Systems :
Mots-clés :
architecture verification and validation; Cyber-Physical Systems; embedded systems; formal methods; Formal Specification; Industrial-Critical Systems; Internet of Things; mobile robots; model checking; Model Checking; Probabilistic Systems; Quantitative Analysis; Reinforcement Learning; signal processing; software architecture; software design; software engineering; Synthesis; Security; Temporal Logic; Tools; Survey; Games