CN110457029B - 一种基于scade基础算法块的逻辑组态图符配置方法 - Google Patents

一种基于scade基础算法块的逻辑组态图符配置方法 Download PDF

Info

Publication number
CN110457029B
CN110457029B CN201910744282.9A CN201910744282A CN110457029B CN 110457029 B CN110457029 B CN 110457029B CN 201910744282 A CN201910744282 A CN 201910744282A CN 110457029 B CN110457029 B CN 110457029B
Authority
CN
China
Prior art keywords
algorithm
icon
information
key information
algorithm block
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
CN201910744282.9A
Other languages
English (en)
Other versions
CN110457029A (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.)
China Nuclear Control System Engineering Co ltd
Original Assignee
China Nuclear Control System Engineering 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 China Nuclear Control System Engineering Co ltd filed Critical China Nuclear Control System Engineering Co ltd
Priority to CN201910744282.9A priority Critical patent/CN110457029B/zh
Publication of CN110457029A publication Critical patent/CN110457029A/zh
Application granted granted Critical
Publication of CN110457029B publication Critical patent/CN110457029B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90Details of database functions independent of the retrieved data types
    • G06F16/901Indexing; Data structures therefor; Storage structures
    • G06F16/9024Graphs; Linked lists
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/30Creation or generation of source code
    • G06F8/34Graphical or visual programming

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Data Mining & Analysis (AREA)
  • User Interface Of Digital Computer (AREA)
  • Stored Programmes (AREA)

Abstract

本发明公开了一种基于SCADE基础算法块的逻辑组态图符配置方法,从SCADE算法块中提取关键信息;整理所述关键信息,并将所述关键信息写入预设的专属结构体;所述专属结构体包括SCADE算法块名称和与所述SCADE算法块名称对应的关键信息;当用户选择图符信息时,加载专属结构体,将图符信息与所述关键信息进行匹配,并将匹配得到的所述关键信息对应的算法块提取出来;对提取出来的算法块进行校验并将校验通过的算法块数据赋予图符。本发明一方面可以实现对图符块的算法信息快速配置,提高了工作效率,节约了工程设计成本;另一方面保证了图符块与算法块信息的一致性,保证了生成的代码即为设计人员设计的逻辑代码。

Description

