公开(公告)号：CN117632412A

公开(公告)日：2024-03-01

申请号：CN202311530902.1

申请日：2023-11-16

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  宋程昊 ,  刘洪标 ,  张锦坤 ,  刘波 ,  陈熙 ,  苗蕾 ,  杨建宇

IPC: G06F9/48 ,  G06F9/50 ,  G06F30/20

Abstract: 本发明涉及面向空间应用的混合实时任务调度及两级准入控制方法，包括：根据空间任务特点对任务进行数学建模，引入“任务关键等级”及任务运行时参数辅助准入控制方法设计；确定任务优先级分配策略及调度算法调度任务运行；计算在零散任务调度窗口内高优先级任务产生的最大干扰时间，并通过利用系统运行时任务实例参数信息提升分析精度；根据当前任务关键等级与系统平均任务关键等级的大小关系分别利用干扰时间上界(I BF)及响应时间分析(RTA)方法判定零散任务在当前系统中的可调度性。通过本发明方法可提高零散任务动态载入时的任务集可调度率，从而改善处理器资源利用率，保障航天器系统的实时性与可靠性。

公开(公告)号：CN119902598A

公开(公告)日：2025-04-29

申请号：CN202411990842.6

申请日：2024-12-31

Applicant: 北京控制工程研究所

Inventor： 陈熙 ,  刘洪标 ,  曹梦丹 ,  徐建 ,  彭飞 ,  邢卫卫 ,  尚智 ,  苗志富 ,  张潇锐 ,  张锦坤

IPC: G06F1/04 ,  G06F9/50

Abstract: 本发明公开了一种定时器配置方法及装置，属于时钟技术领域。方法包括：基于总线频率和预分频器的最大分频能力，确定预分频器所能提供的计时当量是否满足定时器所需实现的计时当量；若不满足，则基于总线频率p和定时器所需实现的计时当量，确定满足设定条件的一组正整数m和n；所述设定条件为mnf＝p；m和n均具有对应的选择范围，f为定时器所需实现的计时当量的倒数；并将预分频器的分频资源配置为m，将计数器的分频资源配置为nc；其中，c为所需的计时时长；利用配置好的结果进行计时。本发明能够在多级分频方式下弥补预分频器资源受限问题，且能够使得定时器的定时精度更高。

公开(公告)号：CN117555664A

公开(公告)日：2024-02-13

申请号：CN202311579716.7

申请日：2023-11-23

Applicant: 北京控制工程研究所

Inventor： 刘洪标 ,  王婷煜 ,  陈熙 ,  张锦坤 ,  宋程昊 ,  徐建 ,  彭飞 ,  乔磊 ,  刘波

IPC: G06F9/48

Abstract: 本发明提供了一种实时任务可调度性分析方法及装置，该方法包括：获取包括多个实时任务的任务集；根据实时任务的相对截止时间，从任务集中确定最大截止期；根据最大截止期，确定处理器时间轴的初始化二进制序列和实时任务的任务二进制序列；根据初始化二进制序列和任务二进制序列，按照实时任务的优先级由高至低的顺序进行可调度性分析。本方案能够快速精确得到实时任务的可调度性分析结果。