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

Research on Formal Methods within Airborne Network Verification

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

Airborne network refers to the network which is used for the communication among airborne systems or devices,and typically it has the characteristics of determinism,integrity,security,etc.Formal methods could be used within the verification of some characteristics of airborne network,to support the research of airborne network technology and developing corresponding products,as the methods have strict mathematical basis.Considering the characteristics of the airborne network,this paper analyzes the application of formal methods within airborne network protocol verification,application verification and determinism analysis.