国家知识产权局信息显示,上海丰蕾信息科技有限公司申请一项名为“基于多视图中间表示的混合控制模型安全编译方法及系统”的专利,公开号CN122526578A,申请日期为2026年7月。
专利摘要显示,本发明涉及模型编译技术领域,具体公开了基于多视图中间表示的混合控制模型安全编译方法及系统,获取包含状态保持单元的图形化控制模型,解析后在编译器符号表中为状态保持单元的内部状态变量创建独立符号表条目,并建立中间表示节点与符号表条目的双向关联指针,沿数据流方向执行安全标签前向传播,对状态保持单元完成输入信号线经符号表条目到输出信号线的两跳传递,遍历中间表示节点生成目标代码,将安全标签字段值固化写入目标代码。本发明可解决现有编译中跨周期状态单元安全标签断裂、安全校验滞后、属性不可追溯的问题,实现安全标签全链路传递与编译期前置校验,构建闭环追溯证据链且无运行时开销,适用于航电、车载等高安全关键领域。
天眼查资料显示,上海丰蕾信息科技有限公司,成立于2015年,位于上海市,是一家以从事科技推广和应用服务业为主的企业。企业注册资本3480.4353万人民币。通过天眼查大数据分析,上海丰蕾信息科技有限公司共对外投资了5家企业,参与招投标项目48次,财产线索方面有商标信息11条,专利信息150条,此外企业还拥有行政许可6个。
声明:市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。
本文源自:市场资讯
作者:情报员
热门跟贴