基于广义契约的起落架系统建模与分析
软件工程
2025-05-28 v3
摘要
如今，航空、空中交通管制等不同领域存在若干复杂系统。这些系统没有精确的边界，它们是开放的，并由以不同语言与环境构建的各种特定组件组成。此类开放且复杂的异构系统的建模、组装与分析是软件工程中的挑战。本文描述了 Minarets 方法如何降低著名的起落架系统案例研究的建模、组合与分析难度。该方法包括：为各个组件配备集成不同关注点相关多方面内容的广义契约，依据这些方面组合组件，并针对所涉及的方面验证所得系统。所提方法可被使用或扩展以涵盖更多方面，并通过在建模、组合多方面契约以及最终异构系统验证中引入主动式方面来加强辅助工具。
引用
@article{arxiv.2111.10426,
title = {Modeling and Analysis of the Landing Gear System with the Generalized Contracts},
author = {Abdelkader Khouass and christian attiogbé and mohamed messabihi},
journal= {arXiv preprint arXiv:2111.10426},
year = {2025}
}