Hades高可信架构中固定延迟分区实时调度

来源 :计算机辅助设计与图形学学报 | 被引量 : 0次 | 上传用户：june_jt

【摘要】

：

为了增强不同安全等级的复杂嵌入式安全关键系统的高可信能力,Hades架构以"时空隔离"思想和分区机制为基础,各分区分时共享系统物理资源.针对Hades中分区的实时调度问题,提出一种固定延迟分区调度模型,并采用优先级位图算法设计了分区级和任务级两级调度机制;为了保障分区中所有实时任务的可调度性,对分区中任务组采用单调速率调度和最早截止时间优先2种调度策略,并分别给出任务可调度条件.最后,通过仿真实验

【作者】

：

杨霞熊光泽桑楠张宁

【机构】

：

电子科技大学计算机科学与工程学院

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2009年11期

【关键词】

：

嵌入式安全关键系统 Hades高可信软件架构固定延迟分区调度模型两级调度机制可调度条件 embedded security/safety of bound

【基金项目】

：

国家“八六三”高技术研究发展计划（2006AA01Z173,2007AA01Z131）,电子科技大学校青年基金（L08010601JX05030,L08010601JX0752）.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

蕃茄杂交制种产量低的原因及对策

蕃茄杂交制种一般667m^2产量10～15kg。高产20kg，相对20世纪80—90年代产量下降了许多。种子产量低目前在全国乃至全世界都是公认的。这里面有种子科研单位选育的方向和改进问题

期刊

杂交制种产量低蕃茄原因科研单位管理问题种子千粒重

玉米区域试验新品种的方差分析与灰色综合评判的比较研究

利用方差分析和灰色理论对河南省玉米区域试验18个玉米新品种的产量及构成因素进行综合评判。结果表明:二者的结果是有区别的,灰色关联度综合评判考察的性状更多,标准更加严

期刊

杂交玉米区域试验灰色关联度方差分析综合评判

圆域B样条曲线的节点去除

在圆域算术的基础上,引入了圆域B样条曲线的概念,并讨论了它的一些基本性质.研究了圆域B样条曲线的节点去除问题,即用去除一个节点后的圆域B样条曲线包住原曲线,采用拟线性规划和最佳逼近2种方法,分别给出了该问题的解析解.

期刊

B样条曲线节点去除圆域B样条曲线拟线性规划最佳逼近B-spline curve knot-removal disk B-spline curve

小麦良种生产的质量控制措施

小麦良种生产环节较多，除生物学混杂外，机械混杂的机会也较多。加之受我国现行的农村土地联产承包、以户分散经营的体制制约，统一性较差，组织化程度较低，要建立规模化、标准化的种

期刊

良种生产质量控制措施小麦良种小麦生产基地生产关系粮食安全关系社会稳定积极性

高产抗病水稻新品种野丰占的选育

野丰占是用丰丝占与野丝占有性杂交育成的感温型籼稻优质软米品种,经2008-2009年广东省早造区试及生产试验,表现抗性好、产量高、株叶形态好、抗倒性强、后期熟色好、适应性

期刊

水稻新品种农作物品种审定委员会选育抗病软米品种杂交育成生产试验株叶形态

以学定教，凸显语文本体性教学--以《风筝》的教学为例

教育要转型，课堂要先行，从“教为中心”到“学为中心”的转变，则对教师提出了更高的要求。实行课堂转型两年多，期间也曾研究过不少课例，自己也在努力地尝试，可仍感到迷惘。我反复咀

期刊

以学定教《风筝》本体性教学语文课堂转型教育教师

人人都是爱写作的铅笔——三年级快乐习作教学策略谈

三年级学生初入习作殿堂，刚从“写话”过渡到“习作”，难免会碰到很多困难。如何帮助学生解决习作难题，是每位语文教师沉甸甸的责任。2011年版《语文课程标准》对第二学段习作明

期刊

习作教学快乐写作三年级教学策略《语文课程标准》铅笔语文教师书面表达

杂交棉新品种W8225配套栽培技术研究

2004-2007年开展了W8225配套栽培技术研究。结果表明：W8225地膜覆盖栽培技术措施的优化组合为：每hm^2密度为42000株,追施尿素300kg、磷酸二铵375kg、硫酸钾225kg,单株摘早蕾8个

期刊

棉花栽培技术优化组合

杂交水稻汕优608超高产栽培技术

汕优608是由贵州省黔东南州农业科学研究所培育的高抗稻瘟病中迟熟杂交水稻新组合，2004年通过贵州省审定。2006年该品种获贵州省科技成果重点推广项目．拟在贵州境内海拔1000m以

期刊

超高产栽培技术杂交水稻高产配套栽培技术农业科学研究所大面积示范推广抗稻瘟病贵州省黔东南州

温室蔬菜高效益栽培关键技术探析

近年来,有些地区日光温室蔬菜种植效益差距较大,高者667m2产值达4万~6万元,低者仅有1万元左右。原因固然有许多方面,但主要原因是种植者掌握蔬菜特性与栽培技术的程度不同。

期刊

温室蔬菜果菜类蔬菜日光温室蔬菜种植关键措施主要原因通风早期产量生长调控栽培技术

Hades高可信架构中固定延迟分区实时调度

与本文相关的学术论文