0053007 工业互联网PLC软件设计的形式验证与智能生成

需求领域

□高端仪器和制造设备          □人工智能         □网信       □无人系统        ✓航空航天

需求简述

复杂装备研制已普遍采用工业互联网，该场景中的PLC不仅能够处理传统的温度、压力、流量和液位等四大传感信号，还能够处理视觉、语音等信号，并支持5G等无线通信。软件定义的PLC利用可以将标准的工业PC转换成全功能的PLC过程控制器，能够与工业互联网平台直接相通，将APP和分析结果嵌入机器和云端，实现智能化和自我感知，无需更换PLC硬件即可改变和升级PLC。工业互联网中的PLC软件设计过程中，需要对设计进行验证，以确保其功能正确；为了提升设计效率，可以结合大模型技术，自动构建高质量的PLC设计。本课题旨在研究如何应用大模型等智能技术完成上述PLC形式验证和智能生成。提出复杂装备工业互联网场景下PLC软件设计的形式验证与智能生成技术，研制配套的算法或工具。

成果形式

技术报告；

可执行的算法或工具。