Skip to main content
Book cover
  • Conference proceedings
  • © 2013

Formal Methods for Industrial Critical Systems

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

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)

Conference series link(s): FMICS: International Conference on Formal Methods for Industrial Critical Systems

Conference proceedings info: FMICS 2013.

Sections

eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-41010-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)
Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

    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

  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

    PDF
Back to top

Other Volumes

  1. Formal Methods for Industrial Critical Systems

Back to top

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.
Back to top

Keywords

  • FPGA
  • PRISM
  • probabilistic model checking
  • program verification
  • timed petri nets
Back to top

Editors and Affiliations

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

    Charles Pecheur

  • Rockwell Collins France, Blagnac, France

    Michael Dierkes

Back to top

Bibliographic Information

Back to top
Access via your institution
eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-41010-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)
Learn about institutional subscriptions