Formal Methods for Industrial Critical Systems

20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

  • Manuel Núñez
  • Matthias Güdemann
Conference proceedings FMICS 2015

DOI: 10.1007/978-3-319-19458-5

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

Table of contents (13 papers)

  1. Front Matter
    Pages 1-14
  2. Formal Verification of Industrial Critical Software
    Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann
    Pages 1-11
  3. Applications

    1. Front Matter
      Pages 13-13
    2. A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C
      Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéeric Loulergue
      Pages 15-30
    3. Intra-procedural Optimization of the Numerical Accuracy of Programs
      Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot
      Pages 31-46
    4. Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
      Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikučionis, Petur Olsen
      Pages 47-61
    5. Successful Use of Incremental BMC in the Automotive Industry
      Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
      Pages 62-77
  4. Protocols

    1. Front Matter
      Pages 79-79
    2. Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources
      Valentin Valero, Hermenegilda Macià, Gregorio Díaz, M. Emilia Cambronero
      Pages 81-95
    3. Model Checking a Server-Side Micro Payment Protocol
      Kaylash Chaudhary, Ansgar Fehnker
      Pages 96-110
  5. Specification and Analysis

    1. Front Matter
      Pages 111-111
    2. Require, Test and Trace IT
      Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Stefan Tiran
      Pages 113-127
    3. Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution
      Sunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen
      Pages 128-145
    4. Timed Mobility and Timed Communication for Critical Systems
      Bogdan Aman, Gabriel Ciobanu
      Pages 146-161
    5. On the Formal Analysis of Photonic Signal Processing Systems
      Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
      Pages 162-177
  6. Verification

    1. Front Matter
      Pages 179-179
    2. Automated Verification of Nested DFS
      Jaco C. van de Pol
      Pages 181-197
    3. On the Formal Verification of Optical Quantum Gates in HOL
      Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar
      Pages 198-211
  7. Back Matter
    Pages 213-213

About these proceedings

Introduction

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.

The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Keywords

Cyber-physical systems Distributed systems Embedded systems Formal language definitions Formal methods Formal software verification Industrial applications Model checking Modeling and simulation Real-time systems Requirements engineering Scalability Semantics and reasoning Software development Software functional properties Software system models Software tools Software verification and validation Theorem proving Usability

Editors and affiliations

  • Manuel Núñez
    • 1
  • Matthias Güdemann
    • 2
  1. 1.Universidad Complutense de MadridMadridSpain
  2. 2.SysterelAix-en-ProvenceFrance

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19457-8
  • Online ISBN 978-3-319-19458-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349