Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B

  • Richard Banach
  • Published 2016 in
    2016 10th International Symposium on Theoretical…


A case study centred on a fuel supply system for a small aircraft is presented in Hybrid Event-B, an extension of conventional Event-B that allows for the modelling and verification of hybrid and cyberphysical systems exhibiting nontrivial continuous behaviour. In contrast to many such case studies, which concentrate predominantly on timing issues, the… (More)
DOI: 10.1109/TASE.2016.16


5 Figures and Tables

Slides referencing similar topics