Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods for Industrial Critical Systems

  • E-Book (pdf)
  • 289 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 68.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.

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.



Inhalt

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.

Produktinformationen

Titel: Formal Methods for Industrial Critical Systems
Untertitel: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Editor:
EAN: 9783030582982
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer-Verlag GmbH
Genre: Programmiersprachen
Anzahl Seiten: 289
Veröffentlichung: 28.08.2020
Dateigrösse: 15.4 MB

Weitere Bände aus der Buchreihe "Programming and Software Engineering"