

浏览全部资源
扫码关注微信
电子科技大学计算机科学与工程学院,四川,成都,610054
Published:2003
移动端阅览
YANG Shi-ping, XIONG Guang-ze, SANG Nan. Research on High Dependability Integration Technology of Safety Critical Real Time Systems[J]. Acta Electronica Sinica, 2003, 31(8): 1237-1241.
为增强安全关键实时系统的可信性
在分析高可信保障机制现状的基础上
提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构.为防止不同关键度子系统间的有害干扰
提出了基于两级结构化调度方法的时间隔离机制.为实现时间隔离
论文首先针对集成式多级关键高可信保障机制建立了调度模型
然后进行了子系统及其任务的可调度性分析
最后用实例进行了例证.本文的研究成果也可应用于其他非关键领域
具有较大的实用性.
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.
0
Views
779
下载量
2
CSCD
Publicity Resources
Related Articles
Related Author
Related Institution
京公网安备11010802024621