智能电网的信息物理安全综述

现代智能电网是一个典型的信息物理融合系统,融合了电力系统工程技术和通信信息技术.由于目前计算机网络和通信网络经常遭受网络攻击,因此,依赖于通信信息技术的智能电网也成为网络攻击的重点对象.其中有一种信息物理融合攻击——“虚假数据攻击”,引起各界广泛关注,这种攻击可以通过访问远程终端设备,干扰通信或协同攻击数据流,以篡改通信网络传输数据,使电力系统控制中心的传统不良数据检测机制失效,进而导致设备故障甚至系统崩溃.根据其攻击对象,可归纳为四大类:设备攻击、数据攻击、隐私信息攻击和网络可达性攻击.为了防御这种攻击,需结合电力系统特点和网络数据流特征,检测不良的信息数据,定位故障的物理设备,以清除攻击影响.随着新信息技术的不断发展,信息物理融合安全问题将面临巨大的挑战.

基于限定中文自然语言需求的SysML模型自动生成方法

模型驱动开发方法逐渐成为安全关键信息物理融合系统(safety-critical cyber-physical system,SC-CPS)设计与开发的重要手段.然而,安全关键信息物理融合系统需求往往是通过自然语言描述的,如何自动化或半自动化链接自然语言需求和基于模型驱动的系统设计与开发过程是目前面临的重要挑战.面向安全关键信息物理融合系统,提出基于限定中文自然语言需求的SysML模型自动生成方法RNL2SysML.首先,为了降低自然语言需求表达的二义性,提出一种结构化的限定自然语言需求模板进行需求规约,并通过基于人工智能的(AI)安全关键信息物理融合系统术语提取和推荐方法,对系统需求中的领域术语和数据字典加以自动提取,提高限定自然语言需求规约工作的自动化程度.然后,给出限定自然语言需求规约到SysML系统设计模型的转换方法.最后,基于开源工具Papyrus对所提方法进行了原型工具实现,并通过航空领域的飞机空气增压系统(airplane air compressor system)案例验证了方法的有效性和实用性.