徐建
- 作品数：45 被引量：35H指数：4
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金国家中长期科技发展规划重大专项中国科学院软件研究所计算机科学国家重点实验室开放课题基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种优先级抢占时间片轮转操作系统中任务定时调度方法
- 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行...
- 龚健杨孟飞乔磊杨桦顾斌彭飞王婧徐建刘波
- 文献传递
- 面向星群组网的仿真平台和星群组网运行实例的验证方法
- 本发明涉及航空航天技术领域，特别涉及一种面向星群组网的仿真平台和星群组网运行实例的验证方法。平台包括：开发对象仿真模块、星座模拟模块和API网关，星座模拟模块包括星座模型、遥感模型和通信模型；星座模型用于模拟各节点，并实...
- 杨建宇李圣龙张锦坤乔磊徐建苗蕾刘晨璐周育逵曹梦丹
- 一种基于阵列结构的可重构容错方法
- 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电...
- 杨孟飞龚健刘波杨桦刘鸿瑾赵云富胡洪凯董暘暘王婧徐建苗致富张绍林
- 文献传递
- 一种星载计算机内部处理器单元和IO单元之间的数据交换系统及方法
- 一种星载计算机内部处理器单元和IO单元之间的数据交换系统及方法，设计了一个具有自主执行IO访问指令能力的控制器，CPU可以直接访问IO控制器也可以通过一个高速存储器和IO控制器实现数据交互。处理器可将需要IO控制器执行的...
- 江耿丰冯丹文亮刘波徐建李森袁文彬史少龙张凯董暘暘
- 一种空间飞行器周期性混成随机任务调度方法
- 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方...
- 乔磊龚健杨孟飞杨桦彭飞徐建谭彦亮吴一帆刘忠汉
- 文献传递
- 一种多机热备份计算机初始同步方法
- 本发明公开了一种多机热备份计算机初始同步方法，包括以下步骤：热备份计算机接收外部输入的同一个同步时钟信号；各热备份计算机完成初始化工作后即向其他单机发送A信息，A信息内容为本机具备同步工作条件；某热备份计算机收到所有其他...
- 刘超伟王婧刘波赵玮胡洪凯徐建梁洁玫王勇何健李森丁泳鑫
- 文献传递
- 一种针对嵌入式实时操作系统形式化验证方法
- 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形...
- 杨孟飞杨桦徐建乔磊谭彦亮邢晓琪周育逵顾斌彭飞
- 文献传递
- 一种星载多核SoC任务级负载均衡并行调度方法
- 本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多...
- 龚健杨孟飞刘鸿瑾吴一帆杨桦王婧徐建吴军刘波彭飞
- 文献传递
- 高速缓存影响的航天器控制软件调度设计方法
- 2017年
- 针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.
- 于广良杨孟飞姜宏徐建
- 关键词：高速缓存调度设计
- 航天嵌入式软件可信性度量方法及应用研究被引量：10
- 2015年
- 航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.
- 王婧陈仪香顾斌郭向英王保华金晟毅徐建张居阳
