-
公开(公告)号:CN119883557A
公开(公告)日:2025-04-25
申请号:CN202411957011.9
申请日:2024-12-29
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种嵌入式Linux平台的实时性改进方法。本发明针对嵌入式Linux操作系统中用户应用对实时性需求的不同,提出基于操作系统虚拟技术的嵌入式系统架构:根据任务的实时性需求,将内核划分为非实时域和实时域,共同实现了嵌入式Linux平台的任务调度,提高实时任务的响应速度,增强系统的实时性。
-
公开(公告)号:CN119829236A
公开(公告)日:2025-04-15
申请号:CN202411810296.3
申请日:2024-12-10
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种三态系统中分区操作系统的中断服务实现方法,在三态系统的配置记录中定义中断服务的名称和所属的分区号,然后编译配置记录生成中断服务配置记录信息包;随后当三态系统启动后,将中断服务配置记录信息包共享给所有系统态的分区操作系统;本发明能够实现在三态分区操作系统下能够使进程被通过配置记录定义好的外部事件直接进行触发,提高系统应用的灵活性。
-
公开(公告)号:CN116069750A
公开(公告)日:2023-05-05
申请号:CN202211617707.8
申请日:2022-12-15
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F16/18 , G06F16/182
Abstract: 本发明涉及机载嵌入式信息安全领域,提供一种实现机载环境下关键文件副本一致性的方法和系统,由客户端节点、主文件服务器节点以及从文件服务器节点三部分组成,副本一致性管理应用于主文件服务器与从文件服务器。通过设计实现机载环境下关键文件副本一致性的方法,解决了文件服务器对关键文件/副本单节点写入过程中由于设备突然下电、重启等导致本地写操作异常,造成关键文件副本不一致的问题,满足机载环境下,对关键文件/副本执行文件前滚/回滚操作时要支持高性能、高可靠性的要求。
-
公开(公告)号:CN116049781A
公开(公告)日:2023-05-02
申请号:CN202211626071.3
申请日:2022-12-15
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本申请提供了一种确定二进制映像真实性的方法,属于计算机系统软件技术领域,具体包括接收要加载在处理设备上的程序的源代码;生成源代码的表示;生成第一身份验证指示符,用于说明所述未签名二进制映像是真实的并且基于源代码;生成第二身份验证指示符,用于说明生成未签名二进制映像的构建服务器是真实的,使用证明操作生成证明签名;分别使用供应商和管理员密钥使用二进制签名和证明签名对未签名的二进制映像进行签署,并生成包含所述二进制签名和所述证明签名的已签名二进制映像。通过本申请的处理方案,验证二进制映像的真实性。
-
公开(公告)号:CN116048783A
公开(公告)日:2023-05-02
申请号:CN202211613930.5
申请日:2022-12-15
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种混合安全关键系统的确定性调度方法,分析混合安全关键系统中的竞争资源,分析各系统应用的资源需求量,利用操作系统的配置能力,为系统应用分配固定额度的资源。在运行时周期性地监控系统应用各资源的使用数据。在系统应用资源使用超额时,如果当前系统有剩余的资源,可临时分配应用,保障应用的资源需求;如果当前系统没有剩余数的资源,停止应用的运行,保障其他应用不被干扰。建立资源分配、监控、警报、调整机制,缓解应用间的资源竞争冲突,保证安全关键应用运行时的确定性。
-
公开(公告)号:CN109582391B
公开(公告)日:2022-05-24
申请号:CN201811471405.8
申请日:2018-12-04
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F9/445
Abstract: 本发明涉及一种基于XML的设备树配置方法,包括以下步骤:(1)定义符合XML语法规则的设备树描述方案;(2)依照XML Schema Definition规则,定义步骤(1)中所述设备树描述方案的XSD文件,借助支持XSD的图形化XML工具,辅助技术人员采用XML语言对设备树进行配置,得到的配置结果结合步骤(2)中的XSD文件,自动生成自定义链接信息;(3)利用解析工具,将在步骤(2)中得到的设备树转换为标准DTB文件。本发明使得在对设备树进行配置的同时生成链接信息,消除了设备配置和驱动配置不一致的风险。
-
公开(公告)号:CN119883324A
公开(公告)日:2025-04-25
申请号:CN202411957014.2
申请日:2024-12-29
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种AMP模式下主核热加载从核系统的方法,用于在ARM平台的AMP模式下,基于主处理器核热加载从处理器核裸机可执行程序或系统二进制镜像文件;主处理核采用读写内存的方式将待执行的从处理器核的二进文件或裸机应用程序的执行地址写入ARM片上存储OCM中,在需要加载到从处理器核心时候激活该操作。本发明在一定程度上可避免硬件平台的冗余设计,减少在项目初期硬件及BSP研发成本。
-
公开(公告)号:CN119883300A
公开(公告)日:2025-04-25
申请号:CN202411957009.1
申请日:2024-12-29
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F8/61 , G06F8/41 , G06F11/3668
Abstract: 本发明属于互联网软件开发运维技术领域,具体涉及一种基于云平台的DevOps持续集成交付系统,包括项目管理模块和制品库模块;通过整合云计算的弹性计算、高可用性和自动化管理优势,以及DevOps的敏捷开发与运维一体化理念,实现软件开发从代码提交到生产部署的全自动化系统。
-
公开(公告)号:CN118035030A
公开(公告)日:2024-05-14
申请号:CN202311828055.7
申请日:2023-12-27
Applicant: 中国航空工业集团公司西安航空计算技术研究所
Abstract: 本发明提供了一种基于Uboot的操作系统故障监控方法,包括:操作系统上电后,CPU主核将通过Uboot获得的操作系统的内核起始地址传递至一个CPU从核,使该CPU从核执行操作系统的初始化任务,所述CPU主核执行Uboot的故障监控任务;操作系统初始化后执行故障监控代理线程,故障监控代理线程采集操作系统的故障信息并存储至故障信息存储域中;Uboot的故障监控任务从故障信息存储域中读取故障信息,对故障信息解析得到故障类型,执行故障处理表中与故障类型匹配的故障处理动作进行故障处理。本发明的方法可以保证Uboot与操作系统同时运行,互不干扰,简化了操作系统故障定位,提高系统的可靠性。
-
公开(公告)号:CN117851241A
公开(公告)日:2024-04-09
申请号:CN202311841880.0
申请日:2023-12-28
Applicant: 中国航空工业集团公司西安航空计算技术研究所
IPC: G06F11/36
Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种基于Linux平台的自动化测试方法,本发明设计出一种面向测试操作人员的测试总体框架,基于测试内容和测试工具定制测试用例,实现了Linux操作系统自动化测试运行,提高测试效率,具有可扩展性,解决Linux操作系统的测试工具类型众多,输出结果形式多样,难以统一管理的问题。本发明针对Linux操作系统不同的测试内容,提出一种自动化的测试总体框架;根据测试工具的使用方法,基于测试内容设计测试用例;实现了Linux操作系统自动化测试运行,并具有可扩展性;节省人力,提高了测试效率,具有良好的代码移植性和可重复性。
-
-
-
-
-
-
-
-
-