公开(公告)号：CN103412770A

公开(公告)日：2013-11-27

申请号：CN201310316991.X

申请日：2013-07-25

Applicant: 北京控制工程研究所

Inventor： 王婧 ,  彭飞 ,  戈强 ,  徐建 ,  杨桦 ,  刘波 ,  王勇 ,  于丹

IPC: G06F9/445 ,  G06F11/08

Abstract: 一种基于操作系统支持的嵌入式系统通用在线固化方法，本发明的硬件由目标机和地面机组成，两者互相连通，软件由操作系统、烧写程序和通用在线固化软件构成。操作系统运行于目标机程序存储器中，烧写软件运行于目标机内存中，通用在线固化软件运行于地面机上。目标机首先运行操作系统，操作系统成功接收到通用在线固化软件发送的烧写程序并通过校验后，跳转至烧写程序运行，烧写程序再成功接收到通用在线固化软件发送的待固化软件后，将待固化软件烧写至目标存储器中。本发明不需要调试器/仿真器，具有灵活性强、空间开销小、在线固化过程安全性和可靠性高的优点。

公开(公告)号：CN106708730B

公开(公告)日：2019-04-09

申请号：CN201611046321.0

申请日：2016-11-22

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  杨桦 ,  徐建 ,  乔磊 ,  谭彦亮 ,  邢晓琪 ,  周育逵 ,  顾斌 ,  彭飞

IPC: G06F11/36

Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。

公开(公告)号：CN104679557B

公开(公告)日：2018-04-10

申请号：CN201510065202.9

申请日：2015-02-06

Applicant: 北京控制工程研究所

Inventor： 彭飞 ,  衣学慧 ,  刘超伟 ,  邢林峰 ,  郝金华 ,  杜辉 ,  田宇斌 ,  李鹤 ,  董筠

IPC: G06F8/654

Abstract: 本发明公开了一种EEPROM在线烧写方法，利用基于GDB协议的监控程序实现对烧写程序和待烧入程序的加载和运行，并将待烧入程序烧写至EEPROM中。本发明方法在数据接收过程中将目标文件转换成二进制文件，减少了中间环节，降低了出错概率，并将烧写效率提高了20％。同时本发明方法利用开源的GDB协议进行数据传输，保证了数据的有效性和完整性。

公开(公告)号：CN104536835B

公开(公告)日：2018-02-06

申请号：CN201410773385.5

申请日：2014-12-12

Applicant: 北京控制工程研究所

Inventor： 王婧 ,  于丹 ,  张钊 ,  刘波 ,  徐建 ,  刘超伟 ,  彭飞 ,  王勇 ,  张高 ,  张维瑾 ,  郑永洁

IPC: G06F9/52 ,  G06F9/48

Abstract: 一种热备份实时控制系统中自适应任务调度方法，(1)根据热备份实时系统中各项硬实时任务的特点，将任务分成单周期任务，多周期任务和空闲任务；(2)根据热备份实时系统中控制精度的需要，确定控制周期；判断单周期任务中是否包含交换比对任务，若不包含则额外设计一个交换比对任务，并确定所有任务的运行顺序和优先级；设置各项非空闲任务的启动时间点和截止时间点，并设置时间片的大小；(3)设置多周期任务的最小调度周期和最大调度周期；(4)在控制周期中断和时间片中断中按照步骤(2)确定的运行顺序进行任务调度，并在运行交换比对任务中对热备份实时控制系统中各机的任务调度完成情况进行比对，控制各机同时启动和结束多周期任务。

公开(公告)号：CN107463442A

公开(公告)日：2017-12-12

申请号：CN201710566062.2

申请日：2017-07-12

Applicant: 北京控制工程研究所

Inventor： 龚健 ,  杨孟飞 ,  刘鸿瑾 ,  吴一帆 ,  杨桦 ,  王婧 ,  徐建 ,  吴军 ,  刘波 ,  彭飞

IPC: G06F9/50

