A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
[article]
2018
arXiv
pre-print
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feature augmentation to build an abstract model of the whole system and structural refinement to detail more specifically the digital part. The required safety properties are formalised and proved. We propose a specific approach to deal with a family of reachability properties. The experimentations conducted during the
arXiv:1803.05647v1
fatcat:7uxcawk62vayvlhyelbq3fwbzy