一种基于SCADE基础算法块的逻辑组态图符配置方法
技术领域
本发明涉及核电领域,具体涉及一种基于SCADE基础算法块的逻辑组态图符配置方法。
背景技术
核电厂处理单元中运行的应用软件是高安全性的软件,应用软件必须要使用经过验证的,得到相关权威机构认可的软件自动生成和编译成为执行程序,其执行程序方可证明为是安全可靠的,方可在DCS环境运行。
目前DCS平台基本采用SCADE软件对逻辑应用软件进行编译。SCADE软件由法国爱斯特尔技术公司研制与开发,为逻辑应用软件生成代码提供KCG代码生成器,是一个高安全性嵌入式软件开发的自动化工具。目前在航空航天,汽车医学等领域得到广泛应用和认可。
SCADE软件绘制的逻辑图线条、样式等更多体现了其通用性。不能完全满足核电领域的要求,针对核电领域需要有更符合核电背景,更能表现核电逻辑的图样,鉴于此,目前DCS平台为逻辑功能图提供了专门的绘制软件,即核电厂DCS平台逻辑组态软件,该软件采用QGraphicsView框架技术进行逻辑功能图的绘制,将工程设计人员的逻辑设计以逻辑图的形式呈现,调用由SCADE软件产生的基础逻辑算法单元,从而形成从设计到图形,从图形到逻辑代码的完整生命周期。
在基础算法逻辑块与逻辑组态软件图符进行关联过程中,人工配置图符块的算法信息较多,过程较复杂,工作量较大。所以,在现有的技术背景下,想快速的,准确的配置每一个图符块的算法信息,难度非常大。
发明内容
本发明所要解决的技术问题是在现有的技术背景下,想快速的,准确的配置每一个图符块的算法信息,难度非常大,目的在于提供一种基于SCADE基础算法块的逻辑组态图符配置方法,解决上述问题。
本发明通过下述技术方案实现:
一种基于SCADE基础算法块的逻辑组态图符配置方法,包括以下步骤:从SCADE算法块中提取关键信息;整理所述关键信息,并将所述关键信息写入预设的专属结构体;所述专属结构体包括SCADE算法块名称和与所述SCADE算法块名称对应的关键信息;当用户选择图符信息时,加载专属结构体,将图符信息与所述关键信息进行匹配,并将匹配得到的所述关键信息对应的算法块提取出来;对提取出来的算法块进行校验并将校验通过的算法块数据赋予图符。
本发明主要应用在核电站DCS平台控制站和TU站中的逻辑算法组态中图符自动化配置。由于SCADE是通过基于算法块,使用KCG生成代码的方式来提供代码,这就使得在安全级软件设计中,用户不需要手动输入代码,从而避免了各种错误以及BUG,但是在使用中,SCADE的算法块数量非常庞大,用户每次选取算法块都需要去SCADE的算法库中进行检索,浪费大量时间。
本发明应用时,首先从SCADE算法块中提取关键信息,这里说的关键信息是包括算法块中可以被识别出来的标识,一个算法块的标识综合起来应该只能对应一个算法块,同时这种标识是不包括算法块中的算法代码本体的;同时关键信息本身还应该包括这个算法块在算法库中的位置以及算法块自身的编号或者名称。
为了将各个算法块产生的零散的关键信息整合在一起便于后续调用,发明人创造性的采用了一种特殊的专属结构体,在这种专属结构体中,将算法块名称和算法块名称对应的关键信息进行对应,也就是说可以通过关键信息对算法块名称进行搜索,进而可以便于找到算法块。
当用户选择图符信息时,这个图符信息是一种预设的信息,用户可以通过在界面上的选择来确定图符信息,选定图符信息时,加载专属结构体,由于专属结构体本身形成了良好的对应机制,所以可以很容易的将写入专属结构体中关键信息与图符信息进行匹配,匹配后将合适的关键信息对应的算法块提取,在通过校验后就可以将算法块赋予图符。本发明通过设置上述步骤,一方面可以实现对图符块的算法信息快速配置,提高了工作效率,节约了工程设计成本;另一方面保证了图符块与算法块信息的一致性,保证了生成的代码即为设计人员设计的逻辑代码。
进一步的,所述关键信息包括算法代码文件路径、算法名称、算法信息文件路径、算法外部接口数量和外部接口类型;所述算法外部接口数量包括算法外部输入数量、算法外部输出数量和算法外部参数数量。
本发明应用时,鉴于SCADE算法块的特征,本发明将关键信息设置为包括算法代码文件路径、算法名称、算法信息文件路径、算法外部接口数量和外部接口类型,通过这些信息就可以对SCADE算法块进行独有标识,值得注意的是,在现有的通用技术中,其他软件是不具备这种标识技术的。
进一步的,从SCADE算法块中提取关键信息包括以下子步骤:根据SCADE算法块中的固定格式,找到所述关键信息在SCADE算法块中的存储位置。
本发明应用时,SCADE算法块中的格式是固定的,也就是说可以很容易的找到一个算法块中关键信息所在的位置。
进一步的,所述图符信息为预设信息,且所述图符信息包括图符引脚数量和图符引脚类型。
本发明应用时,图符信息是预设的,用户只需要调用图符信息就可以调用关键信息及其对应的算法块。
进一步的,将图符信息与所述关键信息进行匹配包括以下子步骤:将图符信息中的图符引脚数量与关键信息中的算法外部接口数量相匹配;将图符信息中的图符引脚类型与关键信息中的外部接口类型相匹配;将图符引脚数量与算法外部接口数量的匹配和图符引脚类型与外部接口类型的匹配均完成的关键信息作为与图符信息匹配的关键信息。
本发明应用时,在进行匹配时,发明人基于SCADE算法块的特性做了创造性的标识方案,即采用接口数量和接口类型进行算法块标识,这种方式相比于现有技术的标识方式,不仅数据采集难度非常小,并且在使用时很容易进行错误校验。
进一步的,还包括以下步骤:将校验通过的算法块数据赋予图符后,根据算法块的关键信息生成图符的引脚;所述引脚不可手动变化。
进一步的,还包括以下步骤:根据算法块的关键信息生成图符引脚的编号。
进一步的,还包括以下步骤:根据算法块数据、图符引脚和图符引脚编号生成图符文件。
进一步的,对提取出来的算法块进行校验包括以下子步骤:当算法块未通过校验时,给出错误信息。
进一步的,对提取出来的算法块进行校验包括以下子步骤:将提取出来的算法块对应的关键信息与用户的选择图符信息进行逐项比对,当所有比对通过时,将所述算法块视为通过校验的算法块。
本发明应用时,结合匹配和校验的方式,可以极大的减小算法块选择错误的问题,从而在设计层面上就可以降低出错率。
本发明与现有技术相比,具有如下的优点和有益效果:
本发明一种基于SCADE基础算法块的逻辑组态图符配置方法,通过设置上述步骤,一方面可以实现对图符块的算法信息快速配置,提高了工作效率,节约了工程设计成本;另一方面保证了图符块与算法块信息的一致性,保证了生成的代码即为设计人员设计的逻辑代码。
附图说明
此处所说明的附图用来提供对本发明实施例的进一步理解,构成本申请的一部分,并不构成对本发明实施例的限定。在附图中:
图1为本发明流程示意图;
图2为本发明关键信息提取示意图;
图3为本发明加载信息示意图;
图4为本发明SCADE算法文件信息;
图5为本发明专属结构体示意图;
图6为本发明图符配置示意图。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚明白,下面结合实施例和附图,对本发明作进一步的详细说明,本发明的示意性实施方式及其说明仅用于解释本发明,并不作为对本发明的限定。
实施例
本发明一种基于SCADE基础算法块的逻辑组态图符配置方法,包括以下步骤:从SCADE算法块中提取关键信息;整理所述关键信息,并将所述关键信息写入预设的专属结构体;所述专属结构体包括SCADE算法块名称和与所述SCADE算法块名称对应的关键信息;当用户选择图符信息时,加载专属结构体,将图符信息与所述关键信息进行匹配,并将匹配得到的所述关键信息对应的算法块提取出来;对提取出来的算法块进行校验并将校验通过的算法块数据赋予图符。
本实施例主要应用在核电站DCS平台控制站和TU站中的逻辑算法组态中图符自动化配置。由于SCADE是通过基于算法块,使用KCG生成代码的方式来提供代码,这就使得在安全级软件设计中,用户不需要手动输入代码,从而避免了各种错误以及BUG,但是在使用中,SCADE的算法块数量非常庞大,用户每次选取算法块都需要去SCADE的算法库中进行检索,浪费大量时间。
本实施例实施时,首先从SCADE算法块中提取关键信息,这里说的关键信息是包括算法块中可以被识别出来的标识,一个算法块的标识综合起来应该只能对应一个算法块,同时这种标识是不包括算法块中的算法代码本体的;同时关键信息本身还应该包括这个算法块在算法库中的位置以及算法块自身的编号或者名称。
为了将各个算法块产生的零散的关键信息整合在一起便于后续调用,发明人创造性的采用了一种特殊的专属结构体,在这种专属结构体中,将算法块名称和算法块名称对应的关键信息进行对应,也就是说可以通过关键信息对算法块名称进行搜索,进而可以便于找到算法块。
当用户选择图符信息时,这个图符信息是一种预设的信息,用户可以通过在界面上的选择来确定图符信息,选定图符信息时,加载专属结构体,由于专属结构体本身形成了良好的对应机制,所以可以很容易的将写入专属结构体中关键信息与图符信息进行匹配,匹配后将合适的关键信息对应的算法块提取,在通过校验后就可以将算法块赋予图符。本发明通过设置上述步骤,一方面可以实现对图符块的算法信息快速配置,提高了工作效率,节约了工程设计成本;另一方面保证了图符块与算法块信息的一致性,保证了生成的代码即为设计人员设计的逻辑代码。
为了进一步的说明本实施例实施时的具体信息情况,所述关键信息包括算法代码文件路径、算法名称、算法信息文件路径、算法外部接口数量和外部接口类型;所述算法外部接口数量包括算法外部输入数量、算法外部输出数量和算法外部参数数量。
本实施例实施时,鉴于SCADE算法块的特征,本发明将关键信息设置为包括算法代码文件路径、算法名称、算法信息文件路径、算法外部接口数量和外部接口类型,通过这些信息就可以对SCADE算法块进行独有标识,值得注意的是,在现有的通用技术中,其他软件是不具备这种标识技术的。
为了进一步的说明SCADE算法块关键信息提取过程,从SCADE算法块中提取关键信息包括以下子步骤:根据SCADE算法块中的固定格式,找到所述关键信息在SCADE算法块中的存储位置。
本实施例实施时,SCADE算法块中的格式是固定的,也就是说可以很容易的找到一个算法块中关键信息所在的位置。
为了进一步的说明图符信息情况,所述图符信息为预设信息,且所述图符信息包括图符引脚数量和图符引脚类型。
本实施例实施时,图符信息是预设的,用户只需要调用图符信息就可以调用关键信息及其对应的算法块。
为了进一步的说明匹配过程,将图符信息与所述关键信息进行匹配包括以下子步骤:将图符信息中的图符引脚数量与关键信息中的算法外部接口数量相匹配;将图符信息中的图符引脚类型与关键信息中的外部接口类型相匹配;将图符引脚数量与算法外部接口数量的匹配和图符引脚类型与外部接口类型的匹配均完成的关键信息作为与图符信息匹配的关键信息。
本实施例实施时,在进行匹配时,发明人基于SCADE算法块的特性做了创造性的标识方案,即采用接口数量和接口类型进行算法块标识,这种方式相比于现有技术的标识方式,不仅数据采集难度非常小,并且在使用时很容易进行错误校验。
为了进一步的说明本实施例应用情况,还包括以下步骤:将校验通过的算法块数据赋予图符后,根据算法块的关键信息生成图符的引脚;所述引脚不可手动变化。还包括以下步骤:根据算法块的关键信息生成图符引脚的编号。还包括以下步骤:根据算法块数据、图符引脚和图符引脚编号生成图符文件。对提取出来的算法块进行校验包括以下子步骤:当算法块未通过校验时,给出错误信息。对提取出来的算法块进行校验包括以下子步骤:将提取出来的算法块对应的关键信息与用户的选择图符信息进行逐项比对,当所有比对通过时,将所述算法块视为通过校验的算法块。
本实施例实施时,结合匹配和校验的方式,可以极大的减小算法块选择错误的问题,从而在设计层面上就可以降低出错率。
为了进一步说明本实施例的应用情况,本实施例提供一种基于SCADE基础算法块的逻辑组态图符自动化配置的方法。实现了图符块的算法信息自动化配置。实现本发明要完成的主要工作包括四个步骤。首先,图符配置软件自动提取并整理SCADE算法块关键信息。其次,图符配置软件自动一键加载算法块信息。再次,图符配置软件根据操作人员选择的算法块,自动过滤和读取算法块信息,自动生成匹配信息。最后,图符配置软件对设置的关联信息进行校验,并生成对应的图符块,保证图符块对应的逻辑的正确性。
实现对逻辑组态图符自动化配置功能流程图如图1所示:具体步骤说明如下:
1.SCADE基础算法库信息的提取,提取算法库信息的功能流程如图2所示。
①分析图符库的关键信息,一个功能图符要与算法图符进行关联,其关键信息必须包括算法代码文件路径、算法名称、算法信息文件路径、算法外部接口(输入、输出、参数)数量、外部接口类型等信息。
②根据逻辑组态软件要求,制定专属结构,以供图符配置软件能够解析并使用算法信息数据。
③SCADE算法库文件格式固定的,根据算法文件,数据解析模块找到信息数据的存储位置。
④加载算法模块的数据文件,数据解析模块解析数据,根据固定格式解析数据,并将数据写入专属结构体中。
2.图符配置软件加载算法信息专属结构体数据,并将数据存放于软件内存区。
3.用户根据需要选择图符要使用的基础算法块,设置图符自身的信息,包括图符名称、图符图片、所属组、长宽等信息。
4.图符配置软件根据选择过滤算法数据,一键加载界面信息。该步骤的功能流程如图3所示。
①图符配置软件根据第2步中写入的算法数据,将所有算法信息一键加载刀图符配置软件。
②操作人员制定图符要使用的算法块。
③图符配置软件根据算法块读取其对应的算法信息数据,并在后台进行分类备用。
④图符配置软件将算法固有信息加载到界面,且该界面为不可编辑的界面。这些固有信息主要包括算法代码路径、算法信息文件路径,接口数量等。
⑤图符配置软件根据接口数量自动生成图符的引脚,根据接口编号自动生成图符引脚的编号。软件不允许手动增加或删除图符引脚。
⑥操作人员微调引脚位置,切换引脚查看引脚对应信息。
5.图符配置软件检验配置信息,对于不正确的信息给出提示。
6.图符配置软件生成对应的图符。
在安全级DCS项目中,已经实现了上述基于SCADE基础算法块的逻辑组态图符自动化配置方法。
利用本方法研究的SCADE基础算法块的关键信息如图4所示。该关键信息主要描述了逻辑图符要用到的关键信息在源文件中的存放形式。
利用本方法生成的基础算法信息专属结构信息如图5所示。该专属结构体根据图符要求,定义了算法关键信息的合理的结构。
利用本方法处理后可供组态的图符示例如图6所示。在示例图中,选中的图符即为成功配置的图符,可以用于逻辑组态。
本实施例中,针对逻辑组态图符配置过程较复杂,参数较多,工作量较大,容易出错的问题,研究了自动化配置的方法,提供了自动化配置软件。使用了SCADE算法块关键信息的提取技术,算法块与图符库关联信息的自动关联,算法块信息的一键加载技术,配置信息的校验技术。最终实现对基于SCADE基础算法块的逻辑组态图符的快速自动化配置,提高了工作效率,节约了工程设计成本,保证了图符块与算法块信息的一致性,保证了生成的代码即为设计人员设计的逻辑代码。适合在逻辑功能的设计、联调、测试、V&V等各阶段使用。
以上所述的具体实施方式,对本发明的目的、技术方案和有益效果进行了进一步详细说明,所应理解的是,以上所述仅为本发明的具体实施方式而已,并不用于限定本发明的保护范围,凡在本发明的精神和原则之内,所做的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。

