CN109815124A - 基于mbse的联锁功能缺陷分析的方法及装置、联锁系统 - Google Patents

Abstract

本发明的实施例公开了基于MBSE的联锁功能缺陷分析的方法及装置、联锁系统，采用Scade模型逻辑和C代码程序逻辑组成联锁系统，在联锁系统运行或者调试过程中，获取由Scade模型逻辑生成的第一日志数据和由C代码程序逻辑生成的第二日志数据。若第一日志数据和第二日志数据存在不相同的日志数据，则联锁系统宕机。相比于均采用C代码程序逻辑组成的联锁系统，采用两套不同的逻辑的联锁系统，避免了两个系统中出现相同故障时无法及时发现问题的情况，提高了对联锁系统诊断的准确性，消除了安全隐患。另一方面，导入函数能够定位第一日志数据的来源，因此通过本发明的方法可以定位出Scade模型中出现故障的逻辑模块，使得能够及时对存在故障的逻辑模块进行修复。

Description

基于MBSE的联锁功能缺陷分析的方法及装置、联锁系统

技术领域

本发明实施例涉及行车系统安全控制技术领域，尤其是涉及一种基于MBSE的联锁功能缺陷分析的方法及装置、联锁系统。

背景技术

TIFLOCK-200计算机联锁系统采用二乘二取二安全计算机平台。Scade控制软件模型设计(简称MBSE)建立在严格的数学模型基础之上，具有严格的数学意义，它保证了设计模型的精确性、完整性、一致性、可验证性和无二义性。

一方面，目前联锁系统多采用两套C代码程序逻辑作为二乘二取二的两个系统，两个系统都是C代码程序逻辑，当某一程序模块出现了同一问题时，通过二乘二取二无法及时发现问题，对系统的安全运行带来隐患。

另一方面，如果将Scade模型应用到联锁系统中，由于联锁系统中的数据结构相对来说还是比较复杂的，如此复杂的数据结构在模型当中处理起来相对困难增大了。因为模型当中存在很多嵌套的循环逻辑，复杂的数据结构在模型当中处理，数据量指数倍地增加，应用处理的时间也会增大。因此，若将Scade模型应用到联锁系统中，由于Scade模型不能像C代码程序一样进行调试，因此当出现问题无法及时定位Scade模型中出现问题的逻辑模块。

在实际应用中，发明人发现现有的联锁系统多采用两套C代码程序逻辑作为二乘二取二的两个系统，存在不能及时发现故障的隐患，且若将Scade模型应用到联锁系统中，无法准确定位Scade模型中存在问题的逻辑模块。

发明内容

本发明要解决现有的联锁系统多采用两套C代码程序逻辑作为二乘二取二的两个系统，存在不能及时发现故障的隐患，且若将Scade模型应用到联锁系统中，无法准确定位Scade模型中存在问题的逻辑模块的问题。

针对以上技术问题，本发明的实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，包括：

在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本发明的实施例提供了一种基于MBSE的联锁功能缺陷分析的装置，包括：

第一获取模块，用于在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

第二获取模块，用于获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

分析处理模块，用于对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本实施例提供了一种电子设备，包括：

至少一个处理器、至少一个存储器、通信接口和总线；其中，

所述处理器、存储器、通信接口通过所述总线完成相互间的通信；

所述通信接口用于该电子设备和其它电子设备的通信设备之间的信息传输；

所述存储器存储有可被所述处理器执行的程序指令，所述处理器调用所述程序指令能够执行以上任一项所述的方法。

本实施例提供了一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令使所述计算机执行以上所述的方法。

本发明的实施例提供了一种基于MBSE的联锁功能缺陷分析的方法及装置、联锁系统，采用Scade模型逻辑和C代码程序逻辑组成联锁系统，在联锁系统运行或者调试过程中，获取由Scade模型逻辑生成的第一日志数据和由C代码程序逻辑生成的第二日志数据。若第一日志数据和第二日志数据存在不相同的日志数据，则联锁系统宕机。相比于均采用C代码程序逻辑组成的联锁系统，采用两套不同的逻辑的联锁系统，避免了两个系统中出现相同故障时无法及时发现问题的情况，提高了对联锁系统诊断的准确性，消除了安全隐患。另一方面，导入函数能够定位第一日志数据的来源，因此通过本发明的方法可以定位出Scade模型中出现故障的逻辑模块，使得能够及时对存在故障的逻辑模块进行修复。

