Book Volume 8718 2014

Formal Methods for Industrial Critical Systems

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

Editors:

ISBN: 978-3-319-10701-1 (Print) 978-3-319-10702-8 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Chapter and Conference Paper

    Pages 1-15

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

  3. No Access

    Chapter and Conference Paper

    Pages 16-32

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

  4. No Access

    Chapter and Conference Paper

    Pages 33-47

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

  5. No Access

    Chapter and Conference Paper

    Pages 48-62

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

  6. No Access

    Chapter and Conference Paper

    Pages 63-77

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

  7. No Access

    Chapter and Conference Paper

    Pages 78-93

    Learning Fragments of the TCP Network Protocol

  8. No Access

    Chapter and Conference Paper

    Pages 94-108

    On the Validation of an Interlocking System by Model-Checking

  9. No Access

    Chapter and Conference Paper

    Pages 109-123

    Deadlock Avoidance in Train Scheduling: A Model Checking Approach

  10. No Access

    Chapter and Conference Paper

    Pages 124-139

    An Open Alternative for SMT-Based Verification of Scade Models

  11. No Access

    Chapter and Conference Paper

    Pages 140-154

    Improving Static Analyses of C Programs with Conditional Predicates

  12. No Access

    Chapter and Conference Paper

    Pages 155-169

    Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements

  13. No Access

    Chapter and Conference Paper

    Pages 170-184

    Test Specification Patterns for Automatic Generation of Test Sequences

  14. No Access

    Chapter and Conference Paper

    Pages 185-199

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

  15. Back Matter

    Pages -