用于通信协议虚拟化的时间精确中间件
网络与互联网体系结构
2018-05-24 v1 计算机科学中的逻辑
摘要
航空电子系统中设备间的通信必须是可预测且确定性的，数据必须可靠交付。为帮助系统架构师满足这些要求，制定了 ARINC 429 和 AFDX 等网络协议标准。尽管网络中每个组件的行为已有明确定义，在部署前仍须对每个应用进行广泛测试。但飞机研制过程中使用的物理测试台是复杂且昂贵的平台。为限制对物理测试的需求，我们提出了一种用于虚拟化通信协议的时间精确中间件，可用来以仿真替代物理测试。我们指定了三种 AFDX 网络的形式化模型，以不同精度级别考虑时间约束。我们还基于 AFDX 协议规范开发了网络虚拟化中间件原型，为测试网络配置提供易于搭建的环境。最后，我们将形式化模型与虚拟化结合，定义运行时监视器以检查中间件的行为相对于真实系统是否时间精确。
引用
@article{arxiv.1805.09256,
title = {Time-accurate Middleware for the Virtualization of Communication Protocols},
author = {Rafael Scarduelli and Pierre-Alain Bourdil and Silvano Dal Zilio and Didier Le Botlan and P. -A Bourdil},
journal= {arXiv preprint arXiv:1805.09256},
year = {2018}
}