一种配电物联网故障检测方法、装置、设备及存储介质制造方法及图纸

本发明专利技术公开了一种配电物联网故障检测方法、装置、设备及存储介质。该方法包括：运行由配电物联网源程序与故障检测代码编织而成的目标程序；其中，所述配电物联网中部署有目标传感器；所述故障检测代码是基于不变式检测生成的，用于根据所述目标传感器检测到的数据进行配电物联网故障检测；如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障。本发明专利技术实施例的技术方案基于不变式检测实现了配电物联网的安全检测，解决了现有的配电物联网终端安全防护不够成熟的问题。联网终端安全防护不够成熟的问题。联网终端安全防护不够成熟的问题。

【技术实现步骤摘要】
一种配电物联网故障检测方法、装置、设备及存储介质


[0001]本专利技术实施例涉及配电物联网安全
，尤其涉及一种配电物联网故障检测方法、装置、设备及存储介质。

技术介绍

[0002]传感器作为系统感知信息和获取数据的重要设备，在生态环境监测、工农业生产监控乃至国防军工等领域都有广泛的应用。但由于传感器部署区域的不确定性以及设备资源的有限性，外界因素的干扰和破坏对传感器数据造成了不可靠性的问题，如何对传感器数据进行检测是一个亟需解决的问题。
[0003]当前针对传感器数据异常检测的研究集中于无线传感器网络(Wireless Sensor Network，WSN)环境。在WSN环境下，为了提高系统整体的可用性，大量的无线传感器被分散部署在能量和带宽均受限的地区，这些传感器节点密集组网、相互协作地提供数据服务。在该环境下可以利用不同传感器节点数据流的时间与空间相关性进行异常检测。
[0004]但是将这些检测方法应用于配电物联网环境时，由于环境中部署的同类型传感器节点数量少，数据的空间相关性不足，基于空间相关性进行检测不仅增加方法的复杂度，而且检测效果也不理想。

技术实现思路

