买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉卡斯柯信号有限公司申请的专利SCADE模型转化为Lustre模型过程中泛型函数转化的方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115221465B 。

龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210640449.9，技术领域涉及：G06F17/15；该发明授权SCADE模型转化为Lustre模型过程中泛型函数转化的方法及装置是由李腾飞;孙军峰;吕新军;陈祥;刘静设计研发完成，并于2022-06-07向国家知识产权局提交的专利申请。

本SCADE模型转化为Lustre模型过程中泛型函数转化的方法及装置在说明书摘要公布了：本发明涉及一种SCADE模型转化为Lustre模型过程中泛型函数转化的方法及装置。该方法包括以下步骤：步骤S1，泛型算子解析过程；步骤S2，泛型函数大小参数和变量解析过程；步骤S3，泛型参数综合过程；步骤S4，泛型类型推导过程；步骤S5，泛型名称组装过程；步骤S6，泛型函数赋值等式解析过程；步骤S7，泛型函数输出过程。与现有技术相比，本发明具有实现了对同步数据流语言模型的泛型函数进行转化，从而对安全关键系统模型进行形式化有效验证，进一步提高了安全关键系统的安全性等优点。

本发明授权SCADE模型转化为Lustre模型过程中泛型函数转化的方法及装置在权利要求书中公布了：1.一种SCADE模型转化为Lustre模型过程中泛型函数转化的方法，其特征在于，该方法包括以下步骤： 步骤S1，泛型算子解析过程，用于获得泛型算子的泛型算子名称、实例参数instanceParameters、调用参数callParameters和赋值变量，并进行存储； 步骤S2，泛型函数大小参数和变量解析过程，用于解析泛型函数的大小参数sizeParameters、输入变量、输出变量和局部变量； 步骤S3，泛型参数综合过程，用于将步骤S2解析到的大小参数由变量或常量替换为真实的整数值； 步骤S4，泛型类型推导过程，用于将步骤S2解析到的输入变量、输出变量和局部变量的类型由泛型替换为真实的类型，包括获取泛型函数中变量的索引，将索引对应的调用参数的类型赋给相应变量的类型； 步骤S5，泛型名称组装过程，用于将泛型算子名称、大小参数和泛型类型组装成新的泛型函数名； 步骤S6，泛型函数赋值等式解析过程，根据步骤S3参数综合和步骤S4类型推导的结果，用于解析泛型函数中的赋值等式部分； 步骤S7，泛型函数输出过程，用于将解析出的泛型函数进行输出； 所述步骤S3，泛型参数综合过程具体为： 步骤S301，根据步骤S2解析出来的大小参数进行类型匹配； 步骤S302，当类型为全局常量时，遍历全局常量列表，取出与常量名相匹配的值进行替换； 步骤S303，当类型为实例参数时，遍历与当前泛型函数相匹配的实例参数列表，并取出与对比大小参数名相匹配的实例参数的值，进行替换。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人卡斯柯信号有限公司，其通讯地址为：200070 上海市静安区天目中路428号凯旋门大厦27层C/D座；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。