附图说明

为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍，显而易见地，下面描述中的附图是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。

图1是本发明一个实施例提供的一种基于MBSE的联锁功能缺陷分析的方法的流程示意图；

图2是本发明另一个实施例提供的在Scade模型逻辑中增加导入函数的示意图；

图3是本发明另一个实施例提供的联锁日志解析工具解析出的第一日志数据的第一表格的示意图；

图4是本发明另一个实施例提供的联锁日志解析工具解析出的第二日志数据的第二表格的示意图；

图5是本发明另一个实施例提供的一种基于MBSE的联锁功能缺陷分析的装置的结构框图；

图6是本发明另一个实施例提供的电子设备的结构框图。

具体实施方式

为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。

目前联锁系统采用二乘二取二的控制方法保障输出数据的正确性。例如，联锁系统采用两套C代码程序逻辑，只有两套C代码程序逻辑的输出值相同时，该输出值才是有效的，否则，联锁系统需进行宕机处理。然而，在采用两套C代码程序逻辑的情况下，当两套C代码程序逻辑在同一位置出现相同的故障时，便无法保证输出数据的准确性。为了解决这一技术问题，本发明采用Scade模型逻辑和C代码程序逻辑组成联锁系统，只有Scade模型逻辑和C代码程序逻辑的输出值相同时，输出值才是有效的。由于Scade模型逻辑和C代码程序逻辑的运行机制不同，因此即便是在同一功能上出现了故障，也会导致输出值不同，从而及时发现故障，保障安全。

然而，由于模型不同于C语言程序，模型不能够像传统代码那样逐行调试，不便于快速定位缺陷位置。为了能够在程序运行过程发生逻辑与预期结果不一致时及时定位故障位置，便于快速解决缺陷问题，本实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，图1为基于MBSE的联锁功能缺陷分析的方法的流程示意图，参见图1，该方法包括：

101：在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

102：获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

103：对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本实施例提供的方法由对联锁系统二乘二取二中的两种输出机制输出值进行检测的设备执行，例如，由联锁系统本身执行，由联锁系统中的一个功能模块来执行本实施例提供的方法。本实施例提供的方法可以用于联锁系统的运行过程中，也可以用于对联锁系统进行调试的过程中，本实施例对此不做具体限制。

本实施例提供的方法在Scade模型开发过程中，将函数码和故障码作为输出数据输出到日志里面记录下来，程序运行过程中如果发生缺陷导致输出结果不一致的情况，就可以根据日志找到关键位置以便于精确定位到函数或关键模块。这样，解决缺陷问题的效率就大大提高了，调试过程所花费的时间也有效地节约下来。

第一日志数据为Scade模型中的目标逻辑模块生成的日志数据，目标逻辑模块是选定的一些模型中需要进行监控的关键逻辑模块，在这些关键逻辑模块的位置添加导入函数，例如，目标逻辑模块为进路锁闭条件检查。通过导入函数，将这些目标逻辑模块输出的数据记录下来，生成第一日志数据。第二日志数据是C代码程序逻辑中对应与上述的目标逻辑模块的程序模块，将这些程序模块的输出生成第二日志数据。通过第一日志数据和第二日志数据的对比分析，判断第一日志数据和第二日志数据是否存在不一致的日志数据，若是，则说明联锁系统的输出值有误，应该控制联锁系统宕机，通过日志数据查找Scade模型中存在缺陷的缺陷逻辑模块，以及时对Scade模型进行修复。

