Skip to main content
SpringerLink
Log in

Formal Methods for Industrial Critical Systems

19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Frédéric Lang

    1. Inria, Montbonnot, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Francesco Flammini

    1. Ansaldo STS, Naples, Italy

    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 8718)

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

Included in the following conference series:

Conference proceedings info: FMICS 2014.

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 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 (13 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal Verification of Steady-State Errors in Unity-Feedback Control Systems

    • Muhammad Ahmad, Osman Hasan
    Pages 1-15

  3. Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface

    • Thang Nguyen, Dejan Ničković
    Pages 16-32

  4. Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

    • Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
    Pages 33-47

  5. Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip

    • Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
    Pages 48-62

  6. Formal Specification and Verification of TCP Extended with the Window Scale Option

    • Lars Lockefeer, David M. Williams, Wan J. Fokkink
    Pages 63-77

  7. Learning Fragments of the TCP Network Protocol

    • Paul Fiterău-Broştean, Ramon Janssen, Frits Vaandrager
    Pages 78-93

  8. On the Validation of an Interlocking System by Model-Checking

    • Andrea Bonacchi, Alessandro Fantechi
    Pages 94-108

  9. Deadlock Avoidance in Train Scheduling: A Model Checking Approach

    • Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari
    Pages 109-123

  10. An Open Alternative for SMT-Based Verification of Scade Models

    • Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
    Pages 124-139

  11. Improving Static Analyses of C Programs with Conditional Predicates

    • Sandrine Blazy, David Bühler, Boris Yakobowski
    Pages 140-154

  12. Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

    • Christian Ellen, Sven Sieverding, Hardi Hungar
    Pages 155-169

  13. Test Specification Patterns for Automatic Generation of Test Sequences

    • Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
    Pages 170-184

  14. Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation

    • Brian Campbell, Ian Stark
    Pages 185-199

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Industrial Critical Systems

Keywords

About this book

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Editors and Affiliations

  • Inria, Montbonnot, France

    Frédéric Lang

  • Ansaldo STS, Naples, Italy

    Francesco Flammini

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation