全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
电子学报  2003 

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

, PP. 1237-1241

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

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133