面向智能电网基础设施Cyber-Physical安全的自治愈基础理论研究

项目名称： 面向智能电网基础设施Cyber-Physical安全的自治愈基础理论研究

项目编号： No.61300132

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 王竹晓

作者单位： 华北电力大学

项目金额： 23万元

中文摘要： 自治愈技术是智能电网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,

英文关键词： Self-healing；Knowledge Representation and Reasoning；Distributed Dynamic Description Logics；Cyber-Physical System；Smart Grids