安全保障新技术——防危核

• 作 者: 黎忠文 桑楠 熊光泽
• 机 构: 电子科技大学计算机学院
• 出 处: 第十一届全国抗恶劣环境计算机学术年会
• 发表日期: 2001年期
• 关键词: 安全保障 新技术 分布式控制系统 防危核 防危技术 原理 应用 移用 软件 起源 基础

软件的大量应用使大型分布式控制系统面临严峻的安全考验,迫切需要新的防危技术.防危核(safety kernel)就是应运而生的一种防危新技术.本文从起源、原理、实现方案和优势等重要方面深入地分析了防危核,并在此基础上探讨把防危核现有实现方案直接移用于大型分布式控制系统存在的困难以及要解决这些困难还需进行的研究.