公开(公告)号：CN115688650A

公开(公告)日：2023-02-03

申请号：CN202211351367.9

申请日：2022-10-31

Applicant: 北京控制工程研究所

Inventor： 王云鹏 ,  孙栋 ,  袁利 ,  刘磊 ,  张聪 ,  汤亮 ,  杜建伟 ,  谢鸣宇 ,  关智元

IPC: G06F30/3315

Abstract: 本发明公开了一种基于MBSE的航天器软件时序设计方法，包括基于模型构建系统工作流图，建立系统时序数学模型，进行裕量设计分配。本发明基于模型的系统工程(Model Based Systems Engineering,MBSE)，面对星上自主闭环软件时序进行设计，以基于模型的系统工程的标准活动图、状态机图对飞行模式进行建模，可利用建模工具将底层元素集成起来，便于时序设计过程中的模型组织管理、迭代修改升级，这为星上自主闭环软件时序设计带来了极大的便利，提高了设计效率。

公开(公告)号：CN115827190A

公开(公告)日：2023-03-21

申请号：CN202211438335.2

申请日：2022-11-16

Applicant: 北京控制工程研究所

Inventor： 杜建伟 ,  袁利 ,  张聪 ,  刘磊 ,  彭飞 ,  江耿丰 ,  谢鸣宇 ,  王云鹏 ,  关智元

IPC: G06F9/48

Abstract: 一种星载安全关键软件分布式多任务自组织调度方法，在经典分布式调度算法基础上，针对星载系统这类安全关键度相对较高的系统需求，以及任务动态变化的特点，通过建立扩展型加权有向无环图模型，实现安全关键任务的多点映射，同时采用空闲槽段插入以及关联任务调度时间重分配等方式，在维持当前任务多节点分配状态不变的情况下，将动态变换的任务合理分配到对应运算节点上，既保证安全关键任务的可靠性运行，同时在确保原有任务的运行状态不受影响的基础上，确保新增任务的实时运行。

公开(公告)号：CN115712432A

公开(公告)日：2023-02-24

申请号：CN202211352286.0

申请日：2022-10-31

Applicant: 北京控制工程研究所

Inventor： 杜建伟 ,  袁利 ,  刘磊 ,  张聪 ,  江耿丰 ,  彭飞 ,  谢鸣宇 ,  王云鹏 ,  关智元

IPC: G06F8/41 ,  G06F11/10 ,  G06F11/36

Abstract: 一种面向COTS平台的星载软件EDAC容错方法，基于星载EDAC硬件实现方式，设计EDAC校验模块和校验码，校验码采用海明码，程序可执行代码单个码字长度32位，校验码7位，实现纠一检二功能。通过可执行代码程序段插桩，在原始可执行代码中各模块被调用语句之前插入EDAC校验模块的调用语句，实现被调用模块执行前完成EDAC校验。对插桩后的每条可执行代码计算其校验码，作为程序区的一部分存放，采用“运行代码优先校验”的改进思路，设计软件模块调度前校验和空闲时段校验相结合的方式，对可执行代码进行EDAC校验。同时在程序存储区存放EDAC算法的副本，实现两份EDAC算法模块的相互校验，确保EDAC模块自身正确性。