本实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，采用Scade模型逻辑和C代码程序逻辑组成联锁系统，在联锁系统运行或者调试过程中，获取由Scade模型逻辑生成的第一日志数据和由C代码程序逻辑生成的第二日志数据。若第一日志数据和第二日志数据存在不相同的日志数据，则联锁系统宕机。相比于均采用C代码程序逻辑组成的联锁系统，采用两套不同的逻辑的联锁系统，避免了两个系统中出现相同故障时无法及时发现问题的情况，提高了对联锁系统诊断的准确性，消除了安全隐患。另一方面，导入函数能够定位第一日志数据的来源，因此通过本发明的方法可以定位出Scade模型中出现故障的逻辑模块，使得能够及时对存在故障的逻辑模块进行修复。

进一步地，在上述实施例的基础上，所述获取由联锁系统的Scade模型逻辑生成的第一日志数据，包括：

预先确定联锁系统中的Scade模型逻辑中需要进行故障检测的至少一个逻辑模块，作为目标逻辑模块，在各目标逻辑模块的输出位置增加导入函数，将各目标逻辑模块的输出值导入到联锁维护工作站，由所述联锁维护工作站根据导入的各目标逻辑模块的输出值生成所述第一日志数据；

其中，所述导入函数包括用于将各目标逻辑模块的输出值到联锁维护工作站的故障编码和用于导入各目标逻辑模块在Scade模型逻辑中的位置的函数编码。

联锁维护工作站是列车运行的系统中，对设备状态进行监视、对故障进行报警、进行设备的诊断和维护、进行配置数据的修改等维护工作的设备。

本实施例提供的方法中，在Scade模型逻辑的开发过程中，预先确定出需要进行故障检测的目标逻辑模块，在每一目标逻辑模块的输出位置增加导入函数，将目标逻辑模块的输出值导入联锁维护工作站，由联锁维护工作站根据导入函数导入的输出值生成日志数据。在第一日志数据中包括了各目标逻辑模块的输出值、Scade模型逻辑生成这些输出值的时间、这些输出值是哪一目标逻辑模块数值值等这些信息。

导入函数包括故障编码和故障编码，图2为本实施例提供的在Scade模型逻辑中增加导入函数的示意图，参见图2，通过故障编码(图2中的ImportFunction：：SetErrorData)将目标逻辑模块的输出值导入到联锁维护工作站，通过函数编码(图2中的ImportFunction：：SetPlatOverFlag)将目标逻辑模块在Scade模型逻辑中的位置导入到联锁维护工作站。联锁维护工作站根据导入函数导入的输出值，输出这些值的目标逻辑模块在Scade模型逻辑中的位置生成第一日志数据。

本实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，通过在Scade模型逻辑中的选定的几个关键的目标逻辑模块出增加导入函数，根据导入函数导入的输出值生成第一日志数据，由第一日志数据和第二日志数据的对比可以快速定位Scade模型中的缺陷逻辑模块，以及时进行修复。

进一步地，在上述各实施例的基础上，所述获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据，包括：

确定出所述联锁系统的C代码程序逻辑中与各目标逻辑模块对应的目标程序模块，从C代码程序逻辑输入到所述联锁维护工作站的日志数据中查找由各目标程序模块输入的日志数据，作为所述第二日志数据。

由于是通过对比相同功能模块的输出值来判断联锁逻辑是否存在故障，因此对于C代码程序逻辑，仅需要找到对应于各目标逻辑模块的目标程序模块，根据各目标程序模块的输出值生成第二日志数据。通过第一日志数据和第二日志数据的对比来判断联锁系统的输出是否正确。

本实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，由与各目标逻辑模块对应的目标程序模块的输出生成第二日志数据，用于对联锁系统的输出是否正确进行判断。

进一步地，在上述各实施例的基础上，所述对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，包括：

通过联锁日志解析工具提取所述第一日志数据中的关键词，根据提取的关键词生成列表框架，将所述第一日志数据中的数据按照所述列表框架进行填充，得到第一列表，所述第二日志数据中的数据按照所述列表框架进行填充，得到第二列表；

对比所述第一列表和所述第二列表中的数据，判断是否每一对应位置上的数据均相同，若是，则第一日志数据与第二日志数据一致，否则，第一日志数据中存在与第二日志数据不一致的目标日志数据，获取第一列表和第二列表对应位置上不相同的数据，作为目标数据，根据目标数据在列表框架中对应的关键词查找为所述目标数据来源的日志数据，作为所述目标日志数据；

