Modeling and Analysis of the Landing Gear System with the Generalized Contracts
This addresses software engineering problems for developers working on complex systems in sectors such as aviation, but it appears incremental as it builds on existing case studies and methods.
The paper tackles the challenge of modeling, composing, and analyzing open, complex heterogeneous systems like those in aviation by applying the Minarets method to a landing gear system case study, resulting in decreased difficulty in these tasks.
Nowadays, there are several complex systems in different sectors such as aviation, air traffic control ...etc. These systems do not have a precise perimeter, they are open and made of various specific components built with different languages and environments. The modeling, assembly and analysis of such open and complex heterogeneous systems are challenges in software engineering. This paper describes how the Minarets method decreases the difficulty of modeling, composition and analysis of the well known case study of the landing gear system. The method consists in: equipping individual components with generalized contracts that integrate various facets related to different concerns, composing these components according to their facets and verifying the resulting system with respect to the involved facets as well. The proposed method may be used or extended to cover more facets, and by strengthening assistance tool through proactive aspects in modeling, composing multi-facets contracts and finally the verification of the heterogeneous systems.