CN103136406B - 可视化应用程序自动生成仿真用函数代码的方法 - Google Patents
可视化应用程序自动生成仿真用函数代码的方法 Download PDFInfo
- Publication number
- CN103136406B CN103136406B CN201110397449.2A CN201110397449A CN103136406B CN 103136406 B CN103136406 B CN 103136406B CN 201110397449 A CN201110397449 A CN 201110397449A CN 103136406 B CN103136406 B CN 103136406B
- Authority
- CN
- China
- Prior art keywords
- code
- program
- file
- visualization
- scripted
- 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
Links
Abstract
可视化应用程序自动生成仿真用函数代码的方法,1)采用基于实际工程设备使用的可视化编程程序,通过修改其中每个基本图元脚本代码,使每个图元生成的代码适合数字仿真程序特点;2)将可视化编程程序图元库中硬件资源配置等非控制保护逻辑功能图源的内部脚本代码清空,使其不再生成目标代码;3)修改可视化程序中的代码生成工具的代码,使得各个图元生成的代码自动合成可被数字仿真程序中自定义元件直接调用的函数代码格式;本发明极大地提高仿真用代码的生成效率,有效避免了原先人工参与过程中可能带来的错误,减小了仿真使用的代码与实际设备使用的代码之间的差异,提高了仿真的真实度。
Description
技术领域
本发明属于电力系统数字仿真技术领域,具体涉及一种可视化应用程序自动生成仿真用函数代码的方法及采用该方法的程序。
背景技术
电力系统中与电力电子技术相关的设备如高压直流输电系统(HVDC)、静止无功补偿器(SVC)、柔性直流输电系统(HVDC_Light)等得到了越来越广泛的应用。这些电力电子设备的控制保护系统逻辑非常复杂。为了提高控制保护程序的编程效率,以及提高控制保护程序的可读性,这些控制保护程序的编写不再使用C语言等代码形式直接编写,而是使用可视化编程程序(例如WinTDC、Hidraw、Accel)进行编写,然后通过代码生成工具自动生成C语言等目标代码,最后将目标代码进行编译后得到的二进制文件下载到各控制保护装置中运行。
可视化编程程序中一般包含了若干个图元库,图元库中包含了“加”、“减”、“乘”、“除”、“与”、“或”、“非”、“积分器”、“滤波器”等基本图元(元件)。编程者只要将这些基本图元按需要用线条进行连接就可编制成特定逻辑的可视化应用程序。可视化应用程序在外观上类似逻辑框图。
电力系统的构成相当复杂,其中包含了很多非线性的设备,特别是电力电子相关设备。在电力专业领域中,经常使用数字仿真软件工具(例如PSCAD/EMTDC)对电力系统进行仿真研究。数字仿真程序对电力系统仿真结果的真实度在很大程度上取决于被仿真对象模型建立的详细程度。电力系统一次设备模型一般在数字仿真软件工具中都已事先包含,并且经过了很多测试与改进,其特性与实际一次设备非常接近。而控制保护系统逻辑一般都需要仿真软件工具的使用者自己搭建,因此,数字仿真模型仿真结果的真实程度在很大程度上取决于控制保护系统逻辑搭建的真实程度。
对控制保护系统的搭建可以使用数字仿真程序工具中自带的“加”、“减”、“乘”、“除”等图元(元件)参照可视化应用程序中的逻辑进行搭建,也可以使用数字仿真程序的自定义元件功能,去调用用户自己的函数代码。而用户自己的函数代码就是可视化编程程序中的控制保护应用程序生成的代码经过修改后得到的。这种利用数字仿真程序自定义元件调用用户函数代码的方法可以避免用图元搭建控制保护逻辑的重复劳动,并且可以保证数字仿真模型中使用的控制保护逻辑与实际工程中使用的控制保护逻辑具有高度的一致性。目前这种利用数字仿真程序自定义元件调用用户函数代码方式的不足之处:可视化编程程序是根据实际工程硬件系统开发的,输入、输出接口部分代码与特定硬件密切相关,和在纯程序数字仿真中有很大不同;硬件配置等功能在纯程序数字仿真中已不再需要;所生成的部分代码在语法上与数字仿真程序所使用的编译器不完全一致;所生成的代码文件之间没有构成数字仿真程序中自定义元件可调用的函数形式。因此,可视化编程程序编写的应用程序生成的代码需要人工修改后才能被数字仿真程序中自定义元件调用。可视化应用程序的逻辑一旦有所变动,在重新生成代码后,都需要再次进行人工修改以满足数字仿真程序的要求,这在很大程度上降低了工作效率。
参考文献:
[1]赵中原,张翔,曹冬明等.基于PSCAD和HIDRAW的高压直流控制闭环仿真系统[C].第十一届全国保护和控制学术研讨会,2007.
[2]赵中原,张翔,吴林平等.基于EMTDC的高压直流MACH2系统实时等价仿真[J].电力系统自动化,2007,31(16):5052.
[3]黄志岭,田杰.基于详细直流控制系统模型的EMTDC仿真[J].电力系统自动化,2008,32(2):4548.
[4]ManitobaHVDCResearchCentreInc.PSCADUSER’SGUIDE[Z].2005
[5]ManitobaHVDCResearchCentreInc.EMTDCUSER’SGUIDE[Z].2005
发明内容
本发明目的是,解决现有问题,提供一种可视化应用程序自动生成仿真用函数代码的方法,该方法能够将可视化编程程序编写的控制保护应用程序自动生成数字仿真程序可直接调用的目标函数代码,可避免人工参与修改代码,可有效提高工作效率。
本发明目的还在于:采用基于实际工程设备使用的可视化编程程序,通过修改其中每个基本图元脚本代码,使每个图元生成的代码适合数字仿真程序特点。同时,修改可视化编程程序中的代码生成工具代码,使各个图元生成的代码自动合成可被数字仿真程序中自定义元件直接调用的函数代码格式。
本发明的技术方案是:可视化应用程序自动生成仿真用函数代码的方法,包括以下三个步骤:
第一步:采用基于实际工程设备使用的可视化编程程序,通过修改其中每个基本图元脚本代码,使每个图元生成的代码适合数字仿真程序特点;第一步中的每个基本图元代码修改的规则是:修改每个基本图元脚本代码,使其生成目标代码的语法与数字仿真程序所使用编译器要求的语法完全一致;为每个基本图元脚本代码中出现的全局变量名加上装置名称前缀,以避免不同装置代码的相同变量出现冲突;修改信号输入、输出接口图元的内部脚本代码,使其可以实现与数字仿真程序之间的信号交互。
第二步:将可视化编程程序图元库中硬件资源配置等非控制保护逻辑功能图源的内部脚本代码清空,使其不再生成目标代码;第二步中可视化程序程序中的代码生成工具生成代码的机制不变,但需要修改系统程序头文件和其它代码,保证可视化编程程序生成的目标代码可以被顺利编译;自动为每个可视化程序页生成的程序代码文件名加上装置名称和应用名称前缀,以避免代码文件名出现冲突;增加可视化编程程序生成的目标代码与仿真程序自定义元件代码之间的接口程序,使得可视化编程程序生成的目标代码可被仿真程序自定义元件调用;自动收集各可视化程序页生成的程序代码文件,统一编译与链接,形成一个或少数几个静态链接库文件。
第三步:修改可视化程序中的代码生成工具的代码,使得各个图元生成的代码自动合成可被数字仿真程序中自定义元件直接调用的函数代码格式。
本发明的有益效果是:数字仿真程序使用的可视化控制保护应用程序与实际工程设备使用的可视化应用程序相同,可以使仿真中使用的控制保护逻辑与工程中保持高度一致;将实际工程设备使用的可视化应用程序利用仿真版可视化编程程序打开,并自动生成数字仿真程序中自定义元件能够直接调用的目标函数代码,极大地提高了代码生成效率,有效避免原先人工参与过程中可能带来的错误。同时,仿真版可视化编程程序直接对每个图元的内部脚本进行修改,可以非常灵活地实现所希望得到的程序代码。本发明基于实际工程设备使用的可视化编程程序,使用修改每个基本图元脚本代码的方法,开发出一套适合于数字仿真程序特点的仿真版可视化编程程序,该程序能够将实际工程设备使用的可视化应用程序自动生成仿真程序可直接调用的目标函数代码。
附图说明
图1为本发明进行可视化应用程序自动生成仿真用函数代码的执行过程。
图2为模拟量输入接口图元分别生成工程版目标代码和仿真版目标代码的过程。
图3为仿真版目标代码及目标文件名称中加上装置名称前缀。
图4为仿真模型自定义元件调用可视化程序生成的目标代码的过程。
图5为仿真版目标代码及目标文件的生成、编译与链接过程。
具体实施方式
以下结合说明书附图,对本发明作进一步详细说明:
(1)第一步:采用基于实际工程设备使用的可视化编程程序,通过修改其中每个基本图元脚本代码,使每个图元生成的代码适合数字仿真程序特点。修改每个基本图元脚本代码,使其生成的目标代码均为C语言程序片段。如图2,模拟量输入接口图元使用工程版脚本代码将会生成DSP汇编程序片段。对该图元的脚本代码进行修改形成仿真版脚本代码,该图元利用仿真版脚本代码将会生成C语言程序片段。
修改每个基本图元脚本代码,目的是使生成的C语言程序中的全局变量名前面加上装置名称作前缀,以避免不同装置代码中的相同变量出现冲突。
如图3所示,主机CPU中的“与”逻辑图元生成的工程版目标程序也是C语言程序,但是其中的全局变量名组成方式是“应用名+变量名”。由于工程中相同功能的不同主机程序中都有该全局变量,将这些变量放入一个处理器中运行时就会出现冲突。因此,对图元的脚本进行修改,使得全局变量名的组成方式是“装置名+应用名+变量名”,就能保证全局变量名是唯一的,避免出现冲突。例如:工程版程序中的全局变量PPC_OUTPUT在仿真版程序中应改为S1_PCP_PPC_OUTPUT。
修改信号输入、输出接口图元的内部脚本代码,使其可以与数字仿真程序之间进行信号交互。如图2所示,是一个模拟量输入接口图元,其功能是把测量设备(如电流互感器)测量到的模拟量输入到控制保护逻辑中。该图元通过工程版脚本代码生成的目标代码为DSP程序。对该图元脚本代码进行修改,得到仿真版脚本代码,该图元通过仿真版的脚本代码生成的目标代码为C语言程序。此处的C语言程序不必像工程版DSP程序那样考虑与硬件设备进行数据交互,只需要通过赋值语句从仿真模型接口程序的全局变量中取值即可完成对仿真模型一次系统电气量的测量。例如:S1_PCP_UACRECA_UAC_L2_IN=S1_PCP_PCIA_UACRECA_1_TDM_TO_801。
(2)第二步:将可视化编程程序图元库中硬件资源配置等非控制保护逻辑功能图源的内部脚本代码清空,使其不再生成目标代码。
(3)第三步:修改可视化程序程序中的代码生成工具的代码,使得各个图元生成的代码自动合成可被数字仿真程序中自定义元件直接调用的函数代码格式。
修改可视化程序程序中的代码生成工具的代码中:修改可视化程序程序的系统程序头文件和其它代码(其它代码具体化?),保证仿真版可视化编程程序生成的目标代码可以被顺利编译;
修改可视化程序程序中代码生成工具的系统文件,自动为每个可视化程序页生成的程序代码文件名加上装置名称和应用名称前缀,以避免代码文件名出现冲突。如图3所示,“与”逻辑图元所在的可视化程序页面生成的工程版目标代码文件名为Curramp.c,而生成的数字仿真程序目标代码文件名为S1_PCP_PPC_Curramp.c,其中包含了装置名称信息S1_PCP和应用名称信息PPC_,从而可以和其它装置或应用中相同名称页面的目标代码文件区分开来,实现统一编译。
增加可视化编程程序生成的目标代码与仿真程序自定义元件代码之间的接口与任务调度程序,使得可视化编程程序生成的目标代码可被仿真程序自定义元件调用;如图4,在仿真程序中自定义新元件,在该元件的脚本代码中用CALL语句调用FOTRAN语言接口文件interface.f中的代码,进而调用专门编写C语言接口与任务调度文件main_dis.c。main_dis.c文件中包含的程序可以调用可视化编程程序生成的目标代码。通过这种多层函数调用关系可以实现仿真程序中自定义元件调用可视化编程程序生成的目标代码的目的。
修改可视化程序程序中代码生成工具的系统文件,自动收集各可视化程序页生成的程序代码文件,统一编译与链接,形成一个或少数几个静态链接库文件,方便仿真程序的链接。如图5所示,可视化程序A1和A2是在DSP中运行的程序,B1和B2是在CPU中运行的程序,在工程版的图元脚本和系统文件环境下,将生成A1.PLM、A2.PLM、B1.C、B2.C文件,分别编译成A1.o、A2.o、B1.obj、B2.obj,分别链接成A.hex和B.exe,最后分别被DSP芯片和CPU执行;而在仿真版的图元脚本和系统文件环境下,将生成A1.C、A2.C、B1.C、B2.C文件,分别编译成A1.obj、A2.obj、B1.obj、B2.obj,然后全部的.obj文件被自动收集起来链接形成Logic.lib文件,可以被仿真程序直接链接、调用。
(4)对以上各步骤实现的内容简而言之,如图1所示,对于可视化应用程序,在工程版可视化编程程序环境中生成代码、编译后得到的可执行文件可在工程实际控制保护设备中运行;对于相同的可视化应用程序,在仿真版可视化编程程序环境中生成代码、编译后得到的静态链接库文件可被数字仿真程序模型调用、执行。
可视化应用程序自动生成仿真用函数代码的方法在直流输电控制保护系统的可视化应用程序中使用数字仿真程序的自定义元件功能,去调用用户自己的函数代码的应用。
Claims (5)
1.可视化应用程序自动生成仿真用函数代码的方法,其特征是:包括以下三个步骤:
第一步:采用基于实际工程设备使用的可视化编程程序,通过修改其中每个基本图元脚本代码,使每个图元生成的代码适合数字仿真程序特点;
第二步:将可视化编程程序图元库中非控制保护逻辑功能图源的内部脚本代码清空,使其不再生成目标代码;
第三步:修改可视化程序中的代码生成工具的代码,使得各个图元生成的代码自动合成可被数字仿真程序中自定义元件直接调用的函数代码格式;
所述第一步中的每个基本图元代码修改的规则是:修改每个基本图元脚本代码,使其生成目标代码的语法与数字仿真程序所使用编译器要求的语法完全一致;为每个基本图元脚本代码中出现的全局变量名加上装置名称前缀,以避免不同装置代码的相同变量出现冲突;修改信号输入、输出接口图元的内部脚本代码,使其可以实现与数字仿真程序之间的信号交互;
所述第三步中可视化程序中的代码生成工具生成代码的机制不变,但需要修改系统程序头文件和其它代码,保证可视化编程程序生成的目标代码可以被顺利编译;自动为每个可视化程序页生成的程序代码文件名加上装置名称和应用名称前缀,以避免代码文件名出现冲突;增加可视化编程程序生成的目标代码与仿真程序自定义元件代码之间的接口程序,使得可视化编程程序生成的目标代码可被仿真程序自定义元件调用;自动收集各可视化程序页生成的程序代码文件,统一编译与链接,形成一个或少数几个静态链接库文件。
2.根据权利要求1所述的可视化应用程序自动生成仿真用函数代码的方法,其特征是(1)第一步步骤中:修改可视化程序每个基本图元脚本代码,使其生成的目标代码均为C语言程序片段;模拟量输入接口图元使用工程版脚本代码将会生成DSP汇编程序片段;对该图元的脚本代码进行修改形成仿真版脚本代码,该图元利用仿真版脚本代码将会生成C语言程序片段;
修改可视化程序每个基本图元脚本代码,目的是使生成的C语言程序中的全局变量名前面加上装置名称作前缀,以避免不同装置代码中的相同变量出现冲突;主机CPU中的“与”逻辑图元生成的工程版目标程序也是C语言程序,但是其中的全局变量名组成方式是“应用名+变量名”;对图元的脚本进行修改,使得全局变量名的组成方式是“装置名+应用名+变量名”,就能保证全局变量名是唯一的,避免出现冲突;工程版程序中的全局变量PPC_OUTPUT在仿真版程序中应改为S1_PCP_PPC_OUTPUT;
修改可视化程序信号输入、输出接口图元的内部脚本代码,使其与数字仿真程序之间进行信号交互;对该图元脚本代码进行修改,得到仿真版脚本代码,该图元通过仿真版的脚本代码生成的目标代码为C语言程序;需要通过赋值语句从仿真模型接口程序的全局变量中取值即可完成对仿真模型一次系统电气量的测量:S1_PCP_UACRECA_UAC_L2_IN=S1_PCP_PCIA_UACRECA_1_TDM_TO_801;
(2)第二步:将可视化编程程序的图元库中非控制保护逻辑功能图源的内部脚本代码清空,使其不再生成目标代码;
(3)第三步:修改可视化程序中的代码生成工具的代码,使得各个图元生成的代码自动合成可被数字仿真程序中自定义元件直接调用的函数代码格式;
修改可视化程序中的代码生成工具的代码中:修改可视化程序的系统程序头文件,保证仿真版可视化编程程序生成的目标代码可以被顺利编译;
修改可视化程序中代码生成工具的系统文件,自动为每个可视化程序页生成的程序代码文件名加上装置名称和应用名称前缀,以避免代码文件名出现冲突。
3.根据权利要求1所述的可视化应用程序自动生成仿真用函数代码的方法,其特征是增加可视化编程程序生成的目标代码与仿真程序自定义元件代码之间的接口与任务调度程序,使得可视化编程程序生成的目标代码可被仿真程序自定义元件调用;在仿真程序中自定义新元件,在该元件的脚本代码中用CALL语句调用FOTRAN语言接口文件interface.f中的代码,进而调用专门编写C语言接口与任务调度文件main_dis.c;main_dis.c文件中包含的程序调用可视化编程程序生成的目标代码;通过这种多层函数调用关系实现仿真程序中自定义元件调用可视化编程程序生成的目标代码的目的。
4.根据权利要求1所述的可视化应用程序自动生成仿真用函数代码的方法,其特征是修改可视化程序中代码生成工具的系统文件,自动收集各可视化程序页生成的程序代码文件,统一编译与链接,形成一个或少数几个静态链接库文件,方便仿真程序的链接;对于可视化应用程序,在工程版可视化编程程序环境中生成代码、编译后得到的可执行文件在工程实际控制保护设备中运行;对于相同的可视化应用程序,在仿真版可视化编程程序环境中生成代码、编译后得到的静态链接库文件可被数字仿真程序模型调用、执行。
5.根据权利要求1所述的可视化应用程序自动生成仿真用函数代码的方法在直流输电控制保护系统的可视化应用程序中使用数字仿真程序的自定义元件功能,去调用用户自己的函数代码的应用。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201110397449.2A CN103136406B (zh) | 2011-12-03 | 2011-12-03 | 可视化应用程序自动生成仿真用函数代码的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201110397449.2A CN103136406B (zh) | 2011-12-03 | 2011-12-03 | 可视化应用程序自动生成仿真用函数代码的方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN103136406A CN103136406A (zh) | 2013-06-05 |
CN103136406B true CN103136406B (zh) | 2015-12-16 |
Family
ID=48496229
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201110397449.2A Active CN103136406B (zh) | 2011-12-03 | 2011-12-03 | 可视化应用程序自动生成仿真用函数代码的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN103136406B (zh) |
Families Citing this family (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103472743A (zh) * | 2013-09-23 | 2013-12-25 | 彭武 | 可视化步骤编程法 |
CN103823666B (zh) * | 2013-11-05 | 2017-02-01 | 国电南瑞科技股份有限公司 | 一种智能变电站设备可视化编程方法 |
CN103984542B (zh) * | 2014-04-14 | 2017-11-14 | 美的集团股份有限公司 | 电控功能的配置方法和装置 |
CN105227608B (zh) * | 2014-06-27 | 2018-07-27 | 国际商业机器公司 | 用于开发丰富互联网应用的方法和装置 |
DE102014225557A1 (de) * | 2014-12-11 | 2016-06-16 | Heidelberger Druckmaschinen Ag | Verfahren zur Erzeugung von lauffähigen Applikationen mit dynamischen skalierbaren Vektorgrafiken |
US10359757B2 (en) * | 2015-05-13 | 2019-07-23 | Mitsubishi Electric Corporation | Control logic diagram analysis device and control logic diagram analysis method |
CN104866319B (zh) * | 2015-06-04 | 2018-05-01 | 南京国电南自城乡电网自动化工程有限公司 | 基于邻接矩阵的逻辑图执行顺序和反馈解耦的方法 |
CN106293679B (zh) * | 2015-06-11 | 2019-10-22 | 阿里巴巴集团控股有限公司 | 一种元素名称冲突处理方法及装置 |
CN106569785B (zh) * | 2015-10-09 | 2021-03-09 | 阿里巴巴集团控股有限公司 | 一种作业表单生成方法及设备 |
CN106814629B (zh) * | 2015-11-27 | 2021-03-12 | 大唐移动通信设备有限公司 | 一种控制智能家居的方法及装置 |
CN105511887A (zh) * | 2015-12-28 | 2016-04-20 | 鲍敏祺 | 一种硬件可视化编程构架 |
CN105930174B (zh) * | 2016-05-22 | 2019-05-21 | 南京南瑞继保电气有限公司 | 一种图形化页面程序差异比较方法与系统 |
CN106775765B (zh) * | 2017-01-12 | 2020-10-27 | 武汉图灵创客科技有限公司 | 图形化编程系统 |
CN111324401A (zh) * | 2018-12-17 | 2020-06-23 | 西门子股份公司 | 工件加工程序可视化方法、装置、系统及存储介质 |
CN109857456A (zh) * | 2019-01-03 | 2019-06-07 | 许继电气股份有限公司 | 一种基于仿真平台的直流控制保护模块封装方法及装置 |
CN113467369B (zh) * | 2021-07-19 | 2022-05-13 | 中航沈飞民用飞机有限责任公司 | 一种自动钻铆数控代码可视化交互修正方法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1737755A (zh) * | 2005-06-13 | 2006-02-22 | 浙江大学 | 一种嵌入式实时操作系统的建模和代码生成方法 |
CN1744038A (zh) * | 2005-09-28 | 2006-03-08 | 清华大学 | 一种基于统一构件封装件结构的构件组装方法 |
-
2011
- 2011-12-03 CN CN201110397449.2A patent/CN103136406B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1737755A (zh) * | 2005-06-13 | 2006-02-22 | 浙江大学 | 一种嵌入式实时操作系统的建模和代码生成方法 |
CN1744038A (zh) * | 2005-09-28 | 2006-03-08 | 清华大学 | 一种基于统一构件封装件结构的构件组装方法 |
Also Published As
Publication number | Publication date |
---|---|
CN103136406A (zh) | 2013-06-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN103136406B (zh) | 可视化应用程序自动生成仿真用函数代码的方法 | |
CN106371813B (zh) | 一种基于Simulink的电动汽车电机控制器软件生成方法 | |
CN104268074A (zh) | 一种基于dcs系统应用软件在线调试方法 | |
CN109948213A (zh) | 一种基于fmi标准的协同仿真方法及装置 | |
CN104881358B (zh) | 一种程序仿真测试方法及系统 | |
CN105653268A (zh) | 规则引擎调试方法及系统 | |
KR20130122853A (ko) | 원자력발전소 훈련용 시뮬레이터의 실시간 중대사고 모의 시스템 및 그 방법 | |
CN110196720A (zh) | 一种Simulink生成动态链接库的优化方法 | |
CN111985055A (zh) | 一种模型封装方法、装置及电子设备 | |
CN104317715A (zh) | 基于模拟器的中央处理器指令集的功能测试自动实施方法 | |
CN110689238B (zh) | 智能变电站mms信息模拟及对点的实现方法及系统 | |
CN103942092A (zh) | 一种支持LabView图形化编程的HLA协同仿真方法 | |
Amparore | A new GreatSPN GUI for GSPN editing and CSL TA model checking | |
CN103092747A (zh) | 一种控制程序的验证和测试方法及系统 | |
Oppelt et al. | Capability-analysis of co-simulation approaches for process industries | |
CN102520949B (zh) | 形式化计算机联锁实现方法 | |
CN105162645A (zh) | 一种基于piif架构的互操作测试方法 | |
CN103488519A (zh) | 一种交互式脚本语言解释器的实现方法 | |
CN113805848A (zh) | 目标机控制软件集成方法和系统 | |
CN114579084A (zh) | 发动机的控制软件的形式化处理方法和装置 | |
Centomo et al. | Automatic generation of cycle-accurate simulink blocks from hdl ips | |
CN103955424A (zh) | 一种虚拟化嵌入式二进制软件缺陷检测系统 | |
CN107239373B (zh) | 一种嵌入式继电保护设备的仿真方法及系统 | |
CN107526585B (zh) | 基于Scala的FPGA开发平台及其调试、测试方法 | |
Archer et al. | Specifying and proving properties of timed I/O automata using Tempo |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |