Formal Methods for Industrial Critical Systems
Springer International Publishing (Verlag)
978-3-030-58297-5 (ISBN)
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.
| Erscheinungsdatum | 30.08.2020 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XXII, 289 p. 76 illus., 42 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 480 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Applications • architecture verification and validation • Computer Science • conference proceedings • Cyber-Physical Systems • Embedded Systems • formal methods • formal specification • Industrial-Critical Systems • Informatics • internet of things • Mobile Robots • Model Checking • Probabilistic Systems • Quantitative Analysis • Reinforcement Learning • Research • Signal Processing • software architecture • Software Design • Software engineering • Synthesis, Security • temporal logic • Tools , Survey, Games |
| ISBN-10 | 3-030-58297-3 / 3030582973 |
| ISBN-13 | 978-3-030-58297-5 / 9783030582975 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