Claims (8)

1.一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,包括以下步骤:
从SCADE算法块中提取关键信息;
整理所述关键信息,并将所述关键信息写入预设的专属结构体;所述专属结构体包括SCADE算法块名称和与所述SCADE算法块名称对应的关键信息;
当用户选择图符信息时,加载专属结构体,将图符信息与所述关键信息进行匹配,并将匹配得到的所述关键信息对应的算法块提取出来;
对提取出来的算法块进行校验并将校验通过的算法块数据赋予图符;
所述关键信息包括算法代码文件路径、算法名称、算法信息文件路径、算法外部接口数量和外部接口类型;所述算法外部接口数量包括算法外部输入数量、算法外部输出数量和算法外部参数数量;
所述图符信息为预设信息,且所述图符信息包括图符引脚数量和图符引脚类型。
2.根据权利要求1所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,从SCADE算法块中提取关键信息包括以下子步骤:
根据SCADE算法块中的固定格式,找到所述关键信息在SCADE算法块中的存储位置。
3.根据权利要求1所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,将图符信息与所述关键信息进行匹配包括以下子步骤:
将图符信息中的图符引脚数量与关键信息中的算法外部接口数量相匹配;将图符信息中的图符引脚类型与关键信息中的外部接口类型相匹配;
将图符引脚数量与算法外部接口数量的匹配和图符引脚类型与外部接口类型的匹配均完成的关键信息作为与图符信息匹配的关键信息。
4.根据权利要求1所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,还包括以下步骤:
将校验通过的算法块数据赋予图符后,根据算法块的关键信息生成图符的引脚;所述引脚不可手动变化。
5.根据权利要求4所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,还包括以下步骤:
根据算法块的关键信息生成图符引脚的编号。
6.根据权利要求5所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,还包括以下步骤:
根据算法块数据、图符引脚和图符引脚编号生成图符文件。
7.根据权利要求1所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,对提取出来的算法块进行校验包括以下子步骤:
当算法块未通过校验时,给出错误信息。
8.根据权利要求1所述的一种基于SCADE基础算法块的逻辑组态图符配置方法,其特征在于,对提取出来的算法块进行校验包括以下子步骤:
将提取出来的算法块对应的关键信息与用户的选择图符信息进行逐项比对,当所有比对通过时,将所述算法块视为通过校验的算法块。
CN201910744282.9A 2019-08-13 2019-08-13 一种基于scade基础算法块的逻辑组态图符配置方法 Active CN110457029B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910744282.9A CN110457029B (zh) 2019-08-13 2019-08-13 一种基于scade基础算法块的逻辑组态图符配置方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910744282.9A CN110457029B (zh) 2019-08-13 2019-08-13 一种基于scade基础算法块的逻辑组态图符配置方法