Abstract: 本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多核SoC系统的多个处理器核并行运行调度器模块；调度器模块采用自旋锁访问全局任务调度队列OSTaskRdyList，从全局任务调度队列OSTaskRdyList中取得当前优先级最高的任务T1；调度器模块查找空闲的处理器核或者运行最低优先级任务的处理器核，把优先级最高的任务调度到该处理器核上。本发明解决了多任务在多核SoC上均衡分配和并行运行的问题，大幅度提高了多核SoC的计算和处理效率。

公开(公告)号：CN102937819A

公开(公告)日：2013-02-20

申请号：CN201210355272.4

申请日：2012-09-21

Applicant: 北京控制工程研究所

Inventor： 冯丹 ,  周新发 ,  刘群 ,  彭飞 ,  聂晓慧

IPC: G06F1/04

Abstract: 本发明公开了一种星载计算机时间标签输出系统，用于产生为卫星提供星上时间和外部输入锁存的的时间标签，包括：定时基准计数器、星上时间计数器、n个星时锁存器以及接口模块。采用本发明实现了星载控制计算机时间标签的输出。

公开(公告)号：CN102541623A

公开(公告)日：2012-07-04

申请号：CN201110433239.4

申请日：2011-12-20

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  吴军 ,  吴一帆 ,  杨桦 ,  彭飞 ,  刘鸿瑾

IPC: G06F9/455

Abstract: 一种嵌入式处理器的存储空间模拟方法，提供了嵌入式处理器的存储空间模拟方法。该方法可以模拟嵌入式处理器的完整存储空间，通过采用分页的方式来模拟大容量的完整存储空间，在分页机制下，只模拟程序中真正使用到的那部分存储空间，从而节省了模拟所需的空间开销；本方明针对不同的地址范围，采用静态模拟和动态模拟相结合的混合模拟方法，实现了一种效率高、开销低的大容量存储空间模拟机制。

公开(公告)号：CN102004664A

公开(公告)日：2011-04-06

申请号：CN201010517345.6

申请日：2010-10-18

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  赵玮 ,  孙越 ,  彭飞 ,  谢琼

IPC: G06F9/46 ,  G06F9/50

Abstract: 一种空间飞行器嵌入式实时操作系统调度方法，其特征在于包括：建立优先级映射表、索引表与多级任务链表的步骤；在任务调度点，选择最高优先级任务的步骤；根据优先级执行任务的步骤。本发明通过映射表、索引表实现了任务优先级的2维索引，较1维位图的方式明显减少了时间复杂度，同时又利用多级任务链表实现了对不同优先级任务的管理，在多级任务链表中根据优先级检索并执行任务，对于同优先级的多个任务又可采用时间片轮转的方法实现CPU资源的均匀分配。

公开(公告)号：CN113934457B

公开(公告)日：2024-12-24

申请号：CN202111094502.1

申请日：2021-09-17

Applicant: 北京控制工程研究所

Inventor： 苗志富 ,  陈建新 ,  周育逵 ,  彭飞 ,  刘超伟 ,  刘波 ,  韩朝君 ,  张琳 ,  王玉 ,  陈玙

IPC: G06F9/38 ,  G06F12/0884

Abstract: 一种基于单核DSP的并行计算优化方法，包括如下步骤：将待运行的程序分为关键复杂程序和非关键复杂程序，其中关键复杂程序固定运行在DSP的内部缓存中，非关键复杂程序运行在外部配置的RAM存储器中；对待运行程序中的循环语句，使循环计数器采用递减，且循环体内不进行循环嵌套；每个循环体用到的硬件资源不超过处理器中的运算单元个数和寄存器个数，使得每个循环体中的语句能够同时在多个运算单元中并行执行；采用单指令多数据指令对进行相同计算处理的数据进行汇编编程，提高数据处理的并行度。

公开(公告)号：CN115827190A

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

申请号：CN202211438335.2

申请日：2022-11-16

Applicant: 北京控制工程研究所

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

IPC: G06F9/48

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