您的位置: 专家智库 > >

国家高技术研究发展计划(2011AA010105)

作品数:4 被引量:26H指数:2
相关作者:顾斌王磊赵雷杨孟飞陈睿更多>>
相关机构:北京控制工程研究所空间智能控制技术国防科技重点实验室中国空间技术研究院更多>>
发文基金:国家高技术研究发展计划国家自然科学基金更多>>
相关领域:自动化与计算机技术航空宇航科学技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 1篇调度
  • 1篇信息物理融合...
  • 1篇指令集
  • 1篇数据竞争
  • 1篇嵌入式
  • 1篇嵌入式软件
  • 1篇抢占阈值
  • 1篇抢占阈值调度
  • 1篇阈值
  • 1篇外设
  • 1篇模拟器
  • 1篇模拟器设计
  • 1篇可调度性
  • 1篇TMS320...
  • 1篇CPS

机构

  • 4篇北京控制工程...
  • 1篇西北工业大学
  • 1篇中国空间技术...
  • 1篇空间智能控制...

作者

  • 2篇顾斌
  • 1篇张西超
  • 1篇杨孟飞
  • 1篇郭向英
  • 1篇段永颢
  • 1篇董云卫
  • 1篇赵雷
  • 1篇王磊
  • 1篇陈睿
  • 1篇葛永琪
  • 1篇盛庄

传媒

  • 2篇计算机工程与...
  • 1篇计算机研究与...
  • 1篇空间控制技术...

年份

  • 1篇2015
  • 2篇2013
  • 1篇2012
4 条 记 录,以下是 1-4
排序方式:
基于VTEST的TMS320C3x指令集模拟器设计被引量:2
2013年
TMS320C3x指令集模拟器主要由指令集、中断和外设模块3部分组成。根据TMS320C3x指令的寻址特点,提出了双线代码指令模拟技术,该技术既能降低开发模拟程序的工作量,又能保证模拟效率;通过对中断识别机制的研究,给出了模拟器中断响应过程;设计了基于VTEST的事件驱动定时模拟方法,可降低外设模拟时对模拟器性能的影响。在实验部分,对模拟器性能进行了验证,实验结果表明了该模拟器具有较快的模拟速度。
郭向英盛庄张西超
关键词:模拟器外设
能量收集信息物理融合系统抢占阈值调度被引量:2
2015年
在能量收集信息物理融合系统(energy harvesting based cyber-physical systems,EHCPS)中,其能量管理体系结构不同于传统电池供电嵌入式系统,任务调度策略需要考虑能量收集单元的能量输出、电池的能量存储和计算任务的能量消耗.实时任务在满足能量约束的情况下,才能满足时间约束.传统抢占阈值调度的可调度性分析没有考虑任务的能量属性,其阈值分配算法也不适用于EHCPS.针对此问题,提出了一种能量相关抢占阈值调度策略(energy related preemption threshold scheduling,ERPT),在可调度性分析中融入任务能耗属性和能量补充能力,并给出了阈值分配算法,为抢占阈值调度在EHCPS中的应用提供了一种解决方法.通过与目前现有的2个经典调度策略进行比较,验证了ERPT策略能够有效减少任务抢占.
葛永琪董云卫顾斌
关键词:信息物理融合系统抢占阈值可调度性
CPS在航天器控制系统中的应用分析被引量:12
2012年
航天器控制系统是一种典型的信息-物理融合系统(CPS),应用CPS技术将是提高航天器控制系统设计正确性和效率的一个重要途径.在探讨CPS系统特征和CPS技术研究的进展以及分析航天器控制系统的技术特点的基础上,分析了在航天器控制系统中应用CPS技术的可行性,提出了基于CPS技术的系统设计的新思路和技术途径,并研究了在航天器控制系统中应用CPS技术需解决的问题和面临的挑战.
杨孟飞王磊顾斌顾斌
基于启发式的静态中断数据竞争检测方法被引量:10
2013年
提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker。给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率。实验验证了该方法的有效性。
段永颢陈睿
关键词:数据竞争嵌入式软件
共1页<1>
聚类工具0