Publications (2)

Publication Number Publication Date
CN110457029A CN110457029A (zh) 2019-11-15
CN110457029B true CN110457029B (zh) 2022-06-28

Family

ID=68486246

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910744282.9A Active CN110457029B (zh) 2019-08-13 2019-08-13 一种基于scade基础算法块的逻辑组态图符配置方法

Country Status (1)

Country Link
CN (1) CN110457029B (zh)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111474904A (zh) * 2020-04-03 2020-07-31 福建福清核电有限公司 一种核电厂控制系统组态数据可视化平台及方法
CN113987785B (zh) * 2021-10-26 2023-09-26 中国核动力研究设计院 用于核电站dcs系统算法块完整信息的管理方法和装置
CN113986214B (zh) * 2021-10-26 2024-04-23 中国核动力研究设计院 核电站dcs系统应用软件逻辑图连线数据处理方法
CN114326642B (zh) * 2022-01-05 2024-02-20 北京广利核系统工程有限公司 用于核电dcs系统的接口匹配方法、装置、设备和介质
CN115047835B (zh) * 2022-06-27 2024-06-04 中国核动力研究设计院 基于dcs系统定期试验数据获取方法、装置、设备及介质
CN115421458A (zh) * 2022-09-09 2022-12-02 中国核动力研究设计院 一种dcs系统算法组态图符及其通用结构

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101206545A (zh) * 2006-12-20 2008-06-25 英业达股份有限公司 图形输入方法
CN105302914A (zh) * 2015-11-13 2016-02-03 国家基础地理信息中心 一种基于增量和联动的地形图制图数据库快速更新方法
CN106886411A (zh) * 2017-02-17 2017-06-23 南京国电南自电网自动化有限公司 一种基于qt的继电保护装置逻辑图形化配置方法
CN109445774A (zh) * 2018-10-24 2019-03-08 北京奇虎科技有限公司 基于图元化操作的业务处理方法及装置
JP2019074558A (ja) * 2017-10-12 2019-05-16 株式会社島津理化 プログラミング教育用教材

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7082386B2 (en) * 2001-02-21 2006-07-25 International Business Machines Corporation Generalized software modeling tool
US20040268300A1 (en) * 2003-06-13 2004-12-30 Camille Huin Graphical computer programming

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101206545A (zh) * 2006-12-20 2008-06-25 英业达股份有限公司 图形输入方法
CN105302914A (zh) * 2015-11-13 2016-02-03 国家基础地理信息中心 一种基于增量和联动的地形图制图数据库快速更新方法
CN106886411A (zh) * 2017-02-17 2017-06-23 南京国电南自电网自动化有限公司 一种基于qt的继电保护装置逻辑图形化配置方法
JP2019074558A (ja) * 2017-10-12 2019-05-16 株式会社島津理化 プログラミング教育用教材
CN109445774A (zh) * 2018-10-24 2019-03-08 北京奇虎科技有限公司 基于图元化操作的业务处理方法及装置

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
J. Colaço 等.SCADE 6: A formal language for embedded critical software development (invited paper).《2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)》.2017,1-11. *
安全级DCS算法组态图形――代码转换关键算法设计;杨斐等;《仪器仪表用户》;20181123(第12期);108-112 *
核电厂数字化仪控系统算法软件自动化生成方法;黄俊 等;《上海交通大学学报》;20181228;第52卷(第S1期);31-35 *
航空发动机控制软件组态软件的设计与实现;廉洁等;《测控技术》;20120618(第06期);115-119 *

