The Landing Gear Case Study in Hybrid Event-B

Richard Banach

doi:10.1007/978-3-319-07512-9_9

The Landing Gear Case Study in Hybrid Event-B

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Abstract

A case study problem based on a set of aircraft landing gear is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). Although tool support for Hybrid Event-B is currently lacking, the complexity of the case study provides a valuable challenge for the expressivity and modelling capabilities of the formalism. The size of the case study, and in particular, the number of overtly independent subcomponents that the problem domain contains, both significantly exercise the multi-machine and coordination capabilities of Hybrid Event-B, requiring the use of novel coordination mechanisms. © Springer International Publishing Switzerland 2014.

Original language	English
Title of host publication	Communications in Computer and Information Science\|Commun. Comput. Info. Sci.
Publisher	Springer Nature
Pages	126-141
Number of pages	15
Volume	433
ISBN (Print)	9783319075112
DOIs	https://doi.org/10.1007/978-3-319-07512-9_9
Publication status	Published - 2014
Event	ABZ-CS-14 - Toulouse Duration: 1 Jan 1824 → … http://www.springer.com/series/7899

Conference

Conference	ABZ-CS-14
City	Toulouse
Period	1/01/24 → …
Internet address	http://www.springer.com/series/7899

Access to Document

10.1007/978-3-319-07512-9_9

Cite this

@inproceedings{62b13dbcd18d44eab6321c6c56d2d56c,

title = "The Landing Gear Case Study in Hybrid Event-B",

abstract = "A case study problem based on a set of aircraft landing gear is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). Although tool support for Hybrid Event-B is currently lacking, the complexity of the case study provides a valuable challenge for the expressivity and modelling capabilities of the formalism. The size of the case study, and in particular, the number of overtly independent subcomponents that the problem domain contains, both significantly exercise the multi-machine and coordination capabilities of Hybrid Event-B, requiring the use of novel coordination mechanisms. {\textcopyright} Springer International Publishing Switzerland 2014.",

author = "Richard Banach",

year = "2014",

doi = "10.1007/978-3-319-07512-9_9",

language = "English",

isbn = "9783319075112",

volume = "433",

pages = "126--141",

booktitle = "Communications in Computer and Information Science|Commun. Comput. Info. Sci.",

publisher = "Springer Nature",

address = "United States",

note = "ABZ-CS-14 ; Conference date: 01-01-1824",

url = "http://www.springer.com/series/7899",

}

TY - GEN

T1 - The Landing Gear Case Study in Hybrid Event-B

AU - Banach, Richard

PY - 2014

Y1 - 2014

N2 - A case study problem based on a set of aircraft landing gear is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). Although tool support for Hybrid Event-B is currently lacking, the complexity of the case study provides a valuable challenge for the expressivity and modelling capabilities of the formalism. The size of the case study, and in particular, the number of overtly independent subcomponents that the problem domain contains, both significantly exercise the multi-machine and coordination capabilities of Hybrid Event-B, requiring the use of novel coordination mechanisms. © Springer International Publishing Switzerland 2014.

AB - A case study problem based on a set of aircraft landing gear is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). Although tool support for Hybrid Event-B is currently lacking, the complexity of the case study provides a valuable challenge for the expressivity and modelling capabilities of the formalism. The size of the case study, and in particular, the number of overtly independent subcomponents that the problem domain contains, both significantly exercise the multi-machine and coordination capabilities of Hybrid Event-B, requiring the use of novel coordination mechanisms. © Springer International Publishing Switzerland 2014.

U2 - 10.1007/978-3-319-07512-9_9

DO - 10.1007/978-3-319-07512-9_9

M3 - Conference contribution

SN - 9783319075112

VL - 433

SP - 126

EP - 141

BT - Communications in Computer and Information Science|Commun. Comput. Info. Sci.

PB - Springer Nature

T2 - ABZ-CS-14

Y2 - 1 January 1824

ER -

The Landing Gear Case Study in Hybrid Event-B

Abstract

Conference

Access to Document

Fingerprint

Cite this