安全关键实时系统高可信集成技术的研究

被引：5

作者：

杨仕平

熊光泽

桑楠

机构：

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

来源：

电子学报 | 2003年 / 08期

关键词：

安全关键; 多级关键度; 高可信; 调度分析; 时间隔离;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域 ,具有较大的实用性

引用

页码：1237 / 1241

页数：5