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

摘要

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