Skip to main content
SpringerLink
Log in

Formal Methods for Industrial Critical Systems

18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Charles Pecheur

    1. Université catholique de Louvain, Louvain-la-Neuve, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Dierkes

    1. Rockwell Collins France, Blagnac, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast conference proceedings
  • State-of-the-art report
  • Up to date results

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

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

Included in the following conference series:

Conference proceedings info: FMICS 2013.

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 49.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 Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses

    • Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
    Pages 1-16

  3. HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis

    • Hallstein Asheim Hansen
    Pages 17-31

  4. An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code

    • Darren Sexton
    Pages 32-47

  5. Boolean Quantifier Elimination for Automotive Configuration – A Case Study

    • Christoph Zengler, Wolfgang Küchlin
    Pages 48-62

  6. Study on the Barriers to the Industrial Adoption of Formal Methods

    • Jennifer A. Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman et al.
    Pages 63-77

  7. On the Effectiveness of Assertion-Based Verification in an Industrial Context

    • Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont
    Pages 78-93

  8. Complex Digital System Design: A Methodology and Its Application to Medical Implants

    • Helene Leroux, Karen Godary-Dejean, David Andreu
    Pages 94-107

  9. Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip

    • Abderahman Kriouile, Wendelin Serwe
    Pages 108-122

  10. Predicate Abstraction for Programmable Logic Controllers

    • Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski
    Pages 123-138

  11. High-Level Guidance for Managers Deploying Formal Methods in Their Organisation

    • Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer
    Pages 139-153

  12. Auditing User-Provided Axioms in Software Verification Conditions

    • Paul Jackson, Florian Schanda, Angela Wallenburg
    Pages 154-168

  13. Formal Reliability Analysis of Protective Relays in Power Distribution Systems

    • Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan
    Pages 169-183

  14. Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors

    • Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero
    Pages 184-198

  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 thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013. The 13 papers presented were carefully selected from 25 submissions and cover topics such as design, specification, code generation and testing based on formal methods, methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, dependable, real-time systems and embedded systems, verification and validation methods, tools for the development of formal design descriptions, case studies and experience reports on industrial applications of formal methods, impact of the adoption of formal methods on the development process and associated costs, application of formal methods in standardization and industrial forums.

Editors and Affiliations

  • Université catholique de Louvain, Louvain-la-Neuve, Belgium

    Charles Pecheur

  • Rockwell Collins France, Blagnac, France

    Michael Dierkes

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation