国家标准计划 - 全国标准信息公共服务平台

国家标准计划《工业控制系统第4部分控制程序形式化验证技术规范》由 TC124（全国工业过程测量控制和自动化标准化技术委员会）归口，主管部门为中国机械工业联合会。

主要起草单位浙江大学、西南大学、机械工业仪器仪表综合技术经济研究所、杭州优稳自动化系统有限公司。

目录

项目进度

当前标准计划

20260769-Z-604 正在起草

工业控制系统第4部分控制程序形式化验证技术规范

基础信息

计划号: 20260769-Z-604
制修订: 制定
项目周期: 12个月
下达日期: 2026-01-27

标准类别

产品

国际标准分类号

25.040

25 机械制造

25.040 工业自动化系统

归口单位

全国工业过程测量控制和自动化标准化技术委员会

执行单位

全国工业过程测量控制和自动化标准化技术委员会

主管部门

中国机械工业联合会

起草单位

机械工业仪器仪表综合技术经济研究所

杭州优稳自动化系统有限公司

相近标准(计划)

20260767-Z-604 工业控制系统第2部分控制程序混合编程与集成技术规范

20250671-T-604 工业车辆安全要求和验证第4部分：无人驾驶工业车辆及其系统

GB/T 10827.4-2023 工业车辆安全要求和验证第4部分：无人驾驶工业车辆及其系统

GB/T 26796.4-2011 用于工业测量与控制系统的EPA规范第4部分：功能块的技术规范

20254647-T-604 工业自动化和控制系统安全　第2-4部分：工业自动化和控制系统安全服务提供商的安全程序要求

DL/T 1709.4-2017 智能电网调度控制系统技术规范第4部分：实时监控与预警

GB/T 33009.4-2016 工业自动化和控制系统网络安全集散控制系统（DCS）第4部分：风险与脆弱性检测要求

GB/T 45283.4-2025 工业控制系统人机接口组态文件交互第4部分：测试要求

RB/T 060.4-2021 司法鉴定/法庭科学能力验证实施指南第4部分：文书鉴定

20255874-T-604 工业车辆稳定性验证第1部分：总则

版权所有侵权必究
主管：国家市场监督管理总局国家标准化管理委员会
主办：国家市场监督管理总局国家标准技术审评中心
技术支持：北京中标赛宇科技有限公司
支持电话：010-82261036
备案号：京ICP备18022388号-1