安全核机制的分析

Analysis of Mechanism of Safety Kernel

  • 摘要: 安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析,讨论了该核的概念及特征,包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制,能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。

     

    Abstract: Safety kernel is a new mechanism providing safety assurance in safety-critical system. In this paper, many important concepts and characteristics of safety kernel are discussed by analyzing kernel method, such as the reason for its building, the requirements for its actualization, safety policies and architectures, etc. In addition, a reusable safety kernel mechanism is designed in this paper, which can address common problems found in safety kernel supporting reuse, such as dependencies on specific application software, in harmony of safety parameter expressiveness, etc.

     

/

返回文章
返回