[0005]本专利技术实施例提供一种配电物联网故障检测方法、装置、设备及存储介质，以解决现有的配电物联网终端安全防护不够成熟的问题。
[0006]第一方面，本专利技术实施例提供了一种配电物联网故障检测方法，包括：
[0007]运行由配电物联网源程序与故障检测代码编织而成的目标程序；其中，所述配电物联网中部署有目标传感器；所述故障检测代码是基于不变式检测生成的，用于根据所述目标传感器检测到的数据进行配电物联网故障检测；
[0008]如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障。
[0009]第二方面，本专利技术实施例还提供了一种配电物联网故障检测装置，该装置包括：
[0010]目标程序运行模块，用于运行由配电物联网源程序与故障检测代码编织而成的目标程序；其中，所述配电物联网中部署有目标传感器；所述故障检测代码是基于不变式检测生成的，用于根据所述目标传感器检测到的数据进行配电物联网故障检测；
[0011]故障检测模块，用于如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障。
[0012]第三方面，本专利技术实施例还提供了一种计算机设备，包括：
[0013]一个或多个处理器；
[0014]存储器，用于存储一个或多个程序，
[0015]当所述一个或多个程序被所述一个或多个处理器执行，使得所述一个或多个处理
器实现如本专利技术任一实施例所述的方法。
[0016]第四方面，本专利技术实施例还提供了一种计算机可读存储介质，其上存储有计算机程序，该程序被处理器执行时实现如本专利技术任一实施例所述的方法。
[0017]本专利技术实施例的技术方案通过判断目标传感器检测到的数据是否符合与故障检测代码对应的不变式规范，实现对配电物联网终端故障进行检测，解决了现有技术中配电物联网安全检测方法复杂度高且检测效果不理想的问题，提高了配电物联网终端安全性。
附图说明
[0018]图1是本专利技术实施例一中的一种配电物联网故障检测方法的流程图；
[0019]图2是本专利技术实施例二中的一种配电物联网故障检测方法的流程图；
[0020]图3是本专利技术实施例二中的配电物联网故障检测方法所适用的目标程序的生成原理示意图；
[0021]图4是本专利技术实施例二中的生成配电物联网故障检测方法所适用的目标程序时编织程序的流程示意图；
[0022]图5为本专利技术实施例三中的第一种配电物联网故障检测方法的流程图；
[0023]图6为本专利技术实施例三中的第二种配电物联网故障检测方法的流程图；
[0024]图7为本专利技术实施例三中的第三种配电物联网故障检测方法的流程图；
[0025]图8是本专利技术实施例四中的一种配电物联网故障检测装置的结构示意图；
[0026]图9是本专利技术实施例五中的一种计算机设备的结构示意图。
具体实施方式
[0027]下面结合附图和实施例对本专利技术作进一步的详细说明。可以理解的是，此处所描述的具体实施例仅仅用于解释本专利技术，而非对本专利技术的限定。另外还需要说明的是，为了便于描述，附图中仅示出了与本专利技术相关的部分而非全部结构。
[0028]实施例一
[0029]图1为本专利技术实施例一提供的一种配电物联网故障检测方法的流程图，本实施例可适用于对配电物联网中目标传感器的数据进行异常检测的情况，该方法可以由配电物联网故障检测装置来执行，该装置可采用硬件和/或软件的方式实现,并一般可以集成计算机设备中，具体包括如下步骤：
[0030]S110、运行由配电物联网源程序与故障检测代码编织而成的目标程序。
[0031]其中，所述配电物联网中部署有目标传感器；所述故障检测代码是基于不变式检测生成的，用于根据所述目标传感器检测到的数据进行配电物联网故障检测。
[0032]其中，配电物联网源程序指的是需要进行故障检测的配电物联网程序。
[0033]故障检测代码，指的是对配电物联网中部署的目标传感器所采集的数据进行检测以识别配电物联网是否存在故障的代码。其中，目标传感器可以是用于对配电物联网的相关环境参数进行检测的任意一种传感器，例如可以是湿度传感器或温度传感器等。
[0034]不变式，是一种典型的规范说明，可以应用于静态分析、程序验证、软件测试、断言测试等各个领域。在本实施例中，基于不变式检测生成故障检测代码，以通过对配电物联网中部署的目标传感器所采集的数据进行检测实现对配电物联网的故障识别。
[0035]在本实施例中，将配电物联网源程序与故障检测代码通过编织器进行编织后，得到目标程序。其中，所述编织器可以为AOP(Aspect Oriented Programming，面向切面编程)编织器。
[0036]通常，编织器可分为预编译和中间代码生成两个部分，预编译部分通过词法和语法分析来解析Aspect代码，并将其代码符号存储在符号表中；第二部分中间代码生成将以符号表为基础，将Aspect代码转换成与源代码混合的中间代码，最后由c语言编译器编译生成最后的代码，从而达到编织的目的。
[0037]S120、如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障。
[0038]其中，不变式规范指的是使不变式符合逻辑，更加客观、真实、全面、完整且准确的一种规则。利用不变式规范可在不同情形下对执行程序进行判定约束，保证了方法的准确性。在本实施例中，主要是根据不变式规范对相关环境参数的检测程序进行判定。
[0039]在本实施例中，以目标传感器为温度传感器为例，若温度传感器采集到的温度数据符合不变式规范，则判定温度传感器所部署的配电物联网未发本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种配电物联网故障检测方法，其特征在于，包括：运行由配电物联网源程序与故障检测代码编织而成的目标程序；其中，所述配电物联网中部署有目标传感器；所述故障检测代码是基于不变式检测生成的，用于根据所述目标传感器检测到的数据进行配电物联网故障检测；如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障。2.根据权利要求1所述的方法，其特征在于，在运行由配电物联网源程序与故障检测代码编织而成的目标程序之前，还包括：通过动态不变量检测工具为所述配电物联网源程序生成不变式集合；其中，所述动态不变量检测工具的输入为所述配电物联网源程序和对应的测试用例集；根据所述不变式集合生成不变式规约，并将所述不变式规约映射为故障检测代码；将所述故障检测代码编织至所述配电物联网源程序中，得到所述目标程序。3.根据权利要求2所述的方法，其特征在于，通过动态不变量检测工具为所述配电物联网源程序生成不变式集合，包括：通过动态不变量检测工具根据预先设计的不同数值不变式之间的演化规则，为所述配电物联网源程序生成不变式集合；其中，所述不变式集合中包括等值不变式、集合不变式和范围不变式。4.根据权利要求1所述的方法，其特征在于，当所述不变式规范属于前置条件时，如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障，包括：在所述配电物联网中与所述目标传感器对应的数据检测程序执行之前，将所述目标传感器检测到的数据与所述前置条件进行多次对比；若存在不符合所述前置条件的数据，则确定所述配电物联网存在故障。5.根据权利要求1所述的方法，其特征在于，当所述不变式规范属于后置条件时，如果所述目标传感器检测到的数据不符合与所述故障检测代码对应的不变式规范，则确定所述配电物联网存在故障，包括：在所述配电物联网中与所述目标...

【专利技术属性】
技术研发人员：李伟青，赵瑞锋，周安，石扬，叶汇镓，谢彬淩，饶巨为，
申请(专利权)人：广东电网有限责任公司梅州供电局，
类型：发明
国别省市：