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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

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

  • A. Abdelkader Khouass,
  • J. Christian Attiogbé,
  • Mohamed Messabihi,
  • Abdelkrim Benamar

摘要

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.