其中，提取的关键词包括设备状态、日志数据生成的时间、与联锁系统之外的子系统的数据交互过程、联锁逻辑处理过程中记录的错误码。

第一日志数据和第二日志数据均是以.txt格式保存的文件，要判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，本实施例提供的方法是将.txt格式的文件转换为表格形式，例如，转换为.CSV文件，通过表格进行对比。

列表框架是分别以提取的关键词作为横栏标题和纵栏标题得到的列表，例如，图3为本实施例提供的联锁日志解析工具解析出的第一日志数据的第一表格的示意图，参见图3，列表框架的横向标题包括时间、周期、联锁ID、信号机ID、信号机封锁状态、信号机亮灭状态、信号机之前颜色、信号机当前颜色、信号机之前驱动颜色、灯丝是否断丝、驱动开发开始周期、驱动关闭开始周期、信号机跨压等，列表框架的纵向标题为生成横向标题对应数据的时间点。以图3所示的列表框架，将第一日志数据中的数据填充到列表框架中得到第一列表。

将第二日志数据中的数据填充到列表框架中得到第二列表，图4为本实施例提供的联锁日志解析工具解析出的第二日志数据的第二表格的示意图，将第一表格和第二表格对应位置上的数据进行对比，若均相同，则联锁系统正常运行。该对比过程指的是判断相同的横向标题和相同的纵向标题对应的数据是否均相同，若存在不同，则不同的数据为目标数据。通过该目标数据对应的横向标题和纵向标题得到目标数据的生成时间点和目标数据表示的含义，根据目标数据表示的含义和生成时间点可以查找到目标数据来源的目标日志数据。

本实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，通过日志解析工具将日志数据解析为表格，通过表格方便快速地确定出第一日志数据和第二日志数据中输出不一致的数据。

进一步地，在上述各实施例的基础上，若第一日志数据中存在与第二日志数据不一致的目标日志数据，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，对缺陷逻辑模块进行调整，包括：

若第一日志数据中存在与第二日志数据不一致的目标日志数据，则控制所述联锁系统宕机，获取所述目标日志数据中的由函数编码导入到联锁维护工作站中的定位标识，根据所述定位标识确定有功能缺陷的缺陷逻辑模块，发出所述提示信息。

进一步地，在上述各实施例的基础上，所述通过联锁日志解析工具提取所述第一日志数据中的关键词，包括：

通过联锁日志解析工具调用批处理命令执行Perl脚本文件提取所述第一日志数据中的关键词。

确定出目标日志数据后，由目标日志数据中记录的定位标识确定输出该目标日志数据的目标逻辑模块，该目标逻辑模块即为有功能缺陷的缺陷逻辑模块。发出提示信息以使工作人员能够快速对该缺陷逻辑模块进行修复。提示信息可以是语音提示或者通过发送邮件或者短信的方式作为提示信息，本实施例对此不做具体限制。

具体来说，联锁维修机将联锁日志以.txt文件记录保存，解析工具首先使用C#调用批处理命令执行Perl脚本文件，将.txt文件解析成.CSV文件，根据数据帧格式和关键词将一帧数据进行拆分处理，在.CSV文件中按列分类显示。然后C#将.CSV文件导入到数据库中，根据需要分析相应的数据。

其中，Perl脚本文件的功能是提取.txt日志中的关键词，包含设备(如信号机、道岔、物理区段、逻辑区段、进路、PSD、ESB等)状态、继电器驱动和采集数据、与其他子系统如ZC、VOBC、PSD等的数据交互状态、联锁逻辑处理过程中记录的错误码等。

本实施例提供了一种基于MBSE的联锁功能缺陷分析的方法，通过第一列表和第二列表确定的目标日志数据快速定位缺陷逻辑模块所在的位置，实现了对Scade模型的快速修正，使得联锁系统能够尽快恢复运行。

总体来说，本实施例提供的基于MBSE的联锁功能缺陷分析的方法包括：

