[发明专利]一种利用数据流同构验证控制系统算法组态图的方法及系统有效
| 申请号： | 202010195050.5 | 申请日： | 2020-03-19 |
| 公开（公告）号： | CN111414440B | 公开（公告）日： | 2023-08-08 |
| 发明（设计）人： | 周良;杜乔瑞;张亚栋;张磊;张冬伟;任保华;杨晨;杨利;胡加永;刘邦信;李静霞 | 申请（专利权）人： | 北京广利核系统工程有限公司 |
| 主分类号： | G06F16/28 | 分类号： | G06F16/28;G06F16/245;G06Q10/20;G06Q50/06 |
| 代理公司： | 北京天达知识产权代理事务所有限公司 11386 | 代理人： | 马东伟 |
| 地址： | 100094 北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图信息和算法组态图信息，分别生成功能图信息表和算法组态图信息表，所述功能图信息表和算法组态图信息表均包括点信息、块信息和数据流信息；根据VV验证库规则验证功能图信息表和算法组态图信息表中的所述点信息、块信息和数据流信息是否分别对应一致；若一致，则正确；若不一致，则错误。提高了执行效率及验证质量，保证了控制系统后期运行的安全性。 | ||
| 搜索关键词： | 一种 利用 数据流 同构 验证 控制系统 算法 组态 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京广利核系统工程有限公司，未经北京广利核系统工程有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010195050.5/，转载请声明来源钻瓜专利网。
