Skip to main content
SpringerLink
Log in
SpringerLink
Log in

ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Frédéric Boniol

    1. ONERA/DTIM, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Virginie Wiels

    1. ONERA, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yamine Ait Ameur

    1. INP-ENSEEIHT/IRIT, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Klaus-Dieter Schewe

    1. Software Competence Center Hagenberg, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 433)

Included in the following conference series:

Conference proceedings info: ABZ 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 (12 papers)

  1. Front Matter

    Download chapter PDF

  2. The Landing Gear System Case Study

    • Frédéric Boniol, Virginie Wiels
    Pages 1-18

  3. Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    • Wen Su, Jean-Raymond Abrial
    Pages 19-35

  4. Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

    • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 36-51

  5. Context-Aware Verification of a Landing Gear System

    • Philippe Dhaussy, Ciprian Teodorov
    Pages 52-65

  6. Validation of the ABZ Landing Gear System Using ProB

    • Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
    Pages 66-79

  7. Modeling a Landing Gear System in Event-B

    • Amel Mammar, Régine Laleau
    Pages 80-94

  8. Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

    • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 95-109

  9. Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

    • Bernard Berthomieu, Silvano Dal Zilio, Łukasz Fronc
    Pages 110-125

  10. The Landing Gear Case Study in Hybrid Event-B

    • Richard Banach
    Pages 126-141

  11. Landing Gear System: An ASM-Based Solution for the ABZ Case Study

    • Felix Kossak
    Pages 142-147

  12. Co-simulation Environment for Rodin: Landing Gear Case Study

    • Vitaly Savicks, Michael Butler, John Colley
    Pages 148-153

  13. Modeling an Aircraft Landing System in Event-B

    • Dominique Méry, Neeraj Kumar Singh
    Pages 154-159

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. ABZ 2014: The Landing Gear Case Study

  2. Abstract State Machines, Alloy, B, TLA, VDM, and Z

Keywords

About this book

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Editors and Affiliations

  • ONERA/DTIM, Toulouse, France

    Frédéric Boniol

  • ONERA, Toulouse, France

    Virginie Wiels

  • INP-ENSEEIHT/IRIT, Toulouse, France

    Yamine Ait Ameur

  • Software Competence Center Hagenberg, Hagenberg, Austria

    Klaus-Dieter Schewe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation