Modeling and Analysis of the Landing Gear System with the Generalized Contracts
摘要
Complex systems exist in different fields such as aeronautics, autonomous vehicles, nuclear power plants, 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. The Minarets method proposes solutions to these challenges. This paper describes how the Minarets method decreases the difficulty of modeling and analysis of the case study of the landing gear system. Applying 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. We have therefore taken into account the different facets in the case study, like data for the communication between the components, time, safety and liveness. This study helps us to validate the Minarets method, and can also serve as a working guide for other developers.