Modeling and Analysis of the Landing Gear System with the Generalized Contracts

This research report presents a simplified version of the landing gear system described in [2]. We model, compose and analyse the system according to our Minarets method [3]. The landing system is in charge of operating the landing gear and the associated doors. The landing system is made up of 3 landing sets: front, right and left. Each landing set contains a door, a landing gear and associated hydraulic cylinders (in this case study we consider only the front door and the front landing gear without taking into consideration the hydraulic cylinders).