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

Research on High Dependability Integration Technology of Safety Critical Real Time Systems

作　　者：杨仕平[1] 熊光泽[1] 桑楠[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,四川成都610054

出　　处：《电子学报》2003年第8期1237-1241,共5页Acta Electronica Sinica

基　　金：国防科技预研基金项目 (No.2 0 0 0J6 .7.1 .DZ0 2 0 6);国家十五项目 (No .41 31 50 4 0 1 0 6)

摘　　要：为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域 。After analyzing status quo of high dependability safeguard mechanism, an integrated high dependability safeguard systematic framework supporting multilevel criticality in which several subsystems share the same system resources is brought forward. In order to avoid deleterious interferences between subsystems with different criticality, a kind of high dependability temporal isolation mechanism based on two level scheduling approach is brought forward. In order to realize this mechanism, integrated high dependability safeguard mechanism supporting multilevel criticality based on single node computer is emphatically researched. The scheduling model is constructed. The schedulability of tasks and subsystems are analyzed. The correctness of time isolation mechanism is proved by several samples. The conclusion of researching on high dependability safeguard may be applied to the other no safety-related areas, and has great practicability.

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

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]