操作系统可生存性控制技术研究

操作系统作为重要的基础软件，支撑着网络和信息系统的运行，研究它在无边界网络中的可生存性技术以建立可生存性系统和网络，对于提高Internet中的国家关键性信息基础设施和信息战条件下的国防关键性系统的可生存能力，无疑是极其重要的。迄今为止，可生存性系统的研究主要集中在网络、存储和数据库等领域，操作系统的可生存性研究仍然是薄弱环节。由于操作系统本质上是一种离散事件系统(DES)，本项目拟从控制理论出发探索解决操作系统可生存性问题的途径。引入DES监控理论研究操作系统可生存性控制器，建立内核信息流的依赖图模型并以此为基础，研究可生存性控制的底层检测与控制算法，最后通过原型系统进行验证。为实现具有完整可生存性特征的操作系统探讨其理论与技术基础，最终提高国家关键信息系统在无边界网络中的可生存能力。