马超
- 作品数：13 被引量：12H指数：3
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学电子电信更多>>
- 综合模块化航空电子系统安全分析的模型检测方法
- 2023年
- 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配,但集成工作增加了系统的复杂性,同时使系统的故障在综合过程中传播到其他系统,这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能,存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题,提出了一种新的综合模块化航空电子系统安全分析方法——模型检测,使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证,在系统需求规格的基础上给出了分析过程,利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合,从而达到传统故障树分析的目的,最终通过案例分析表明了该方法的实用性。
- 邝安玄马超王佳明
- 关键词：安全性
- 双双余度飞控计算机架构设计及实现研究
- 2023年
- 飞控计算机的可靠性与安全性是飞机飞行安全的重要一环,通过对余度技术的分析,确定了余度架构设计的方法;对双双余度架构的功能、信息交互等进行设计;基于上述研究,对软件功能进行划分,设计软件执行结构;研究了余度管理的策略。该双双余度架构设计提高了飞控计算机的可靠性与安全性,对飞控计算机的余度设计具有重要参考意义。
- 孟强马超霍峰
- 关键词：飞控计算机容错可靠性
- 一种适用于四余度飞控计算机的地面循环自测试方法
- 2023年
- 为提高飞控计算机安全性与可靠性,保证其控制管理功能的准确执行,设计了一种覆盖范围广、针对性强、安全性高的地面循环自测试方法。方法以一种四余度飞控计算机硬件架构为基础,首先对构成计算机的各个模块进行独立的功能测试,然后对计算机内用于传输信息的各个总线进行测试,最后对各模块间的交互功能进行测试。结果表明,测试方法实现了对于飞控计算机不同飞行状态下基本硬件资源以及功能相关硬件资源的全面测试,可以有效地检测出飞控计算机核心部件在运行过程中出现的故障情况,为飞机的飞行安全提供保障。
- 王轩马超邱凯强
- 关键词：自测试飞控计算机高可靠性
- 四余度飞控计算机架构及其余度管理算法被引量：4
- 2022年
- 飞控计算机是自动飞行控制系统结算、管理、交联以及供电的核心。为提高飞控系统可靠性,保证飞机的飞行安全,提出了一种四余度飞控计算机。基于余度技术设计冗余架构,结合有效的余度管理算法,使飞控计算机能够快速准确地检测并隔离故障,且具有在故障发生后保证飞机能够继续执行任务或安全返航的能力。结果表明,该四余度飞控计算机方案架构清晰、结构明确、具有可实施性,提高了飞控系统的综合可靠性,可以作为高可靠性长航时飞控计算机设计的参考方案。
- 王轩马超闫闯王璞
- 关键词：飞控计算机余度技术
- 一种机载计算机的BIT软件设计被引量：3
- 2021年
- 综合飞控计算机作为机载计算机,对安全性和可靠性有着较高的要求。机内自测试(BIT)技术由于其不依赖外部设备,仅使用自身软、硬件完成故障诊断及隔离的特点,目前成为提高机载计算机可测试性和可维护性的有效措施。本文从BIT的工作模式、常用测试方法以及故障诊断等方面对综合飞控计算机的BIT技术进行了详细的介绍。研究表明,本BIT设计测试覆盖率高,可以快速诊断出故障根源,进而提高机载计算机的安全性和可靠性。
- 闫闯马超王轩李姗周颖
- 关键词：故障诊断
- 基于异构嵌入式计算平台的PCIe通信软件设计
- 2024年
- 随着嵌入式领域处理器性能的高速发展,越来越多的嵌入式平台通过异构多核处理器(heterogeneous multi-processor unit)架构进行复杂度更高的计算工作,但多核处理器的核间通信效率对平台的高性能计算能力有着很大的影响。首先对异构嵌入式计算平台在多处理器之间的通信所存在的这一问题进行了分析,对硬件所存在的特定的场景进行了考虑,最后实现了平台上处理器之间基于PCIe总线的通信驱动。驱动在强调毫秒级高实时性的应用场景下,通过PCIe双缓冲区的设计,不仅保证了高可靠性,还具备了低延迟和高传输速率,为后续基于平台的计算密集型软件应用提供了良好的基础。
- 田浩马超王晨
- 关键词：PCIELINUXRTOS异构
- 基于模型驱动构件库的飞行控制软件工厂研究被引量：1
- 2023年
- 针对飞行控制软件日趋紧张的型号进度和快速增长的代码规模,首先,提出了基于模型驱动构件库开发飞行控制软件的基本概念,并与传统软件开发方法进行了对比分析;然后,针对飞行控制软件快速开发的需求,根据构件的设计准则,对飞行控制软件功能、性能、软件和硬件组成、接口关系进行领域工程建模;对飞行控制软件的共性通用部分和型号定制部分解耦后进行分层和领域构件化分析,建立了软件工厂模式的开发平台框架;最后,详细讨论了基于模型驱动构件库的软件工厂实现和维护的关键技术。
- 陈宣文马超马倩孟强
- 关键词：构件库飞行控制软件
- 图形处理系统中主机接口设计及应用被引量：1
- 2016年
- 图形处理技术被广泛应用于电影、视频、游戏以及动画的制作等领域,而图形处理系统(GPU)的出现极大地增加了So C设计及验证的复杂度。作为So C对外的总线接口,PCI主机接口的设计实现的难度也随之增加,并成为图形处理So C设计过程中的功能、性能以及进度保证的瓶颈。PCI主机接口结构设计是否合理则会直接影响到图形处理So C的功能、性能以及进度的关键因素之一。文中阐述了一种基于图形处理系统应用的主机接口架构。从图形处理系统设计角度,提出了总线架构下主机接口的设计,实现了图形处理系统通过总线与CPU之间的交互,完成了主机通过配置通路对图形处理系统的中断控制以及主机通过调试通路加载命令解析程序等功能。在系统设计阶段,有效提高了准确性和验证的完备性。
- 马超王婷田泽王静
- 关键词：图形处理系统主机接口
- 从设备存储器窗口遍历机制设计与实现
- 2016年
- 目前基于总线接口构成的计算机系统在应用中占据主流地位,并仍将持续作为主流。随着计算机系统及应用的复杂度的不断提高,对外部存储资源的需求越来越大。然而存储资源的不断增大以及存储功能的正确与否大大增加了前期设计验证工作的难度并影响了系统的准确性。文中采用总线接口架构,提出了一种接口总线从设备存储器窗口遍历机制,具有不限制存储系统频率、不限制存储大小的优势。通过窗口更新,实现由主机对存储系统的遍历访问,在系统设计初期完成对外部存储资源功能的验证,极大提高了前端设计以及芯片测试中验证测试的准确性。
- 马超丁挚田泽王婷
- 关键词：计算机系统总线接口从设备
- PCIe总线物理层弹性缓冲设计与实现被引量：3
- 2016年
- PCIe是在PCI总线的基础上提出的新一代总线和接口标准,它原来的名称为"3GIO",是由英特尔在2001年提出的。PCIe属于高速串行点对点双通道高带宽传输,所连接的设备分配独享通道带宽,不共享总线带宽,主要支持主动电源管理、错误报告、端对端的可靠性传输、热插拔以及服务质量(QOS)等功能。PCIe作为高速串行数据总线以其众多的优点在计算机、通讯、航空航天等领域得到了广泛应用。为了实现稳定可靠的数据通讯,必须解决总线恢复时钟域数据和本地时钟域数据的同步问题,弹性缓冲区是实现PCIe总线接口数据同步机制的有效方法。文中根据PCIe协议要求,分析PCIe总线通信中时钟偏差的多种场景,设计了一款采用20位数据总线,读写时钟频率可达250 MHz的弹性缓冲,有效解决了PCIe总线通信中总线恢复时钟域与本地时钟域的数据同步问题。
- 廖寅龙田泽赵强马超
- 关键词：PCIE
