形式化方法在机载网络开发中的应用研究

摘要：

机载网络是指用于机载系统或者设备之间通信的计算机网络,通常有确定性、完整性、安保性等方面的要求.形式化方法因其具有严格的数学基础,可以支持机载网络部分特性的验证,为机载网络技术研究和产品研制提供有效的支撑.结合机载网络的特点,分析总结形式化方法在机载网络协议验证、机载网络应用验证、机载网络确定性分析等过程中的应用.

关键词：机载网络;形式化方法;协议验证;确定性

所属期刊栏目：51

分类号：TP393(计算技术、计算机技术)

资助基金：国家十三五规划项目资助MJ-2018-S-33

在线出版日期：2021-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：50-53