自治愈技术是智能电网Cyber-Physical系统安全中重要的研究课题,对构建具有更高可靠性的电力系统具有重要的意义.自治愈系统监视Cyber-Physical系统的运行时属性,依据一个抽象的体系结构模型以判断系统是否违反约束条件,如发现一个问题,即在系统上执行基于模型的自恢复.本项目将分布式动态描述逻辑D3L引入到对系统的体系结构动态演化建模中,结合预测框架,研究自治愈基础理论和关键技术.首先,基于动态描述逻辑DDL,构建体系结构动态建模语言ADML,以描述系统运行时的体系结构模型.在此基础上,开发自治愈框架和启发式规划算法以自动化恢复动作的组合.进一步,设计混合模型预测框架,基于一系列不同的预测模型提供系统属性的预测值.最后,以D3L为参照,开发异构体系结构动态建模语言HADML及其分布式推理机.研发一体化自治愈平台,并在智能电网中对提出的理论方法的适用性和实用性进行验证.

The self-healing technology is among the most important R&D needs for cyber-physical systems security of the emerging smart grid. Unfortunately, today's power grid is extremely inhospitable for cyber-physical systems. New viruses and worms are discovered on a daily basis, and constantly threaten to compromise cyber-physical systems by exploiting the system's computational and physical elements vulnerabilities. The objective of this project is to develop the theoretical foundations of a self-healing infrastructure that allows cyber-physical systems to survive in this environment by maintaining availability while resisting attacks from compromised internal hosts and external attackers. The self-healing infrastructure uses an abstract architectural model to monitor a cyber-physical system's runtime properties, evaluates the model for constraint violation, and-if a problem occurs-performs global- and module-level adaptations on the cyber-physical system. We introduce the distributed dynamic description logic D3L into modeling the evolution of architecture and in the meantime, we focus on the research of basic theory and key techniques of the self-healing combined with a prediction framework. Research will be focused on four inter-dependent thrusts: 1) designing an Architecture Dynamic Modeling Language, called ADML, which is being developed as a new formal language and/or conceptual model for representing evolving system architectures; 2) developing both a self-healing framework and a fast heuristic algorithm for solving the automated repair action composition problem; 3) developing a prediction framework that provides predictions about a system's attributes from a variety of prediction models, in the context of continually adapting computing environment; and 4) creating the Heterogeneous Architecture Dynamic Modeling Language called HADML, which can be treated as an extension of the distributed dynamic description logic D3L. This project develops, prototypes and evaluates technologies for building self-healing infrastructure, enabling reliable and secure cyber-physical systems. By improving the protection of critical cyber-physical infrastructure against emerging threats, this research is expected to provide direct socio-economic benefits, ranging from individual organizations to a national scale.