一种确定二进制映像真实性的方法

    公开(公告)号:CN116049781A

    公开(公告)日:2023-05-02

    申请号:CN202211626071.3

    申请日:2022-12-15

    Abstract: 本申请提供了一种确定二进制映像真实性的方法,属于计算机系统软件技术领域,具体包括接收要加载在处理设备上的程序的源代码;生成源代码的表示;生成第一身份验证指示符,用于说明所述未签名二进制映像是真实的并且基于源代码;生成第二身份验证指示符,用于说明生成未签名二进制映像的构建服务器是真实的,使用证明操作生成证明签名;分别使用供应商和管理员密钥使用二进制签名和证明签名对未签名的二进制映像进行签署,并生成包含所述二进制签名和所述证明签名的已签名二进制映像。通过本申请的处理方案,验证二进制映像的真实性。

    一种混合安全关键系统的确定性调度方法

    公开(公告)号:CN116048783A

    公开(公告)日:2023-05-02

    申请号:CN202211613930.5

    申请日:2022-12-15

    Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种混合安全关键系统的确定性调度方法,分析混合安全关键系统中的竞争资源,分析各系统应用的资源需求量,利用操作系统的配置能力,为系统应用分配固定额度的资源。在运行时周期性地监控系统应用各资源的使用数据。在系统应用资源使用超额时,如果当前系统有剩余的资源,可临时分配应用,保障应用的资源需求;如果当前系统没有剩余数的资源,停止应用的运行,保障其他应用不被干扰。建立资源分配、监控、警报、调整机制,缓解应用间的资源竞争冲突,保证安全关键应用运行时的确定性。

    一种基于XML的设备树配置方法

    公开(公告)号:CN109582391B

    公开(公告)日:2022-05-24

    申请号:CN201811471405.8

    申请日:2018-12-04

    Abstract: 本发明涉及一种基于XML的设备树配置方法,包括以下步骤:(1)定义符合XML语法规则的设备树描述方案;(2)依照XML Schema Definition规则,定义步骤(1)中所述设备树描述方案的XSD文件,借助支持XSD的图形化XML工具,辅助技术人员采用XML语言对设备树进行配置,得到的配置结果结合步骤(2)中的XSD文件,自动生成自定义链接信息;(3)利用解析工具,将在步骤(2)中得到的设备树转换为标准DTB文件。本发明使得在对设备树进行配置的同时生成链接信息,消除了设备配置和驱动配置不一致的风险。

    一种基于Uboot的操作系统故障监控方法

    公开(公告)号:CN118035030A

    公开(公告)日:2024-05-14

    申请号:CN202311828055.7

    申请日:2023-12-27

    Abstract: 本发明提供了一种基于Uboot的操作系统故障监控方法,包括:操作系统上电后,CPU主核将通过Uboot获得的操作系统的内核起始地址传递至一个CPU从核,使该CPU从核执行操作系统的初始化任务,所述CPU主核执行Uboot的故障监控任务;操作系统初始化后执行故障监控代理线程,故障监控代理线程采集操作系统的故障信息并存储至故障信息存储域中;Uboot的故障监控任务从故障信息存储域中读取故障信息,对故障信息解析得到故障类型,执行故障处理表中与故障类型匹配的故障处理动作进行故障处理。本发明的方法可以保证Uboot与操作系统同时运行,互不干扰,简化了操作系统故障定位,提高系统的可靠性。

    一种基于Linux平台的自动化测试方法

    公开(公告)号:CN117851241A

    公开(公告)日:2024-04-09

    申请号:CN202311841880.0

    申请日:2023-12-28

    Abstract: 本发明属于计算机系统软件技术领域,具体涉及一种基于Linux平台的自动化测试方法,本发明设计出一种面向测试操作人员的测试总体框架,基于测试内容和测试工具定制测试用例,实现了Linux操作系统自动化测试运行,提高测试效率,具有可扩展性,解决Linux操作系统的测试工具类型众多,输出结果形式多样,难以统一管理的问题。本发明针对Linux操作系统不同的测试内容,提出一种自动化的测试总体框架;根据测试工具的使用方法,基于测试内容设计测试用例;实现了Linux操作系统自动化测试运行,并具有可扩展性;节省人力,提高了测试效率,具有良好的代码移植性和可重复性。

Patent Agency Ranking