Skip to main content
  • Conference proceedings
  • © 2010

Formal Methods for Industrial Critical Systems

15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

  • up-to-date results

  • fast track conference proceedings

  • state-of-the-art report

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

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 2010.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (14 papers)

  1. Front Matter

  2. The Metrô Rio ATP Case Study

    • Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini
    Pages 1-16
  3. Practical Issues with Formal Specifications

    • Michael Altenhofen, Achim D. Brucker
    Pages 17-32
  4. Formal Analysis of BPMN Models Using Event-B

    • Jeremy W. Bryans, Wei Wei
    Pages 33-49
  5. Developing Mode-Rich Satellite Software by Refinement in Event B

    • Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic et al.
    Pages 50-66
  6. Automatic Error Correction of Java Programs

    • Christian Kern, Javier Esparza
    Pages 67-81
  7. Range Analysis of Microcontroller Code Using Bit-Level Congruences

    • Jörg Brauer, Andy King, Stefan Kowalewski
    Pages 82-98
  8. An Automated Translator for Model Checking Time Constrained Workflow Systems

    • Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull
    Pages 99-114
  9. Model Checking the FlexRay Physical Layer Protocol

    • Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter
    Pages 132-147
  10. SMT-Based Formal Verification of a TTEthernet Synchronization Function

    • Wilfried Steiner, Bruno Dutertre
    Pages 148-163
  11. Embedded Network Protocols for Mobile Devices

    • Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink
    Pages 164-179
  12. A Study of Shared-Memory Mutual Exclusion Protocols Using CADP

    • Radu Mateescu, Wendelin Serwe
    Pages 180-197
  13. A Formal Model of Identity Mixer

    • Jan Camenisch, Sebastian Mödersheim, Dieter Sommer
    Pages 198-214
  14. Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept

    • Lars Michael Kristensen, Michael Westergaard
    Pages 215-230
  15. Back Matter

Other Volumes

  1. Formal Methods for Industrial Critical Systems

Keywords

  • BPMN
  • CBMC
  • Java
  • automated translation
  • business process modeling
  • case study
  • development
  • formal methods
  • formal specification
  • formal verification
  • petri net
  • software
  • software engineering
  • verification

Editors and Affiliations

  • Embedded Software Laboratory, RWTH Aachen, Aachen, Germany

    Stefan Kowalewski

  • Fondazione Bruno Kessler — IRST, Povo (Trento), Italy

    Marco Roveri

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions