-
公开(公告)号：CN106445659B
公开(公告)日：2019-07-12
申请号：CN201610814726.8
申请日：2016-09-09
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方法在当固定时间点任务不占用CPU时，控制随机任务随时执行，直到任务在固定时间点启动运行，同时支持任务的实时加入和退出，与现有技术相比，能够有效的提高空间飞行器计算机的CPU利用率，使得操作系统不仅能保持原有任务调动策略，还具有良好的复用性、适应性和灵活性，具有很好的适用价值。
-
公开(公告)号：CN105204952B
公开(公告)日：2018-03-09
申请号：CN201510521047.7
申请日：2015-08-21
Applicant: 北京控制工程研究所
IPC: G06F11/07
Abstract: 本发明提供一种多核操作系统容错管理方法，主要包括，构建n×n的核间故障检测矩阵，每个处理器核利用核间故障检测矩阵定期检测系统中其他处理器核是否发生故障；其中，每个处理器核的故障检测包括：在每个定时监测周期起始，各个处理器核在核间故障检测矩阵中各自对应的一列k中的元素设置为TRUE；在每个定时监测周期末尾，各个处理器核查看矩阵中各自对应的一行j中的元素，如果其中某一个元素ejk不为TRUE，则认为与该列对应的处理器核k可能发生了故障，最后将行j中的元素全部清零。本发明的系统每个处理器核均具备对处理器中其他核进行故障检测的能力，大大提高了系统容错能力。
-
公开(公告)号：CN106708730A
公开(公告)日：2017-05-24
申请号：CN201611046321.0
申请日：2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
CPC classification number: G06F11/3608
Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
-
公开(公告)号：CN104657238B
公开(公告)日：2016-09-21
申请号：CN201510070076.6
申请日：2015-02-10
Applicant: 北京控制工程研究所
IPC: G06F11/16
Abstract: 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电路，该电路能够通过I/O接口被处理器访问和操作；(3)构建可重构阵列模型中N×N个节点之间的通信协议；(4)基于处理器通过步骤(3)建立的通信协议实现对可重构阵列模型的重构。
-
公开(公告)号：CN103713948B
公开(公告)日：2015-09-23
申请号：CN201310746023.2
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装，即先挂起函数TaskFunc_N()，再调用函数TaskFunc_N()；(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图，利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针；(3)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。
-
Patent Agency Ranking
公开(公告)号：CN104536835A
公开(公告)日：2015-04-22
申请号：CN201410773385.5
申请日：2014-12-12
Applicant: 北京控制工程研究所
Abstract: 一种热备份实时控制系统中自适应任务调度方法，(1)根据热备份实时系统中各项硬实时任务的特点，将任务分成单周期任务，多周期任务和空闲任务；(2)根据热备份实时系统中控制精度的需要，确定控制周期；判断单周期任务中是否包含交换比对任务，若不包含则额外设计一个交换比对任务，并确定所有任务的运行顺序和优先级；设置各项非空闲任务的启动时间点和截止时间点，并设置时间片的大小；(3)设置多周期任务的最小调度周期和最大调度周期；(4)在控制周期中断和时间片中断中按照步骤(2)确定的运行顺序进行任务调度，并在运行交换比对任务中对热备份实时控制系统中各机的任务调度完成情况进行比对，控制各机同时启动和结束多周期任务。
-
公开(公告)号：CN103713948A
公开(公告)日：2014-04-09
申请号：CN201310746023.2
申请日：2013-12-30
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装，即先挂起函数TaskFunc_N()，再调用函数TaskFunc_N()；(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图，利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针；(3)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。
-
公开(公告)号：CN103473156A
公开(公告)日：2013-12-25
申请号：CN201310439356.0
申请日：2013-09-24
Applicant: 北京控制工程研究所
Abstract: 一种基于实时操作系统的星载计算机三机热备份容错方法，首先构建三台装有相同实时操作系统的计算机。在每个控制周期中，每台单机都通过三机之间的数据交换获取另外两机的数据。然后按照本机和另一机、本机和第三机、另一机和第三机共三种情况进行比较。再根据数据比对结果是否一致，结合单机是否发生过复位、“切机命令字”是否有效等因素，设置本机是否健康的标志。三台单机同步运行，三机的对外输出控制状态相同，由当班机负责最终的对外输出。在故障处理时，由于三台单机均同步运行，当班机切换时不需要再获取状态，所以故障恢复时间短，实时性高，在切换过程中系统控制不存在间隙，系统控制可以平稳过渡，实现了系统的自主重构。
-
公开(公告)号：CN113934563B
公开(公告)日：2025-05-02
申请号：CN202111092931.5
申请日：2021-09-17
Applicant: 北京控制工程研究所
Abstract: 一种支持异构多处理器架构的程序配置方法，包括如下步骤：在NOR‑flash存储器中，存储两份CPU的程序，存储两份DSP的程序，均为同构备份；在EEPROM存储器中，存储一份CPU的程序，存储一份DSP的程序；与NOR‑flash中的存储程序异构容错；程序管理的配置参数存储在EEPROM中，采取按位三模冗余存储结构；CPU作为主控处理器，DSP作为协处理器，由CPU进行程序的统一管理。CPU根据配置参数要求对CPU、DSP的程序进行加载，启动多处理器运行；当配置参数在轨修改后，CPU对CPU和DSP进行复位控制，停止原程序运行，并按新的配置参数要求进行程序加载，重新启动多处理器运行，完成程序的在轨更新运行。
-
公开(公告)号：CN119473348A
公开(公告)日：2025-02-18
申请号：CN202411522483.1
申请日：2024-10-29
Applicant: 北京控制工程研究所
IPC: G06F8/65
Abstract: 本发明公开了一种航天器设备程序的更新系统及方法。包括：软件升级工具和待升级的航天器设备；所述软件升级工具的一端用于与移动存储设备连接，另一端用于与所述航天器设备连接，所述移动存储设备内存储有待更新的程序数据；当需要更新所述航天器设备程序时，在轨航天员将所述移动存储设备连接至所述软件升级工具，将所述软件升级工具与所述航天器设备连接，以基于预设策略将所述待更新的程序数据更新至所述航天器设备。本申请，便于航天员对航天器设备程序进行更新，更新效率高。
-
-
-
-
-
-
-
-
-
Search Results
48
records
(took 0.035 seconds)