(1)在Scade模型开发阶段，在模型关键位置(增加函数编码和故障编码；(2)联锁系统CI调试阶段，Scade模型和C代码程序分别将调试信息进行输出并由联锁维护工作站进行记录日志；(3)根据测试用例进行CI系统测试，CI系统会比较输出Scade版本与C代码版本的输出数据，如果发生双版本比较不一致将会进行宕机处理。

本实施例提供的方法中，一方面在Scade模型增加了函数代码和模块代码等有效信息，通过输出数据打印到日志里，可以在调试阶段进行缺陷分析，另一方面，联锁日志解析工具可以将Scade模型的日志和C代码的日志进行分析对比，将同一周期不同的输出信息显示，快速定位缺陷的具体位置。当Scade模型逻辑与C代码程序逻辑输出结果不一致导致宕机时，能够找到与C代码相对应的模型位置，对于分析解决缺陷问题能够有很大的帮助。

图5示出了本发明的实施例提供的一种基于MBSE的联锁功能缺陷分析的装置的结构框图，参见图5，本实施例提供的基于MBSE的联锁功能缺陷分析的装置包括第一获取模块501、第二获取模块502和分析处理模块503，其中，

第一获取模块501，用于在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

第二获取模块502，用于获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

分析处理模块503，用于对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本实施例提供的基于MBSE的联锁功能缺陷分析的装置适用于上述实施例中提供的基于MBSE的联锁功能缺陷分析的方法，在此不再赘述。

本实施例提供了一种联锁系统，包括Scade模型逻辑和C代码程序逻辑；

在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本实施例提供了一种基于MBSE的联锁功能缺陷分析的装置和联锁系统，采用Scade模型逻辑和C代码程序逻辑组成联锁系统，在联锁系统运行或者调试过程中，获取由Scade模型逻辑生成的第一日志数据和由C代码程序逻辑生成的第二日志数据。若第一日志数据和第二日志数据存在不相同的日志数据，则联锁系统宕机。相比于均采用C代码程序逻辑组成的联锁系统，采用两套不同的逻辑的联锁系统，避免了两个系统中出现相同故障时无法及时发现问题的情况，提高了对联锁系统诊断的准确性，消除了安全隐患。另一方面，导入函数能够定位第一日志数据的来源，因此通过本发明的方法可以定位出Scade模型中出现故障的逻辑模块，使得能够及时对存在故障的逻辑模块进行修复。

图6是示出本实施例提供的电子设备的结构框图。

参照图6，所述电子设备包括：处理器(processor)601、存储器(memory)602、通信接口(Communications Interface)603和总线604；

其中，

所述处理器601、存储器602、通信接口603通过所述总线604完成相互间的通信；

所述通信接口603用于该电子设备和其它电子设备的通信设备之间的信息传输；

所述处理器601用于调用所述存储器602中的程序指令，以执行上述各方法实施例所提供的方法，例如包括：在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本实施例提供一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令使所述计算机执行上述各方法实施例所提供的方法，例如包括：在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本实施例公开一种计算机程序产品，所述计算机程序产品包括存储在非暂态计算机可读存储介质上的计算机程序，所述计算机程序包括程序指令，当所述程序指令被计算机执行时，计算机能够执行上述各方法实施例所提供的方法，例如，包括：在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

本领域普通技术人员可以理解：实现上述方法实施例的全部或部分步骤可以通过程序指令相关的硬件来完成，前述的程序可以存储于一计算机可读取存储介质中，该程序在执行时，执行包括上述方法实施例的步骤；而前述的存储介质包括：ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。

以上所描述的电子设备等实施例仅仅是示意性的，其中所述作为分离部件说明的单元可以是或者也可以不是物理上分开的，作为单元显示的部件可以是或者也可以不是物理单元，即可以位于一个地方，或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部模块来实现本实施例方案的目的。本领域普通技术人员在不付出创造性的劳动的情况下，即可以理解并实施。

通过以上的实施方式的描述，本领域的技术人员可以清楚地了解到各实施方式可借助软件加必需的通用硬件平台的方式来实现，当然也可以通过硬件。基于这样的理解，上述技术方案本质上或者说对现有技术做出贡献的部分可以以软件产品的形式体现出来，该计算机软件产品可以存储在计算机可读存储介质中，如ROM/RAM、磁碟、光盘等，包括若干指令用以使得一台计算机设备(可以是个人计算机，服务器，或者网络设备等)执行各个实施例或者实施例的某些部分所述的方法。

最后应说明的是：以上各实施例仅用以说明本发明的实施例的技术方案，而非对其限制；尽管参照前述各实施例对本发明的实施例进行了详细的说明，本领域的普通技术人员应当理解：其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分或者全部技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明的实施例各实施例技术方案的范围。

Claims (10)

1.一种基于MBSE的联锁功能缺陷分析的方法，其特征在于，包括：

在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

2.根据权利要求1所述的方法，其特征在于，所述获取由联锁系统的Scade模型逻辑生成的第一日志数据，包括：

预先确定联锁系统中的Scade模型逻辑中需要进行故障检测的至少一个逻辑模块，作为目标逻辑模块，在各目标逻辑模块的输出位置增加导入函数，将各目标逻辑模块的输出值导入到联锁维护工作站，由所述联锁维护工作站根据导入的各目标逻辑模块的输出值生成所述第一日志数据；

其中，所述导入函数包括用于将各目标逻辑模块的输出值到联锁维护工作站的故障编码和用于导入各目标逻辑模块在Scade模型逻辑中的位置的函数编码。

3.根据权利要求2所述的方法，其特征在于，所述获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据，包括：

确定出所述联锁系统的C代码程序逻辑中与各目标逻辑模块对应的目标程序模块，从C代码程序逻辑输入到所述联锁维护工作站的日志数据中查找由各目标程序模块输入的日志数据，作为所述第二日志数据。

4.根据权利要求3所述的方法，其特征在于，所述对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，包括：

通过联锁日志解析工具提取所述第一日志数据中的关键词，根据提取的关键词生成列表框架，将所述第一日志数据中的数据按照所述列表框架进行填充，得到第一列表，所述第二日志数据中的数据按照所述列表框架进行填充，得到第二列表；

对比所述第一列表和所述第二列表中的数据，判断是否每一对应位置上的数据均相同，若是，则第一日志数据与第二日志数据一致，否则，第一日志数据中存在与第二日志数据不一致的目标日志数据，获取第一列表和第二列表对应位置上不相同的数据，作为目标数据，根据目标数据在列表框架中对应的关键词查找为所述目标数据来源的日志数据，作为所述目标日志数据；

其中，提取的关键词包括设备状态、日志数据生成的时间、与联锁系统之外的子系统的数据交互过程、联锁逻辑处理过程中记录的错误码。

5.根据权利要求4所述的方法，其特征在于，若第一日志数据中存在与第二日志数据不一致的目标日志数据，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，对缺陷逻辑模块进行调整，包括：

若第一日志数据中存在与第二日志数据不一致的目标日志数据，则控制所述联锁系统宕机，获取所述目标日志数据中的由函数编码导入到联锁维护工作站中的定位标识，根据所述定位标识确定有功能缺陷的缺陷逻辑模块，发出所述提示信息。

6.根据权利要求4所述的方法，其特征在于，所述通过联锁日志解析工具提取所述第一日志数据中的关键词，包括：

通过联锁日志解析工具调用批处理命令执行Perl脚本文件提取所述第一日志数据中的关键词。

7.一种基于MBSE的联锁功能缺陷分析的装置，其特征在于，包括：

第一获取模块，用于在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

第二获取模块，用于获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

分析处理模块，用于对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

8.一种联锁系统，其特征在于，包括Scade模型逻辑和C代码程序逻辑；

在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；

获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；

对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

9.一种电子设备，其特征在于，包括：

至少一个处理器、至少一个存储器、通信接口和总线；其中，

所述处理器、存储器、通信接口通过所述总线完成相互间的通信；

所述通信接口用于该电子设备和其它电子设备的通信模块之间的信息传输；

所述存储器存储有可被所述处理器执行的程序指令，所述处理器调用所述程序指令能够执行如权利要求1至6中任一项所述的方法。

10.一种非暂态计算机可读存储介质，其特征在于，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令使所述计算机执行如权利要求1至6任一项所述的方法。