一种用于航空系统的时间触发基于约束演算
软件工程
2014-10-15 v1 计算机科学中的逻辑
摘要
综合模块化航空电子 (IMA) 架构和时间触发以太网 (TTEthernet) 网络已成为近期民用飞机典型架构模型的关键组件。我们提出了一种针对此类航空嵌入式系统概念分析的实时基于约束演算。我们展示了该框架在 IMA 架构和 TTEthernet 网络建模中的应用，并通过著名的飞行管理系统 (FMS) 说明了它们的行为。
引用
@article{arxiv.1410.3694,
title = {A Time-Triggered Constraint-Based Calculus for Avionic Systems},
author = {Sardaouna Hamadou and Abdelouahed Gherbi and John Mullins and Sofiene Beji},
journal= {arXiv preprint arXiv:1410.3694},
year = {2014}
}