论文部分内容阅读
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义.安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一.本文以研究安全核为出发点,深入分析基于反射机制的安全核实现方式以及安全策略调度问题实现的可行性和关键技术,以期为这类安全关键系统提供新的,更有效的安全保障技术支持.