The Community for Technology Leaders
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) (2016)
Shanghai, China
July 17, 2016 to July 19, 2016
ISBN: 978-1-5090-1765-2
pp: 65-72
ABSTRACT
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 focus in the present work is on nontrivial physical behaviour, and on the effect that this has on various refinement and partition strategies.
INDEX TERMS
Fuels, Aircraft, Valves, Aircraft propulsion, Engines, Atmospheric modeling, Fuel pumps
CITATION
Richard Banach, "Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B", 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), vol. 00, no. , pp. 65-72, 2016, doi:10.1109/TASE.2016.16
93 ms
(Ver 3.3 (11022016))