Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Laure Petrucci

    1. Paris 13 University, Villetaneuse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cristina Seceleanu

    1. Mälardalen University, Västerås, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ana Cavalcanti

    1. University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10471)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Automated Verification Techniques

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report

      • Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
      Pages 3-18

    3. Verifying Event-Based Timing Constraints by Translation into Presburger Formulae

      • Björn Lisper
      Pages 19-33

    4. Query Checking for Linear Temporal Logic

      • Samuel Huang, Rance Cleaveland
      Pages 34-48

  3. Testing and Scheduling

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. 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

    3. Model-Based Testing for Asynchronous Systems

      • Alexander Graf-Brill, Holger Hermanns
      Pages 66-82

    4. Information Leakage as a Scheduling Resource

      • Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
      Pages 83-99

    5. A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty

      • Étienne André
      Pages 100-115

  4. Special Track: Formal Methods for Mobile and Autonomous Robots

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. 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

    3. Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information

      • Felipe J. Montana, Jun Liu, Tony J. Dodd
      Pages 134-149

    4. 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

    5. 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

  5. Modeling and Analysis Techniques

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Learning-Based Testing the Sliding Window Behavior of TCP Implementations

      • Paul Fiterău-Broştean, Falk Howar
      Pages 185-200

    3. Optimizing Feature Interaction Detection

      • Alessandro Fantechi, Stefania Gnesi, Laura Semini
      Pages 201-216

    4. 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

  6. 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 to top

Other volumes

  1. Critical Systems: Formal Methods and Automated Verification

Keywords

About this book

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.

Editors and Affiliations

  • Paris 13 University, Villetaneuse, France

    Laure Petrucci

  • Mälardalen University, Västerås, Sweden

    Cristina Seceleanu

  • University of York, York, United Kingdom

    Ana Cavalcanti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation