The invention relates to a method and a device for detecting homonymous output signals in a control logic model. The method comprises the following steps: S1, extracting all minimum-level subsystem models with independent logic structures contained in the control logic model of a train network system; s2, extracting output signal modules contained in all the minimum-level subsystem models to obtain an output signal set; s3, respectively detecting homonymous output signals under the same path and different paths in the output signal set, and obtaining homonymous output signal detection results in the same subsystem model and different subsystem models; according to the invention, comprehensive and efficient homonymous output signal detection for the control logic model is realized, the name and the path of the problem signal can be automatically output after detection, the labor cost of logic model development is reduced, the possibility of missing detection of the problem output signal is reduced, the time of problem detection and problem signal positioning is greatly shortened, and the detection efficiency is improved. And the research and development efficiency is improved.
本发明涉及一种控制逻辑模型中同名输出信号检测方法及装置,该方法包括以下步骤:S1:提取列车网络系统控制逻辑模型中包含的所有具有独立逻辑结构的最小层级子系统模型;S2:提取所有最小层级子系统模型中包含的输出信号模块,获得输出信号集合;S3:分别检测输出信号集合中相同路径下和不同路径下的同名输出信号,获得同一子系统模型中和不同子系统模型中的同名输出信号检测结果;本发明实现了全面高效的针对控制逻辑模型的同名输出信号检测,检测后能够自动输出问题信号的名称和路径,降低了逻辑模型开发的人工成本,降低了问题输出信号漏检的可能性,同时极大缩短了问题检测及问题信号定位的时间,提高了研发效率。
Method and device for detecting homonymous output signals in control logic model
一种控制逻辑模型中同名输出信号检测方法及装置
2023-12-22
Patent
Electronic Resource
Chinese
Homonymous Hemianopia in the Low Vision Clinic - Which Way to Turn?
British Library Conference Proceedings | 2000
|DEVICE FOR DETECTING LIGHT SIGNALS AND METHOD FOR DETECTING LIGHT SIGNALS
European Patent Office | 2017
|DEVICE FOR DETECTING LIGHT SIGNALS AND METHOD FOR DETECTING LIGHT SIGNALS
European Patent Office | 2018
|OUTPUT CONTROL DEVICE, OUTPUT CONTROL METHOD AND OUTPUT CONTROL PROGRAM
European Patent Office | 2020
|OUTPUT CONTROL DEVICE, OUTPUT CONTROL METHOD, AND OUTPUT CONTROL PROGRAM
European Patent Office | 2020
|