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

Research on Formal Methods within Airborne Network Verification

作　　者：陈长胜[1,2] 刘智武 孙靖国[1] 杨建茜[1] CHEN Chang-sheng;LIU Zhi-wu;SUN Jing-guo;YANG Jian-xi(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China;Northwestern Polytechnical University,Xi′an 710000,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710000 [2]西北工业大学,陕西西安710000

出　　处：《航空计算技术》2021年第4期50-53,共4页Aeronautical Computing Technique

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

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

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]