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

  • Laure Petrucci
  • Cristina Seceleanu
  • Ana Cavalcanti
Conference proceedings FMICS 2017, AVoCS 2017

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10471)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Automated Verification Techniques

    1. Front Matter
      Pages 1-1
    2. Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
      Pages 3-18
    3. Samuel Huang, Rance Cleaveland
      Pages 34-48
  3. Testing and Scheduling

    1. Front Matter
      Pages 49-49
    2. Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima
      Pages 51-65
    3. Alexander Graf-Brill, Holger Hermanns
      Pages 66-82
    4. Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
      Pages 83-99
  4. Special Track: Formal Methods for Mobile and Autonomous Robots

    1. Front Matter
      Pages 117-117
    2. Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders et al.
      Pages 119-133
    3. 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
    2. Paul Fiterău-Broştean, Falk Howar
      Pages 185-200
    3. Alessandro Fantechi, Stefania Gnesi, Laura Semini
      Pages 201-216
    4. Rutger van Beusekom, Jan Friso Groote, Paul Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa et al.
      Pages 217-233
  6. Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
    Pages E1-E1

About these proceedings

Introduction

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.

Keywords

computer software selection and evaluation model checking real-time schedulability robotics runtime adaption software engineering software verification and validation specification temporal logic

Editors and affiliations

  • Laure Petrucci
    • 1
  • Cristina Seceleanu
    • 2
  • Ana Cavalcanti
    • 3
  1. 1.Paris 13 UniversityVilletaneuseFrance
  2. 2.Mälardalen UniversityVästeråsSweden
  3. 3.University of YorkYorkUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-67113-0
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-67112-3
  • Online ISBN 978-3-319-67113-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book