张丹涛
- 作品数：3 被引量：12H指数：2
- 供职机构：西安飞行自动控制研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种基于FACE标准的飞行器管理系统软件架构被引量：5
- 2019年
- 为了解决飞行器管理系统中应用FACE标准的符合性问题,提出一种平台特定服务段和输入输出服务段的功能划分方法.为了满足段间访问的实时性,采用输入输出服务的接口调用表技术建立一种低延迟的接口调用模型,并采用静态库端口通讯的方式实现传输服务.搭建了满足FACE标准接口的飞行管理系统原型系统,通过对原型系统端到端时延的实验,验证了该软件架构的有效性.
- 朱立平陆志东张丹涛武方方屈华敏
- 关键词：FACE软件架构
- 基于系统需求数据库的BIT自动测试技术被引量：7
- 2010年
- 根据飞控系统BIT检测系统需求和数据库适合规范及大规模处理的特点,考虑到将来飞控系统综合检测与诊断、综合诊断保障系统、综合诊断专家系统等技术发展需求,提出了基于系统需求数据库的BIT自动检测技术。本技术利用脚本的强大文档处理能力,将需求抽象为规范文档,以此作为为输入,生成测试数据库并将测试流程固化为数据库操作流程,实现了飞控系统BIT的自动化测试功能。目前,这一技术已应用于多个机种项目,为型号的研制和交付节省了宝贵的时间。
- 张丹涛张随良杨东红
- 关键词：BIT
- 基于形式化方法进行复杂逻辑系统的验证
- 近年来,民用航空系统复杂度越来越高,随之而来的是其安全性和可靠性等非功能性需求越来越庞大,造成的结果是难以通过传统的测试方法完成软件功能的全覆盖测试,特别是在复杂逻辑控制领域,如自动驾驶仪、控显等,其状态空间往往超过了1...
- 张丹涛田贝张馨洋朱立平
- 关键词：飞行控制
- 文献传递
