CN116595588A - 铁路信号系统开发过程安全分析方法及装置 - Google Patents
铁路信号系统开发过程安全分析方法及装置 Download PDFInfo
- Publication number
- CN116595588A CN116595588A CN202310869085.6A CN202310869085A CN116595588A CN 116595588 A CN116595588 A CN 116595588A CN 202310869085 A CN202310869085 A CN 202310869085A CN 116595588 A CN116595588 A CN 116595588A
- Authority
- CN
- China
- Prior art keywords
- document
- security analysis
- analyzed
- analysis
- target
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000004458 analytical method Methods 0.000 title claims abstract description 216
- 238000000034 method Methods 0.000 title claims abstract description 83
- 230000008569 process Effects 0.000 title claims abstract description 54
- 230000033772 system development Effects 0.000 title claims abstract description 36
- 238000011161 development Methods 0.000 claims abstract description 12
- 230000018109 developmental process Effects 0.000 claims abstract description 12
- 238000012545 processing Methods 0.000 claims description 16
- 238000012795 verification Methods 0.000 claims description 6
- 230000011664 signaling Effects 0.000 claims 3
- 238000004590 computer program Methods 0.000 description 10
- 238000010586 diagram Methods 0.000 description 8
- 230000006870 function Effects 0.000 description 4
- 230000003287 optical effect Effects 0.000 description 3
- 230000005540 biological transmission Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000003993 interaction Effects 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 238000012552 review Methods 0.000 description 2
- 230000008859 change Effects 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000012938 design process Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Abstract
本申请公开一种铁路信号系统开发过程安全分析方法及装置，涉及铁路信号系统技术领域。本申请的方法包括：接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；输出显示所述第一安全分析文档。
Description
技术领域
本申请涉及铁路信号系统技术领域，尤其涉及一种铁路信号系统开发过程安全分析方法及装置。
背景技术
随着社会的不断发展，我国的铁路建设也得到了迅速的发展。铁路信号系统是铁路运输的重要组成部分，其负责指挥列车运行、保证列车行车安全、提高列车行车效率等；在铁路信号系统开发过程中，需要对各个阶段进行安全分析，从而保证铁路信号系统的性能达到标准。
目前，通常是工作人员人工对铁路信号系统开发过程中各个阶段内需要使用的文档进行安全分析，从而实现对铁路信号系统开发过程中的各个阶段进行安全分析。因此，对铁路信号系统开发过程中的各个阶段进行安全分析严重依赖工作人员的个人经验能力和对业务知识的掌握理解，对于经验不足的工作人员而言，可能无法完成对铁路信号系统开发过程中的各个阶段进行安全分析的工作。
发明内容
本申请实施例提供一种铁路信号系统开发过程安全分析方法及装置，主要目的在于对铁路信号系统开发过程中的各个阶段进行安全分析。
为解决上述技术问题，本申请实施例提供如下技术方案：
第一方面，本申请提供了一种铁路信号系统开发过程安全分析方法，所述方法包括：
接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；
根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；
根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；
输出显示所述第一安全分析文档。
第二方面，本申请还提供了一种铁路信号系统开发过程安全分析装置，所述装置包括：
第一接收单元，用于接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；
获取单元，用于根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；
分析单元，用于根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；
第一输出单元，用于输出显示所述第一安全分析文档。
第三方面，本申请的实施例提供了一种存储介质，所述存储介质包括存储的程序，其中，在所述程序运行时控制所述存储介质所在设备执行第一方面所述的铁路信号系统开发过程安全分析方法。
第四方面，本申请的实施例提供了一种铁路信号系统开发过程安全分析装置，所述装置包括存储介质；及一个或者多个处理器，所述存储介质与所述处理器耦合，所述处理器被配置为执行所述存储介质中存储的程序指令；所述程序指令运行时执行第一方面所述的铁路信号系统开发过程安全分析方法。
借由上述技术方案，本申请提供的技术方案至少具有下列优点：
本申请提供一种铁路信号系统开发过程安全分析方法及装置，本申请能够在安全分析应用程序接收得到携带有待分析文档和目标规则集合对应的唯一标识的安全分析请求后，由安全分析应用程序先根据安全分析请求中携带的目标规则集合对应的唯一标识在逻辑完备规则库中获取目标规则集合，再根据目标规则集合对待分析文档进行安全分析，从而获得待分析文档对应的安全分析结果（即第一安全分析文档），最后控制目标终端设备输出显示第一安全分析文档，以便工作人员获知待分析文档对应的安全分析结果，从而无需工作人员参与，便可对铁路信号系统开发过程中某个阶段内需要使用的文档进行安全分析，以完成对该阶段进行安全分析的工作。
上述说明仅是本申请技术方案的概述，为了能够更清楚了解本申请的技术手段，而可依照说明书的内容予以实施，并且为了让本申请的上述和其它目的、特征和优点能够更明显易懂，以下特举本申请的具体实施方式。
附图说明
通过参考附图阅读下文的详细描述，本申请示例性实施方式的上述以及其他目的、特征和优点将变得易于理解。在附图中，以示例性而非限制性的方式示出了本申请的若干实施方式，相同或对应的标号表示相同或对应的部分，其中：
图1示出了本申请实施例提供的一种铁路信号系统开发过程安全分析方法流程图；
图2示出了本申请实施例提供的一种铁路信号系统开发过程安全分析装置的组成框图；
图3示出了本申请实施例提供的另一种铁路信号系统开发过程安全分析装置的组成框图。
具体实施方式
下面将参照附图更详细地描述本申请的示例性实施方式。虽然附图中显示了本申请的示例性实施方式，然而应当理解，可以以各种形式实现本申请而不应被这里阐述的实施方式所限制。相反，提供这些实施方式是为了能够更透彻地理解本申请，并且能够将本申请的范围完整的传达给本领域的技术人员。
需要注意的是，除非另有说明，本申请使用的技术术语或者科学术语应当为本申请所属领域技术人员所理解的通常意义。
本申请实施例提供一种铁路信号系统开发过程安全分析方法，如图1所示，该方法包括：
101、接收安全分析请求。
其中，安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；其中，待分析文档可以但不限于为接口文档、系统需求文档、应用设计过程文档等等中的任意一个。
需要进行说明的是，在本申请实施例中，各个步骤中的执行主体为运行在目标终端设备中的安全分析应用程序，其中，目标终端设备可以但不限于为：计算机、智能手机、平板电脑等等。
在本申请实施例中，在铁路信号系统开发过程中，当工作人员需要对某个阶段进行安全分析时，工作人员便会向安全分析应用程序发送携带有待分析文档和目标规则集合对应的唯一标识的安全分析请求，此时，安全分析应用程序便可接收得到安全分析请求。
102、根据目标规则集合对应的唯一标识在逻辑完备规则库中获取目标规则集合。
其中，逻辑完备规则库为铁路领域内的专家组基于MECE（Mutually ExclusiveCollectively Exhaustive，相互独立完全穷尽）原则构建的，逻辑完备规则库在逻辑层面上是完备的、没有任何遗漏，逻辑完备规则库中包含多个规则集合，多个规则集合可以但不限于包括：时间规则集合、空间规则集合、生命周期规则集合、信息交换规则集合、既往经验参考的完备逻辑规则集合等，其中，时间规则集合用于检查覆盖全部案例前后时间，空间规则集合用于检查覆盖全部产品或者对象的组件，生命周期规则集合用于检查全部产品LCC全生命周期环节，信息交换规则集合用于检查全部参与的信息交互节点，遍历全部消息交互，利用逻辑完备规则库包含的多个规则集合可以对铁路信号系统开发过程中各个阶段内需要使用的任意一种文档进行安全分析。
在本申请实施例中，安全分析应用程序在接收得到安全分析请求后，便可根据安全分析请求中携带的目标规则集合对应的唯一标识在逻辑完备规则库中获取目标规则集合。
103、根据目标规则集合对待分析文档进行安全分析，以获得第一安全分析文档。
在本申请实施例中，安全分析应用程序在获取得到目标规则集合后，便可根据目标规则集合对待分析文档进行安全分析，从而获得待分析文档对应的安全分析结果（即第一安全分析文档）。
104、输出显示第一安全分析文档。
在本申请实施例中，安全分析应用程序在获得第一安全分析文档后，便可控制目标终端设备输出显示第一安全分析文档，以便工作人员获知待分析文档对应的安全分析结果，并根据待分析文档对应的安全分析结果对铁路信号系统进行优化处理。
本申请实施例提供一种铁路信号系统开发过程安全分析方法，本申请实施例能够在安全分析应用程序接收得到携带有待分析文档和目标规则集合对应的唯一标识的安全分析请求后，由安全分析应用程序先根据安全分析请求中携带的目标规则集合对应的唯一标识在逻辑完备规则库中获取目标规则集合，再根据目标规则集合对待分析文档进行安全分析，从而获得待分析文档对应的安全分析结果（即第一安全分析文档），最后控制目标终端设备输出显示第一安全分析文档，以便工作人员获知待分析文档对应的安全分析结果，从而无需工作人员参与，便可对铁路信号系统开发过程中某个阶段内需要使用的文档进行安全分析，以完成对该阶段进行安全分析的工作。
进一步的，在本申请实施例中，待分析文档包含多个待分析内容，目标规则集合中包含多个目标规则；安全分析应用程序根据目标规则集合对待分析文档进行安全分析，从而获得第一安全分析文档的具体过程为：首先，分别将每个待分析内容与多个目标规则进行匹配处理，以获得每个待分析内容对应的分析结果，其中，对于任意一个待分析内容而言，当该待分析内容与任意一个目标规则匹配成功时，该待分析内容对应的分析结果为符合安全需求，当该待分析内容与多个目标规则均匹配失败时，该待分析内容对应的分析结果为不符合安全需求；其次，根据多个分析结果生成第一安全分析文档，即将多个分析结果添加至模板文档中，从而获得第一安全分析文档。
进一步的，在本申请实施例中，第二安全分析文档可以为安全分析应用程序根据目标规则集合对待分析文档对应的历史版本文档进行安全分析后得到的安全分析文档，也可以为安全分析应用程序根据逻辑完备规则库中的其他规则集合对待分析文档进行安全分析后得到的安全分析文档；当工作人员需要判断第一安全分析文档包含的多个分析结果与第二安全分析文档包含的多个分析结果是否一致时，工作人员便会向安全分析应用程序发送携带有第二安全文档的文档比对请求，安全分析应用程序在接收得到携带有第二安全文档的文档比对请求后，便可对第一安全分析文档与第二安全分析文档进行比对处理，从而获得比对结果（即第一比对结果），并控制目标终端设备输出显示第一比对结果，以便工作人员获知第一安全分析文档与第二安全分析文档是否一致。
进一步的，在本申请实施例中，工作人员在审阅第一安全分析文档后，可以根据第一安全分析文档分析逻辑完备规则库中的各个规则是否存在问题，当工作人员确定某个规则存在问题，需要在逻辑完备规则库中对该规则进行更新时，工作人员便会向安全分析应用程序发送携带有待更新规则对应的唯一标识和待更新规则对应的替换规则的规则更新请求，安全分析应用程序在接收到规则更新请求后，便会在逻辑完备规则库使用替换规则替换待更新规则；工作人员在审阅第一比对结果后，可以根据第一比对结果分析逻辑完备规则库中的各个规则是否存在问题，当工作人员确定某个规则存在问题，需要在逻辑完备规则库中对该规则进行更新时，工作人员便会向安全分析应用程序发送携带有待更新规则对应的唯一标识和待更新规则对应的替换规则的规则更新请求，安全分析应用程序在接收到规则更新请求后，便会在逻辑完备规则库使用替换规则替换待更新规则。
进一步的，在本申请实施例中，当工作人员需要校验安全分析应用程序是否存在问题时，工作人员便会向安全分析应用程序发送反向校验请求，安全分析应用程序在接收到反向校验请求后，便会根据冗余相异原则对第一安全分析文档进行反向推理处理，从而获得校验文档，并对待分析文档与校验文档进行比对处理，从而获得第二比对结果，以及控制目标终端设备输出显示第二比对结果，以便工作人员根据第二比对结果确定安全分析应用程序是否存在问题，其中，当第二比对结果为待分析文档与校验文档一致时，可以判定安全分析应用程序不存在问题，当第二比对结果为待分析文档与校验文档不一致时，可以判定安全分析应用程序存在问题。
进一步的，作为对上述图1所示方法的实现，本申请另一实施例还提供了一种铁路信号系统开发过程安全分析装置。该装置实施例与前述方法实施例对应，为便于阅读，本装置实施例不再对前述方法实施例中的细节内容进行逐一赘述，但应当明确，本实施例中的装置能够对应实现前述方法实施例中的全部内容。该装置应用于对铁路信号系统开发过程中的各个阶段进行安全分析，具体如图2所示，该装置包括：
第一接收单元201，用于接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；
获取单元202，用于根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；
分析单元203，用于根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；
第一输出单元204，用于输出显示所述第一安全分析文档。
进一步的，如图3所示，所述待分析文档包含多个待分析内容，所述目标规则集合中包含多个目标规则；
分析单元203，具体用于：分别将每个所述待分析内容与多个所述目标规则进行匹配处理，以获得每个所述待分析内容对应的分析结果；
根据多个所述分析结果生成所述第一安全分析文档。
进一步的，如图3所示，该装置还包括：
第二接收单元205，用于接收文档比对请求，其中，所述文档比对请求中包括第二安全分析文档；
第一比对单元206，用于对所述第一安全分析文档与所述第二安全分析文档进行比对处理，以获得第一比对结果；
第二输出单元207，用于输出显示所述第一比对结果。
进一步的，如图3所示，该装置还包括：
第三接收单元208，用于接收规则更新请求，其中，所述规则更新请求中包含待更新规则对应的唯一标识和所述待更新规则对应的替换规则；
替换单元209，用于在所述逻辑完备规则库使用所述替换规则替换所述待更新规则。
进一步的，如图3所示，该装置还包括：
第四接收单元210，用于接收反向校验请求；
处理单元211，用于根据冗余相异原则对所述第一安全分析文档进行反向推理处理，以获得校验文档；
第二比对单元212，用于对所述待分析文档与所述校验文档进行比对处理，以获得第二比对结果；
第三输出单元213，用于输出显示所述第二比对结果。
进一步的，如图3所示，所述逻辑完备规则库为铁路领域内的专家组基于MECE（Mutually Exclusive Collectively Exhaustive，相互独立完全穷尽）原则构建的，所述逻辑完备规则库在逻辑层面上是完备的、没有任何遗漏。
本申请实施例提供一种铁路信号系统开发过程安全分析方法及装置，本申请实施例能够在安全分析应用程序接收得到携带有待分析文档和目标规则集合对应的唯一标识的安全分析请求后，由安全分析应用程序先根据安全分析请求中携带的目标规则集合对应的唯一标识在逻辑完备规则库中获取目标规则集合，再根据目标规则集合对待分析文档进行安全分析，从而获得待分析文档对应的安全分析结果（即第一安全分析文档），最后控制目标终端设备输出显示第一安全分析文档，以便工作人员获知待分析文档对应的安全分析结果，从而无需工作人员参与，便可对铁路信号系统开发过程中某个阶段内需要使用的文档进行安全分析，以完成对该阶段进行安全分析的工作。
本申请实施例提供了一种存储介质，所述存储介质包括存储的程序，其中，在所述程序运行时控制所述存储介质所在设备执行上述所述的铁路信号系统开发过程安全分析方法。
存储介质可能包括计算机可读介质中的非永久性存储器，随机存取存储器(RAM)和/或非易失性内存等形式，如只读存储器(ROM)或闪存(flash RAM)，存储器包括至少一个存储芯片。
本申请实施例还提供了一种铁路信号系统开发过程安全分析装置，所述装置包括存储介质；及一个或者多个处理器，所述存储介质与所述处理器耦合，所述处理器被配置为执行所述存储介质中存储的程序指令；所述程序指令运行时执行上述所述的铁路信号系统开发过程安全分析方法。
本申请实施例提供了一种设备，设备包括处理器、存储器及存储在存储器上并可在处理器上运行的程序，处理器执行程序时实现以下步骤：
接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；
根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；
根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；
输出显示所述第一安全分析文档。
可选的，所述待分析文档包含多个待分析内容，所述目标规则集合中包含多个目标规则；所述根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档，包括：
分别将每个所述待分析内容与多个所述目标规则进行匹配处理，以获得每个所述待分析内容对应的分析结果；
根据多个所述分析结果生成所述第一安全分析文档。
可选的，所述方法还包括：
接收文档比对请求，其中，所述文档比对请求中包括第二安全分析文档；
对所述第一安全分析文档与所述第二安全分析文档进行比对处理，以获得第一比对结果；
输出显示所述第一比对结果。
可选的，所述方法还包括：
接收规则更新请求，其中，所述规则更新请求中包含待更新规则对应的唯一标识和所述待更新规则对应的替换规则；
在所述逻辑完备规则库使用所述替换规则替换所述待更新规则。
可选的，所述方法还包括：
接收反向校验请求；
根据冗余相异原则对所述第一安全分析文档进行反向推理处理，以获得校验文档；
对所述待分析文档与所述校验文档进行比对处理，以获得第二比对结果；
输出显示所述第二比对结果。
可选的，所述逻辑完备规则库为铁路领域内的专家组基于MECE（MutuallyExclusive Collectively Exhaustive，相互独立完全穷尽）原则构建的，所述逻辑完备规则库在逻辑层面上是完备的、没有任何遗漏。
本申请还提供了一种计算机程序产品，当在数据处理设备上执行时，适于执行初始化有如下方法步骤的程序代码：接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档； 根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；输出显示所述第一安全分析文档。
本领域内的技术人员应明白，本申请的实施例可提供为方法、系统、或计算机程序产品。因此，本申请可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且，本申请可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质（包括但不限于磁盘存储器、CD-ROM、光学存储器等）上实施的计算机程序产品的形式。
本申请是参照根据本申请实施例的方法、设备（系统）、和计算机程序产品的流程图和／或方框图来描述的。应理解可由计算机程序指令实现流程图和／或方框图中的每一流程和／或方框、以及流程图和／或方框图中的流程和／或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器，使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和／或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中，使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品，该指令装置实现在流程图一个流程或多个流程和／或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上，使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理，从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和／或方框图一个方框或多个方框中指定的功能的步骤。
在一个典型的配置中，计算设备包括一个或多个处理器 (CPU)、输入/输出接口、网络接口和内存。
存储器可能包括计算机可读介质中的非永久性存储器，随机存取存储器(RAM)和/或非易失性内存等形式，如只读存储器(ROM)或闪存(flash RAM)。存储器是计算机可读介质的示例。
计算机可读介质包括永久性和非永久性、可移动和非可移动媒体可以由任何方法或技术来实现信息存储。信息可以是计算机可读指令、数据结构、程序的模块或其他数据。计算机的存储介质的例子包括，但不限于相变内存 (PRAM)、静态随机存取存储器 (SRAM)、动态随机存取存储器(DRAM)、其他类型的随机存取存储器 (RAM)、只读存储器 (ROM)、电可擦除可编程只读存储器 (EEPROM)、快闪记忆体或其他内存技术、只读光盘只读存储器(CD-ROM)、数字多功能光盘 (DVD) 或其他光学存储、磁盒式磁带，磁带磁磁盘存储或其他磁性存储设备或任何其他非传输介质，可用于存储可以被计算设备访问的信息。按照本文中的界定，计算机可读介质不包括暂存电脑可读媒体(transitory media)，如调制的数据信号和载波。
还需要说明的是，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、商品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、商品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括一个……”限定的要素，并不排除在包括要素的过程、方法、商品或者设备中还存在另外的相同要素。
本领域技术人员应明白，本申请的实施例可提供为方法、系统或计算机程序产品。因此，本申请可采用完全硬件实施例、完全软件实施例或结合软件和硬件方面的实施例的形式。而且，本申请可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质（包括但不限于磁盘存储器、CD-ROM、光学存储器等）上实施的计算机程序产品的形式。
以上仅为本申请的实施例而已，并不用于限制本申请。对于本领域技术人员来说，本申请可以有各种更改和变化。凡在本申请的精神和原理之内所作的任何修改、等同替换、改进等，均应包含在本申请的权利要求范围之内。
Claims (10)
1.一种铁路信号系统开发过程安全分析方法，其特征在于，所述方法包括：
接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；
根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；
根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；
输出显示所述第一安全分析文档。
2.根据权利要求1所述的方法，其特征在于，所述待分析文档包含多个待分析内容，所述目标规则集合中包含多个目标规则；所述根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档，包括：
分别将每个所述待分析内容与多个所述目标规则进行匹配处理，以获得每个所述待分析内容对应的分析结果；
根据多个所述分析结果生成所述第一安全分析文档。
3.根据权利要求1所述的方法，其特征在于，所述方法还包括：
接收文档比对请求，其中，所述文档比对请求中包括第二安全分析文档；
对所述第一安全分析文档与所述第二安全分析文档进行比对处理，以获得第一比对结果；
输出显示所述第一比对结果。
4.根据权利要求1或3所述的方法，其特征在于，所述方法还包括：
接收规则更新请求，其中，所述规则更新请求中包含待更新规则对应的唯一标识和所述待更新规则对应的替换规则；
在所述逻辑完备规则库使用所述替换规则替换所述待更新规则。
5.根据权利要求1所述的方法，其特征在于，所述方法还包括：
接收反向校验请求；
根据冗余相异原则对所述第一安全分析文档进行反向推理处理，以获得校验文档；
对所述待分析文档与所述校验文档进行比对处理，以获得第二比对结果；
输出显示所述第二比对结果。
6.根据权利要求1所述的方法，其特征在于，所述逻辑完备规则库为铁路领域内的专家组基于MECE（Mutually Exclusive Collectively Exhaustive，相互独立完全穷尽）原则构建的，所述逻辑完备规则库在逻辑层面上是完备的、没有任何遗漏。
7.一种铁路信号系统开发过程安全分析装置，其特征在于，所述装置包括：
第一接收单元，用于接收安全分析请求，其中，所述安全分析请求中包含待分析文档和目标规则集合对应的唯一标识，所述待分析文档为铁路信号系统开发过程中任意一个阶段内需要进行安全性分析的文档；
获取单元，用于根据所述目标规则集合对应的唯一标识在逻辑完备规则库中获取所述目标规则集合；
分析单元，用于根据所述目标规则集合对所述待分析文档进行安全分析，以获得第一安全分析文档；
第一输出单元，用于输出显示所述第一安全分析文档。
8.根据权利要求7所述的装置，其特征在于，所述待分析文档包含多个待分析内容，所述目标规则集合中包含多个目标规则；
所述分析单元，具体用于：分别将每个所述待分析内容与多个所述目标规则进行匹配处理，以获得每个所述待分析内容对应的分析结果；
根据多个所述分析结果生成所述第一安全分析文档。
9.一种存储介质，其特征在于，所述存储介质包括存储的程序，其中，在所述程序运行时控制所述存储介质所在设备执行权利要求1至6中任一项所述的铁路信号系统开发过程安全分析方法。
10.一种铁路信号系统开发过程安全分析装置，其特征在于，所述装置包括存储介质；及一个或者多个处理器，所述存储介质与所述处理器耦合，所述处理器被配置为执行所述存储介质中存储的程序指令；所述程序指令运行时执行权利要求1至6中任一项所述的铁路信号系统开发过程安全分析方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202310869085.6A CN116595588A (zh) | 2023-07-17 | 2023-07-17 | 铁路信号系统开发过程安全分析方法及装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202310869085.6A CN116595588A (zh) | 2023-07-17 | 2023-07-17 | 铁路信号系统开发过程安全分析方法及装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN116595588A true CN116595588A (zh) | 2023-08-15 |
Family
ID=87601265
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202310869085.6A Pending CN116595588A (zh) | 2023-07-17 | 2023-07-17 | 铁路信号系统开发过程安全分析方法及装置 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN116595588A (zh) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN117056236A (zh) * | 2023-10-10 | 2023-11-14 | 卡斯柯信号(北京)有限公司 | 一种轨道交通信号软件的安全变量验证方法及装置 |
Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103139296A (zh) * | 2013-01-31 | 2013-06-05 | 中国人民解放军信息工程大学 | 基于xml的安全标记与数据客体的绑定方法 |
| CN112612709A (zh) * | 2020-12-28 | 2021-04-06 | 卡斯柯信号有限公司 | 一种用于铁路信号系统的软件架构安全分析实现方法 |
| CN113886830A (zh) * | 2021-08-20 | 2022-01-04 | 广东南方信息安全研究院 | 一种基于人工智能的信息安全评分系统构建方法 |
| US20220067828A1 (en) * | 2020-08-31 | 2022-03-03 | SoftWorks Al, LLC | Validation method and system to improve data accuracy |
-
2023
- 2023-07-17 CN CN202310869085.6A patent/CN116595588A/zh active Pending
Patent Citations (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103139296A (zh) * | 2013-01-31 | 2013-06-05 | 中国人民解放军信息工程大学 | 基于xml的安全标记与数据客体的绑定方法 |
| US20220067828A1 (en) * | 2020-08-31 | 2022-03-03 | SoftWorks Al, LLC | Validation method and system to improve data accuracy |
| CN112612709A (zh) * | 2020-12-28 | 2021-04-06 | 卡斯柯信号有限公司 | 一种用于铁路信号系统的软件架构安全分析实现方法 |
| CN113886830A (zh) * | 2021-08-20 | 2022-01-04 | 广东南方信息安全研究院 | 一种基于人工智能的信息安全评分系统构建方法 |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN117056236A (zh) * | 2023-10-10 | 2023-11-14 | 卡斯柯信号(北京)有限公司 | 一种轨道交通信号软件的安全变量验证方法及装置 |
| CN117056236B (zh) * | 2023-10-10 | 2024-01-30 | 卡斯柯信号(北京)有限公司 | 一种轨道交通信号软件的安全变量验证方法及装置 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN116595588A (zh) | 铁路信号系统开发过程安全分析方法及装置 | |
| CN111143446A (zh) | 数据对象的数据结构转换处理方法、装置及电子设备 | |
| CN106649210B (zh) | 一种数据转换方法及装置 | |
| CN110399089B (zh) | 数据存储方法、装置、设备和介质 | |
| CN113641592B (zh) | 测试序列的生成方法及装置 | |
| CN113923268B (zh) | 一种针对多版本通信规约的解析方法、设备及存储介质 | |
| CN112905451B (zh) | 应用程序的自动化测试方法及装置 | |
| CN107436728B (zh) | 规则分析结果存储方法、规则回溯方法及装置 | |
| CN115907400A (zh) | 一种工单处理方法及装置 | |
| CN104536897A (zh) | 基于关键字的自动测试方法及系统 | |
| CN114911479A (zh) | 基于配置化的界面生成方法、装置、设备及存储介质 | |
| CN114357057A (zh) | 日志分析方法、装置、电子设备及计算机可读存储介质 | |
| CN114579136A (zh) | 代码处理方法、装置、计算机设备和存储介质 | |
| CN114186976A (zh) | 工作流程流转方法、装置、计算机设备及存储介质 | |
| CN113326211A (zh) | 测试用例生成方法及装置 | |
| CN112052330B (zh) | 一种应用程序关键词的分配方法及装置 | |
| CN117112450B (zh) | 测试临时限速服务器的方法及装置 | |
| CN113591231B (zh) | 一种模拟行车方法及装置 | |
| CN116578271B (zh) | 应用设计过程模型图的绘制方法及装置 | |
| CN112540835B (zh) | 一种混合机器学习模型的运行方法、装置及相关设备 | |
| CN115328816B (zh) | 测试用例管理方法、装置、计算设备及存储介质 | |
| CN117726170A (zh) | 数据存储方法及装置 | |
| CN116069861A (zh) | 一种数据处理方法、系统及电子设备 | |
| CN114296736A (zh) | 畸形数据的生成方法及装置 | |
| CN116643884A (zh) | 基于规则引擎的数据计算方法、装置、设备及存储介质 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |