Abstract This paper describes the modeling, done using the Event-B notation, of the aircraft landing gear case study that is proposed in a special track of the ABZ’2014 Conference. In the course of our development, we discovered some problems in our initial modeling approach. This has led us to propose a second approach and then a third one. Each approach is more efficient than the previous one in terms of proof obligations (roughly speaking: 2000, 1000, 500). All this will be described in this paper. We also try to go beyond this specific case study and give some thoughts about large industrial modeling.
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
2014-01-01
17 pages
Article/Chapter (Book)
Electronic Resource
English
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
British Library Conference Proceedings | 2014
|Modeling a Landing Gear System in Event-B
British Library Conference Proceedings | 2014
|Modeling a Landing Gear System in Event-B
Springer Verlag | 2014
|