陈福
- 作品数：14 被引量：19H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：国家科技重大专项中国航空科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- Chisel构建处理器模型的功能验证方法研究
- 2023年
- 随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。
- 吴乐宁王淼陈福
- 关键词：ARM架构
- 民用飞机综合模块化航电系统资源状态监控技术研究被引量：2
- 2020年
- 随着处理器和机载嵌入式实时分区操作系统等相关技术的不断升级换代,IMA系统功能的集成度也越来越高,高集成度增加了系统资源分配的难度,需要通过对系统资源状态进行实时监控和分析进而不断优化系统配置。首先对IMA系统的分区特性进行了深入研究,基于探针插桩监控数据采集技术,提出了一种系统行为和时间资源状态监控的策略。研究了数据监控采集系统的软件架构,在此基础上设计和实现了系统行为监视器和时间资源监视器,并在某民机重点预研课题中进行了应用验证。结果表明,能够有效帮助应用开发者和系统综合者直观分析系统时间性能瓶颈,优化资源配置方案,实现计算资源的负载均衡。对IMA系统资源状态监控及资源配置优化具有一定的指导意义和实用价值。
- 李念霏陈福陈宁王佳明
- 关键词：时间资源性能分析
- 某机载战术态势处理机通讯模块的设计与实现
- 2016年
- 针对战术态势处理机在作战中与外围设备进行智能多功能通讯的需求,文章介绍了某机载战术态势处理机通讯模块的设计思想,并详细阐述了此通讯模块的功能、结构及具体的硬件和软件实现方法。经实际应用表明,该系统可靠性高,满足战术态势处理与显示功能需求。
- 陈伊卿段海军陈福
- 关键词：通讯模块串行通信
- 航空电子系统多核资源并发访问技术的研究
- 2022年
- 航空电子系统多核、多任务随机访问共享资源引起的资源竞争和原子性违背所导致的系统死锁,这类故障很难被复现。针对航空电子系统共享资源访问问题,提出了共享资源的集中访问、统一派遣的方式。系统中有且仅有一个核上的一个任务能够访问共享资源;其他核或任务需要从共享资源中获取数据时,由负责访问共享资源任务获取数据,根据需要将数据派遣给相关任务;其他核或任务需要发送数据时,将其派遣给负责访问资源的任务,由该任务访问资源发送数据。对模型进行测试,实验结果验证了方法在解决多核多任务访问共享资源访问的可行性和稳定性。
- 段海军郭勇陈福
- 关键词：航空电子系统多核多任务并发访问共享资源
- 面向IMA综合处理系统的日志管理系统设计与实现被引量：1
- 2012年
- 针对IMA综合处理系统的大规模软件运行需求,在分析其特点的基础上,提出了一种易于实现、使用方便的日志管理系统。系统主要分为三部分:基于Flash的日志管理、基于文件系统的日志管理和远程日志管理。在配有文件系统的模块上,提供了基于文件系统的日志管理,利用文件系统对数据管理的方式,管理日志记录的读写以及存储;在没有文件系统的模块上,提供基于Flash的日志管理,并根据Flash每次写一个扇区的特点,设计了异步写日志记录的机制,提高了Flash的写效率;同时设计了远程存取日志记录的机制,允许模块远程存取日志记录,扩大了日志记录的存储规模。系统是针对IMA综合处理系统的特点设计,能够满足航空电子系统对日志管理的需求。
- 段海军邸海涛张树兵刘建军陈福
- 关键词：日志管理FLASH
- 飞机机电综合管理平台应用任务调度方法研究被引量：6
- 2016年
- 针对飞机机电综合管理平台应用任务多、实时性强、安全性高的特点,通过研究ARINC653标准中的分区、进程两级任务调度机制和机载机电系统应用软件特点,设计了飞机机电综合管理平台应用任务分区划分、分区时间调度规划和分区内任务调度的具体方法;该方法可实现不同安全级别应用任务安全、实时共享机电综合管理平台资源;仿真实验结果表明,该方法能确定性保证飞机机电综合管理平台全部任务的可调度性,提高了系统安全性和硬件资源利用率,降低了系统开销。
- 陈福张晓红赵刚王山虎
- 关键词：飞机
- 基于ASAAC标准的BIT软件架构设计被引量：1
- 2016年
- 为检测和定位航空电子系统的故障,研究了ASAAC标准和自动测试技术。参照ASAAC标准的多级结构,将自测试系统分为节点级、子系统级和系统级三级测试,每一级分别设计了上电自测试、周期自测试和维护自测试,实现了对系统各个运行阶段及不同层次的测试。该系统不仅能检测系统的硬件状态,还能检测软件的启动和运行状态,提高了航空电子系统的自检测能力。
- 段海军陈福郭勇韩春阳
- 关键词：自测试
- 飞机机电核心处理机余度管理技术研究被引量：2
- 2016年
- 飞机机电核心处理机是整个机电系统的大脑,任务可靠性直接关系到飞机及机上人员安全。提高机电核心处理机任务可靠性和容错能力的关键在于余度管理。文章分析了飞机机电核心处理机余度管理需求,设计了一种余度管理方法。通过仿真实验,证明了该方法可有效提高机电核心处理机的任务可靠性,具备一定的工程实用价值。
- 陈福王山虎段海军陈伊卿李向东
- 关键词：机电系统余度管理
- 面向航空电子系统的网络文件系统设计被引量：1
- 2016年
- 针对IMA的多个应用模块的文件共享问题,基于具有自主知识产权的机载多分区实时OS平台,提出了一种网络文件系统NFS的设计方案。文中采用网络文件锁,通过对文件的上锁和解锁,实现多个分区互斥访问文件;使用权限验证机制验证用户对文件的访问权限,用户通过验证后方可对文件执行相应的操作;日志文件保存整个NFS的运行情况,用于对NFS性能的分析。文中阐述了NFS客户端、服务器端的设计和网络封装格式,并给出了NFS运行的原理图。
- 段海军陈福冯军波韩春阳
- 关键词：网络文件系统
- 机载通用数据加载工具软件的设计和实现
- 2021年
- 航电系统的综合化和模块化程度越来越高,机载网络技术也日趋复杂,一方面这使得航电系统中的加载数据的数量急剧增多,另一方面,对数据加载的质量提出了更高的要求,目前的数据加载软件已无法满足要求。通过分析数据加载工具软件的需求,采用分层设计的方法设计了系统的总体结构逻辑。阐述了主机端软件和目标机端软件的设计思路,并且进行了软件实现和验证。结果表明,该机载通用数据加载工具具有良好的配置性和通用性,且能够保证数据一致性和安全性。
- 陈宁吴云陈福王佳明
- 关键词：航电系统数据加载
