Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

✍ Scribed by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)

• Publisher: Springer International Publishing
• Year: 2017
• Tongue: English
• Leaves: 242
• Series: Lecture notes in computer science #10471
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.
The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

✦ Table of Contents

Front Matter ....Pages I-XIV
Front Matter ....Pages 1-1
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report (Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman)....Pages 3-18
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae (Björn Lisper)....Pages 19-33
Query Checking for Linear Temporal Logic (Samuel Huang, Rance Cleaveland)....Pages 34-48
Front Matter ....Pages 49-49
Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms (Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima)....Pages 51-65
Model-Based Testing for Asynchronous Systems (Alexander Graf-Brill, Holger Hermanns)....Pages 66-82
Information Leakage as a Scheduling Resource (Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay)....Pages 83-99
A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty (Étienne André)....Pages 100-115
Front Matter ....Pages 117-117
CRutoN: Automatic Verification of a Robotic Assistant’s Behaviours (Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders et al.)....Pages 119-133
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information (Felipe J. Montana, Jun Liu, Tony J. Dodd)....Pages 134-149
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications (Felipe J. Montana, Jun Liu, Tony J. Dodd)....Pages 150-164
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems (Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain)....Pages 165-181
Front Matter ....Pages 183-183
Learning-Based Testing the Sliding Window Behavior of TCP Implementations (Paul Fiterău-Broştean, Falk Howar)....Pages 185-200
Optimizing Feature Interaction Detection (Alessandro Fantechi, Stefania Gnesi, Laura Semini)....Pages 201-216
Formalising the Dezyne Modelling Language in mCRL2 (Rutger van Beusekom, Jan Friso Groote, Paul Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa et al.)....Pages 217-233
Erratum to: Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems (Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain)....Pages E1-E1
Back Matter ....Pages 235-235

✦ Subjects

Computer science;Informatique;Special purpose computers;Software engineering;Génie logiciel;Programming languages (Electronic computers);Computer logic;Logique informatique;Mathematical logic;Computers, Special purpose;Logic, Symbolic and mathematical;Programming languages (Electronic computers)