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

杨仕平,熊光泽,桑楠
DOI: https://doi.org/10.3321/j.issn:0372-2112.2003.08.028
2003-01-01
Tien Tzu Hsueh Pao/Acta Electronica Sinica
Abstract: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.
What problem does this paper attempt to address?