无人机飞行控制系统接口信息是无人机内部飞控计算机与相关子系统之间的通信信息,这些信息中就包含了大量的飞行状态参数或飞行指令。因而,对于无人机飞行控制系统,接口信息显得十分重要。但是,由于国内对这些接口信息的处理方式目前还是以手工方式、文本编辑方式为主,对接口信息的设计、验证、使用等各方面都造成了不便,进而还会影响到无人机飞行控制系统的开发。所以,提出了以形式化的方式处理飞行控制系统接口信息的构想。本文基于这一构想设计并实现了无人机飞控系统接口信息形式化处理系统,使用本系统就可以利用形式化方法实现对接口信息的处理。本文首先通过对无人机飞行控制系统接口信息的整理,总结出接口信息的特点。并根据这些特点,设计并实现一种适合于存储接口信息的文件格式(也称形式化规格),使得具有这种存储格式的文件能够很好地展现接口信息。然后,以此类信息文件为接口信息源,在此基础上实现辅助接口设计、验证接口特征、快速生成使用接口信息代码的功能。最后,按照改进MVC设计模式,实现无人机飞控系统接口信息形式化处理系统,系统提供了实现上述功能的友好的用户操作界面。通过系统的用户界面,可以利用图形符号来设置接口之间关联与接口属于那个飞控子系统,可以利用一种自定义形式语言(也称接口定义语言)来构建接口特征信息,这样达到辅助接口设计的目的。在辅助接口设计的同时,系统会自动地更新信息文件中的接口信息。在设计好接口之后,还可以通过系统的用户界面启动接口特征验证的工作或快速生成使用接口信息代码的工作。测试表明,无人机飞控系统接口信息形式化处理系统基本实现了接口信息以形式化规格存储、接口信息以图形符号或形式语言设计、接口验证方便与使用接口信息代码可自动生成等功能。通过本系统对接口信息进行处理,可以使设计接口的同时接口信息同步更新,可以使设计接口方便、直观,可以提高设计接口的效率,可以缩短接口设计错误发现的时间,可以规范使用接口信息的代码,可以减少部分重复编码的劳动量。