Also Published As

Publication number Publication date
CN110457029A (zh) 2019-11-15

Similar Documents

Publication Publication Date Title
CN110457029B (zh) 一种基于scade基础算法块的逻辑组态图符配置方法
CN102662644B (zh) 一种使用流程图生成测试案例的方法
CN103150200B (zh) 一种c语言到msvl语言的转换方法
Grunske et al. An automated failure mode and effect analysis based on high-level design specification with behavior trees
CN102880462A (zh) 基于图模一体化生成组态监控对象的方法及装置
CN102841841A (zh) 一种测试中的断言处理方法及系统
CN104965781A (zh) 一种生成测试用例的方法及装置
US6449750B1 (en) Design verification device, method and memory media for integrated circuits
CN102063367B (zh) 针对当机程序的离线分析方法及装置
CN112527256A (zh) 一种集成化水电站模型开发系统及方法
CN113792027A (zh) 一种通用型数据库转换装置
CN109522005A (zh) 跨平台图形化程序设计方法
EP3570173B1 (en) Equivalence verification apparatus and equivalence verification program
CN117851101A (zh) 一种基于大语言模型的仓库级别代码缺陷自动修复的方法
CN113051582B (zh) 一种计算机软件技术开发调试系统
CN115391173A (zh) 从Simulink-StateFlow模型到NuSMV模型的转换方法
Schöpp et al. Requirements-based code model checking
BELL et al. Model-based mutation testing using pushdown automata
CN112001138A (zh) 一种高效的数字电路算法验证装置
Wang et al. Event handler tree model for GUI test case generation
Wen et al. A formal method for software architecture analysis based on aspect orientation
Kim et al. Automated structural analysis of SCR‐style software requirements specifications using PVS
CN114756217B (zh) 基于插件的脚本生成系统
CN114385271B (zh) 基于插件的命令执行系统
US11200069B1 (en) Systems and methods for generating a software application

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
TA01 Transfer of patent application right

Effective date of registration: 20201228

Address after: No.3, Hongda South Road, Beijing Economic and Technological Development Zone, Daxing District, Beijing

Applicant after: CHINA NUCLEAR CONTROL SYSTEM ENGINEERING Co.,Ltd.

Address before: 610000, No. three, 28 south section of Ring Road, Chengdu, Sichuan

Applicant before: NUCLEAR POWER INSTITUTE OF CHINA

TA01 Transfer of patent application right
GR01 Patent grant
GR01 Patent grant