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.
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.DOI：
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
京公网安备11010802024621