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

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

Method and device of interlocking function defect analysis based on MBSE and interlocking system

Embodiments of the present invention disclose methods and devices for defect analysis of interlocking function based on MBSE and interlocking system. An interlocking system is composed of Scade model logic and C code program logic. During the operation or debugging of the interlocking system, the first log data generated by Scade model logic and the second log data generated by C code program logic are obtained. If there are different log data between the first log data and the second log data, the interlocking system will go down. Compared with the interlocking system composed of C code program logic, two different sets of logic interlocking system are adopted, which avoids the situation that problems can not be found in time when the same faults occur in the two systems, improves the accuracy of interlocking system diagnosis and eliminates the hidden safety hazards. On the other hand, the import function can locate the source of the first log data, so the method of the present invention can locate the fault logic module in the Scade model, so that the fault logic module can be repaired in time.

【技术实现步骤摘要】
基于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：对第一日志数据和第二日志数据进行分析，判本文档来自技高网...

【技术保护点】
1.一种基于MBSE的联锁功能缺陷分析的方法，其特征在于，包括：在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。

【技术特征摘要】
1.一种基于MBSE的联锁功能缺陷分析的方法，其特征在于，包括：在联锁系统运行或者调试过程中，获取由联锁系统的Scade模型逻辑生成的第一日志数据；其中，所述第一日志数据通过预先在所述Scade模型中选定的各目标逻辑模块上添加的导入函数得到；获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据；对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，若是，则控制所述联锁系统宕机，并根据目标日志数据确定目标逻辑模块中有功能缺陷的缺陷逻辑模块，发出对缺陷逻辑模块进行调整的提示信息。2.根据权利要求1所述的方法，其特征在于，所述获取由联锁系统的Scade模型逻辑生成的第一日志数据，包括：预先确定联锁系统中的Scade模型逻辑中需要进行故障检测的至少一个逻辑模块，作为目标逻辑模块，在各目标逻辑模块的输出位置增加导入函数，将各目标逻辑模块的输出值导入到联锁维护工作站，由所述联锁维护工作站根据导入的各目标逻辑模块的输出值生成所述第一日志数据；其中，所述导入函数包括用于将各目标逻辑模块的输出值到联锁维护工作站的故障编码和用于导入各目标逻辑模块在Scade模型逻辑中的位置的函数编码。3.根据权利要求2所述的方法，其特征在于，所述获取由所述联锁系统的C代码程序逻辑中对应于各目标逻辑模块的目标程序模块生成的日志数据，作为第二日志数据，包括：确定出所述联锁系统的C代码程序逻辑中与各目标逻辑模块对应的目标程序模块，从C代码程序逻辑输入到所述联锁维护工作站的日志数据中查找由各目标程序模块输入的日志数据，作为所述第二日志数据。4.根据权利要求3所述的方法，其特征在于，所述对第一日志数据和第二日志数据进行分析，判断第一日志数据中是否存在与第二日志数据不一致的目标日志数据，包括：通过联锁日志解析工具提取所述第一日志数据中的关键词，根据提取的关键词生成列表框架，将所述第一日志数据中的数据按照所述列表框架进行填充，得到第一列表，所述第二日志数据中的数据按照所述列表框架进行填充，得到第二列表；对比所述第一列表和所述第二列表中的数据，判断是否每一对应位置上的数据均相同，若是，则第一日志数据与第二日志数据一致，否则，第一日志数据中存在与第二日志数据不一致的目标日志数据，获取第一列表和第二列表对应位置上不相同的数据，作为目标数据，根据目标数据在列表框架中对应的关键词查找为所述目标数据来源的日志数据，作为所述目标日志数据；其中，提取的关键词包括设备状态、日志数据生成的时间、与联锁系统之外的子系统的数据交互过程、联锁逻辑处理过程中记录的错误码。5.根据权利要求4所述的方法，其特征在于，...

【专利技术属性】
技术研发人员：张强，王伟，
申请(专利权)人：交控科技股份有限公司，
类型：发明
国别省市：北京,11