High Dependable Safety Critical Systems Based on Multilevel Criticality

杨仕平,桑楠,吴新勇,熊光泽
DOI: https://doi.org/10.3321/j.issn:1001-506x.2004.02.038
2004-01-01
Abstract:To improve the dependability of safety critical systems, after analyzing status quo of high dependable safeguard mechanism, an integrated high dependable safeguard systematic framework where several subsystems share the same system resources is proposed. However, the deleterious interferences among subsystems with different level of criticality must be avoided, for example, the residual design faults in low criticality software can not corrupt high criticality components. To resolve this problem, the multilevel security safeguard mechanisms used in information security domain are firstly analyzed. Following this, some safety access control rules abided by subsystems cooperating each another are proposed. To implement these rules, the reflective technology based on metaobject is adopted. About how to apply reflective technology to implement these rules is analyzed in details. At last, the result of experiment is supplied, and the related work and future trends of research in this field are listed.
What problem does this paper attempt to address?