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

TL;DR

This paper presents a method using generalized contracts to improve the modeling, composition, and analysis of complex, heterogeneous systems like landing gear systems, enhancing verification and multi-facet integration.

Contribution

It introduces a novel approach with generalized contracts for component-based modeling and analysis of complex systems, facilitating multi-facet verification and system composition.

Findings

Reduces complexity in modeling heterogeneous systems

Enables multi-facet verification of system components

Supports extension to additional facets and proactive tooling

Abstract

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.