CN108710361B - 一种安全程序检查方法和*** - Google Patents

一种安全程序检查方法和*** Download PDF

Info

Publication number
CN108710361B
CN108710361B CN201810538643.XA CN201810538643A CN108710361B CN 108710361 B CN108710361 B CN 108710361B CN 201810538643 A CN201810538643 A CN 201810538643A CN 108710361 B CN108710361 B CN 108710361B
Authority
CN
China
Prior art keywords
safety
program
security
checking
matrix table
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.)
Active
Application number
CN201810538643.XA
Other languages
English (en)
Other versions
CN108710361A (zh
Inventor
李杜
殷莹
姚宏泰
倪明之
王斌
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Guangzhou Mingluo Soft Control Information Technology Co ltd
Guangzhou Mino Equipment Co Ltd
Original Assignee
Guangzhou Mingluo Soft Control Information Technology Co ltd
Guangzhou Mino Automotive Equipment Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Guangzhou Mingluo Soft Control Information Technology Co ltd, Guangzhou Mino Automotive Equipment Co Ltd filed Critical Guangzhou Mingluo Soft Control Information Technology Co ltd
Priority to CN201810538643.XA priority Critical patent/CN108710361B/zh
Publication of CN108710361A publication Critical patent/CN108710361A/zh
Application granted granted Critical
Publication of CN108710361B publication Critical patent/CN108710361B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0208—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterized by the configuration of the monitoring system
    • G05B23/0213—Modular or universal configuration of the monitoring system, e.g. monitoring system having modules that may be combined to build monitoring program; monitoring system that can be applied to legacy systems; adaptable monitoring system; using different communication protocols
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/20—Pc systems
    • G05B2219/24—Pc safety
    • G05B2219/24069—Diagnostic

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Debugging And Monitoring (AREA)
  • Storage Device Security (AREA)

Abstract

本发明公开了一种安全程序自动检查方法，包括如下步骤：安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；安全矩阵表制作步骤：将得到的安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记类型和数量相互之间的从属关系；安全程序下载步骤：将安全程序下载到仿真检查工具中；安全矩阵表导入步骤：将安全矩阵表导入仿真检查工具中；安全程序自动检查步骤：使用所真检查工具检查安全程序逻辑是否与安全矩阵表内容一致。本发明还提供一种安全程序自动检查***。本发明提供的安全程序自动检查方法和***，可以提高安全程序检查效率，并提高检查验证的准确性。

Description

一种安全程序检查方法和***
技术领域
本发明涉及工业设备的安全控制领域，尤其涉及一种安全程序检查方法和***。
背景技术
随着工业自动化的日益成熟，现代化的工厂已经改变了以前设备简陋、功能单一、安全缺乏的情况。现代化的工厂提供了更多的安全保障，如急停按钮、安全门锁等，安全***越来越多地应用到我们的自动化生产设备和生产线上。
安全程序由PLC工程师根据需要在工业生产控制中实现安全保障的目的制作的程序，是自动化生成设备和生产线实现安全控制的重要程序，用来在出现故障时实现安全保护的功能，包括对人身安全的保护和对设备安全的保护。安全程序对于生产设备实现安全保障具有重要的作用。为了保证安全程序正确，需对其进行检查验证。
现有对安全程序的检查验证方法，需要将安全程序装入到设备中，并通过按下急停按钮，查看相关信号的通断情况来判断安全程序是否正确。现有对安全程序检查验证的方法，需要所有设备均完成安全程序安装才可以进行检查验证，同时需人工操作，效率低，并且容易遗漏检查验证项，存在安全隐患。
发明内容
针对现有安全程序检查验证过程中存在的问题，本发明实施例提供一种安全程序自动检查方法和***，以提高安全程序检查效率，并提高检查验证的准确性。
本发明实施例提供的一种安全程序自动检查方法，包括如下步骤：
安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；
安全矩阵表制作步骤：将得到的安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；
安全程序下载步骤：将安全程序下载到仿真检查工具中；
安全矩阵表导入步骤：将安全矩阵表导入仿真检查工具中；
安全程序自动检查步骤：使用仿真检查工具检查安全程序逻辑是否与安全矩阵表内容一致。
本发明提供的安全程序自动检查方法，通过预先对安全方案进行分析，建立安全矩阵表，将安全程序和安全矩阵表导入到仿真检查工具中进行安全仿真检查。通过检查安全程序的逻辑与安全矩阵表中的内容是否一致，当安全程序的逻辑与安全矩阵表中的内容一致时，判断安全程序时准确的；当安全程序的逻辑与安全矩阵表中的内容不一致时，可以输出检查结果，供工程师根据检查结果对安全程序进行修改。本发明提供的安全程序自动检查方法，只需要将安全程序和安全矩阵表导入到仿真检查工具中检查，改进了把安全程序安装到设备中才能进行检查的传统方法，在对安全程序的检查过程中，不需要人工操作，提高了安全程序检查的准确性和效率。同时，不需要在所有设备上都安装了安全程序后才能进行检查，进一步提高了检查的效率。
优选地，在所述安全程序自动检查步骤之后，还包括检查报告导出步骤：根据安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。
其中，安全保护目的，包括人身安全保障、设备安全保障、安全事故防范。安全方案为为了实现人身安全保障、设备安全保障、安全事故防范安全保护目的而规划的举措。
其中，安全程序自动检查步骤中，仿真检查工具对安全矩阵表表单的内容逐项检查。
本发明实施例还提供一种计算机可读存取介质，计算机可读存储介质中存储有计算机程序，其中，在计算机程序运行时可执行上述的安全程序自动检查方法。
本发明实施例还提供一种安全程序自动检查***，包括安全方案分析模块、安全矩阵表制作模块、安全程序下载模块、仿真检查工具，安全方案分析模块、安全矩阵表制作模块和仿真检查工具依次信号连接，安全程序下载模块与仿真检查工具信号连接；
安全方案分析模块：用于通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；
安全矩阵表制作模块：用于将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；
安全程序下载模块：用于将安全程序下载到仿真检查工具中；
仿真检查工具：用于接收所述安全矩阵表制作模块制作的矩阵表，以及安全程序下载模块下载的安全程序，并自动检查所述安全程序逻辑是否与所述安全矩阵表内容一致。
本发明实施例提供的安全程序自动检查***，在对安全程序的检查过程中，不需要人工操作，提高了安全程序检查的准确性和效率。同时，不需要在所有设备上都安装了安全程序后才能进行检查，进一步提高了检查的效率。
优选地，还包括检查报告生成模块，所述检查报告生成模块连接所述仿真检查工具，用于接收所述仿真检查工具对安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。
附图说明
图1为本发明实施例1中安全程序自动检查方法流程示意图；
图2为本发明实施例1中安全程序自动检查方法优选实施方式流程示意图；
图3为本发明实施例1中安全方案示意图；
图4为本发明实施例1中矩阵表示意图；
图5为本发明实施例1中仿真检查工具示意图；
图6为本发明实施例2中安全程序自动检查***结构示意图；
图7为本发明实施例2中安全程序自动检查***优选实施方式结构示意图。
附图中：100、安全方案分析模块；200、安全矩阵表制作模块；300、安全程序下载模块；400、仿真检查工具；500、检查报告生成模块。
具体实施方式
下面，结合附图以及具体实施方式，对本发明做进一步描述，需要说明的是，在不相冲突的前提下，以下描述的各实施例之间或各技术特征之间可以任意组合形成新的实施例。
实施例1：
如图1所示，本发明实施例1提供的一种安全程序自动检查方法，包括如下步骤：
安全方案分析步骤S10：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；
安全矩阵表制作步骤S20：将得到的安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；
安全程序下载步骤S30：将安全程序下载到仿真检查工具中；
安全矩阵表导入步骤S40：将安全矩阵表导入仿真检查工具中；
安全程序自动检查步骤50：使用仿真检查工具检查安全程序逻辑是否与安全矩阵表内容一致。
其中，安全保护目的，包括人身安全保障、设备安全保障、安全事故防范。安全方案为为了实现人身安全保障、设备安全保障、安全事故防范安全保护目的而规划的举措。如图3所示，标识了一种安全方案的示例。图3所示的安全方案标识了安全区域，以及各个流程和设备的类型和数量。
如图4所示，图4为根据图3所示的安全方案制作的矩阵表。通过矩阵表格的形式，标识了安全方案中保障的设备以及被保障的人员的类型、数量，以及他们相互之间的从属关系。
图5示例出了一种仿真检查工具。如图5所示的安全程序仿真检查工具，通过导入矩阵表和安全程序，在进行安全程序检查时可以通过暂停、插值或者改变参数值，及时验证安全程序和矩阵表的内容一致性。其中，安全保护目的，包括人身安全保障、设备安全保障、安全事故防范。仿真检查工具在安全程序自动检查步骤中，通过对安全矩阵表表单的内容逐项自动检查。避免了错检漏检，提高了自动检查的效率。
本发明提供的安全程序自动检查方法，通过预先对安全方案进行分析，建立安全矩阵表，将安全程序和安全矩阵表导入到仿真检查工具中进行安全仿真检查。通过检查安全程序的逻辑与安全矩阵表中的内容是否一致，当安全程序的逻辑与安全矩阵表中的内容一致时，判断安全程序时准确的；当安全程序的逻辑与安全矩阵表中的内容不一致时，可以输出检查结果，供工程师根据检查结果对安全程序进行修改。本发明提供的安全程序自动检查方法，只需要将安全程序和安全矩阵表导入到仿真检查工具中检查，改进了把安全程序安装到设备中才能进行检查的传统方法，在对安全程序的检查过程中，不需要人工操作，提高了安全程序检查的准确性和效率。同时，不需要在所有设备上都安装了安全程序后才能进行检查，进一步提高了检查的效率。通过实际检验，通过使用本发明提供的安全程序自动检查方法，完成安全程序检查从原来的平均8个小时，减少到平均1个小时左右。其中使用本发明提供的安全程序自动检查方法，主要的时间在于完成矩阵表的制作，当完成了矩阵表的制作后，仿真检查工具只需要几分钟就可以完成检查。
如图2所示，本发明实施例提供的一种优选的安全程序自动检查方法实施方式中，在安全程序自动检查步骤之后，还包括检查报告导出步骤S60：根据安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。
导出的检查报告将记录安全程序与矩阵表不一致的地方，以提供给工程师修改安全程序的依据。工程师可以根据检查报告重新修改安全程序，并重新进行安全程序的自动检查，直到安全程序与矩阵表的内容一致，才完成安全程序的检查。
实施例2：
如图6所示，本发明实施例还提供一种安全程序自动检查***，包括安全方案分析模块100、安全矩阵表制作模块200、安全程序下载模块300、仿真检查工具400，安全方案分析模块100、安全矩阵表制作模块200和仿真检查工具400依次信号连接，安全程序下载模块300与仿真检查工具400信号连接；
安全方案分析模块100：用于通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；
安全矩阵表制作模块200：用于将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；
安全程序下载模块300：用于将安全程序下载到仿真检查工具400中；
仿真检查工具400：用于接收所述安全矩阵表制作模块200制作的矩阵表，以及安全程序下载模块300下载的安全程序，并自动检查所述安全程序逻辑是否与所述安全矩阵表内容一致。
本发明实施例提供的安全程序自动检查***，在对安全程序的检查过程中，不需要人工操作，提高了安全程序检查的准确性和效率。同时，不需要在所有设备上都安装了安全程序后才能进行检查，进一步提高了检查的效率。
如图7所示，本实施例提供的一种优选实施方式中，还包括检查报告生成模块500，所述检查报告生成模块连接所述仿真检查工具，用于接收所述仿真检查工具对安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。
本实施例提供的安全程序自动检查***，主要用于实现实施例1中提供的安全程序自动检查方法。其与实施例1相同部分，这里不予赘述。
实施例3：
本发明实施例还提供一种计算机可读存取介质，计算机可读存储介质中存储有计算机程序，其中，在计算机程序运行时可执行实施例1提供的安全程序自动检查方法。
以上所述是本发明的优选实施方式，应当指出，对于本技术领域的普通技术人员来说，在不脱离本发明原理的前提下，还可以做出若干改进和润饰，这些改进和润饰也视为本发明的保护范围。

Claims (8)

1.一种安全程序自动检查方法，其特征在于，包括如下步骤：
安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；
安全矩阵表制作步骤：将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；
安全程序下载步骤：将安全程序下载到仿真检查工具中；
安全矩阵表导入步骤：将所述安全矩阵表导入所述仿真检查工具中；
安全程序自动检查步骤：使用所述仿真检查工具检查所述安全程序逻辑是否与所述安全矩阵表内容一致。
2.如权利要求1所述的方法，其特征在于，在所述安全程序自动检查步骤之后，还包括检查报告导出步骤：根据安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。
3.如权利要求2所述的方法，其特征在于，所述安全保护目的，包括人身安全保障、设备安全保障、安全事故防范。
4.如权利要求3所述的方法，其特征在于，所述安全方案为为了实现人身安全保障、设备安全保障、安全事故防范安全保护目的而规划的举措。
5.如权利要求1所述的方法，其特征在于，所述安全程序自动检查步骤中，所述仿真检查工具对安全矩阵表表单的内容逐项检查。
6.一种计算机可读存取介质，其特征在于，所述计算机可读存储介质中存储有计算机程序，其中，在所述计算机程序运行时可执行如权利要求1至5任意一项所述的安全程序自动检查方法。
7.一种安全程序自动检查***，其特征在于，包括安全方案分析模块、安全矩阵表制作模块、安全程序下载模块、仿真检查工具，所述安全方案分析模块、安全矩阵表制作模块和所述仿真检查工具依次信号连接，所述安全程序下载模块与所述仿真检查工具信号连接；
安全方案分析模块：用于通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；
安全矩阵表制作模块：用于将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；
安全程序下载模块：用于将安全程序下载到仿真检查工具中；
仿真检查工具：用于接收所述安全矩阵表制作模块制作的矩阵表，以及安全程序下载模块下载的安全程序，并自动检查所述安全程序逻辑是否与所述安全矩阵表内容一致。
8.如权利要求7所述的***，其特征在于，还包括检查报告生成模块，所述检查报告生成模块连接所述仿真检查工具，用于接收所述仿真检查工具对安全程序自动检查的检查结果，自动生成检查报告并导出所述检查报告。
CN201810538643.XA 2018-05-30 2018-05-30 一种安全程序检查方法和*** Active CN108710361B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201810538643.XA CN108710361B (zh) 2018-05-30 2018-05-30 一种安全程序检查方法和***

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201810538643.XA CN108710361B (zh) 2018-05-30 2018-05-30 一种安全程序检查方法和***

Publications (2)

Publication Number Publication Date
CN108710361A CN108710361A (zh) 2018-10-26
CN108710361B true CN108710361B (zh) 2020-07-28

Family

ID=63870947

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201810538643.XA Active CN108710361B (zh) 2018-05-30 2018-05-30 一种安全程序检查方法和***

Country Status (1)

Country Link
CN (1) CN108710361B (zh)

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003330753A (ja) * 2003-06-20 2003-11-21 Fujitsu Ltd テストプログラム自動生成システム
CN102184136A (zh) * 2011-04-29 2011-09-14 中国航天科技集团公司第七一〇研究所 一种验证aadl模型运行状态与需求一致性的方法
CN103745153A (zh) * 2013-12-30 2014-04-23 北京控制工程研究所 一种航天器软件空间使用安全性检查方法
CN104216829A (zh) * 2014-08-29 2014-12-17 福建联迪商用设备有限公司 一种嵌入式模块并发测试的方法及***
CN104461860A (zh) * 2013-09-16 2015-03-25 国际商业机器公司 用于操作***验证的方法和***
CN105354507A (zh) * 2015-10-23 2016-02-24 浙江远望软件有限公司 一种云环境下的数据安全保密方法

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1632763A (zh) * 2004-12-15 2005-06-29 时仁帅 用于嵌入式模块中汇编程序的自动查错改错方法和***
US9348617B1 (en) * 2010-08-22 2016-05-24 Panaya Ltd. Method and system for automatic processing of failed test scenarios
CN103257919B (zh) * 2012-02-21 2015-05-13 腾讯科技（深圳）有限公司 脚本程序检查方法和装置
US8856751B2 (en) * 2012-09-20 2014-10-07 Fujitsu Limited Abstract symbolic execution for scaling symbolic execution generation and automatic test generation
CN105095696B (zh) * 2015-06-25 2018-10-16 三星电子（中国）研发中心 对应用程序进行安全认证的方法、***及设备
CN105553970A (zh) * 2015-12-14 2016-05-04 北京锐安科技有限公司 一种信息***的安全检查装置以及检查结果分析方法

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003330753A (ja) * 2003-06-20 2003-11-21 Fujitsu Ltd テストプログラム自動生成システム
CN102184136A (zh) * 2011-04-29 2011-09-14 中国航天科技集团公司第七一〇研究所 一种验证aadl模型运行状态与需求一致性的方法
CN104461860A (zh) * 2013-09-16 2015-03-25 国际商业机器公司 用于操作***验证的方法和***
CN103745153A (zh) * 2013-12-30 2014-04-23 北京控制工程研究所 一种航天器软件空间使用安全性检查方法
CN104216829A (zh) * 2014-08-29 2014-12-17 福建联迪商用设备有限公司 一种嵌入式模块并发测试的方法及***
CN105354507A (zh) * 2015-10-23 2016-02-24 浙江远望软件有限公司 一种云环境下的数据安全保密方法

Also Published As

Publication number Publication date
CN108710361A (zh) 2018-10-26

Similar Documents

Publication Publication Date Title
CN105930274B (zh) 一种自动化测试方法及***
US20050223295A1 (en) Method for the creation of sequences for testing software
CN107943008B (zh) 基于vt***的自动化诊断测试方法
CN101937396B (zh) 软件程序中变量的不安全使用的检测方法
WO2014173173A1 (zh) 智能电网安全督查自动化***
CN113032240A (zh) 一种软件测试自动化管理***及方法
Ibrahim et al. State of the Art in Software Tool Qualification with DO-330: A Survey.
CN112817843B (zh) 项目管理方法和***
CN108710361B (zh) 一种安全程序检查方法和***
KR101418489B1 (ko) Fbw 헬리콥터 비행제어법칙의 자동생성코드 검증장치 및 그 검증방법
US20100031228A1 (en) Process for testing models
CN107885607B (zh) 一种基于嵌入式***软件多视图事故模型的建模方法
Jharko Verification and software quality assurance for nuclear power engineering
CN113608089B (zh) 开关电源mos管的soa测试方法、***、装置及可读存储介质
JP6290147B2 (ja) 制御機器プログラムコードを作成するコンピュータ実装方法および関連するメッセージ管理システム
CN112084278B (zh) 一种地图数据转换定制产品的检证方法及装置
CN104572470A (zh) 一种基于蜕变关系的整数溢出故障检测方法
US20210026999A1 (en) Method and device for validating a simulation of a technical system
CN110569868A (zh) 一种危险作业规范管理***及其管理方法
CN114579084A (zh) 发动机的控制软件的形式化处理方法和装置
CN114546845B (zh) 一种功能安全软件工具链的鉴定方法
Jharko Safety functions in the software quality assurance of NPP safety important systems
KR101484210B1 (ko) 자동화 라인의 이상회로 점검방법
CN108227655A (zh) 一种在工装夹具上快速组合式的模块化电控***
CN106598857A (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
GR01 Patent grant
GR01 Patent grant
CP03 Change of name, title or address

Address after: Room 202, Building C3, No. 11 Kaiyuan Avenue, Huangpu District, Guangzhou City, Guangdong Province, 510530

Patentee after: GUANGZHOU MINGLUO SOFT CONTROL INFORMATION TECHNOLOGY CO.,LTD.

Patentee after: Guangzhou mingluo Equipment Co.,Ltd.

Address before: Unit 202, 2nd Floor, Building C3, No. 11 Kaiyuan Avenue, Science City, High tech Industrial Development Zone, Guangzhou, Guangdong Province, 510700

Patentee before: GUANGZHOU MINGLUO SOFT CONTROL INFORMATION TECHNOLOGY CO.,LTD.

Patentee before: GUANGZHOU MINO AUTOMOTIVE EQUIPMENT Co.,Ltd.

CP03 Change of name, title or address