完成单位

序号

单位名称

通讯地址

1

杭州沃趣科技股份有限公司

杭州市滨江区滨安路1190号智汇中心A座11层

浙江理工大学

杭州市下沙高教园区2号大街928号

浙江大学

浙江省杭州市西湖区余杭塘路 866 号

浙江望安科技有限公司

绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦B座1411室

完成人

序号

姓名

工作单位

对成果的贡献

1

丁佐华

浙江理工大学

项目总负责人，总体负责项目技术路线的制定、方案评审工作，并负责项目技术研发管理协调

2

陈栋

杭州沃趣科技股份有限公司

负责项目总体协调，面向智能制造的领域云平台研发

3

赵永望

浙江大学

负责面向智能制造领域的形式化方法与验证技术研究

4

胡霁林

浙江大学

负责面向智能制造的操作系统架构的研究

5

张峰

浙江望安科技有限公司

自主可控的安全操作系统内核研究

6

许浩

浙江望安科技有限公司

面向智能制造场景的形式化验证工具研究

7

林望

浙江理工大学

智能制造场景操作系统的新型架构技术研究

8

周远

浙江理工大学

面向互联与异构硬件的操作系统抽象技术研究

9

相东明

浙江理工大学

智能制造场景与资源建模服务技术研究

10

李建辉

杭州沃趣科技股份有限公司

全栈环境下的确定性时延研究

11

魏兴华

杭州沃趣科技股份有限公司

高可靠云边端系统框架研究

`12

李春

杭州沃趣科技股份有限公司

智能存算、易移植、高可靠容错等研究

13

罗春

杭州沃趣科技股份有限公司

面向智能制造的高可靠云边端系统框架研究

14

吴炎

杭州沃趣科技股份有限公司

参与项目实施、负责实验验证和演示应用

15

张凯强

杭州沃趣科技股份有限公司

参与项目实施、负责实验验证和演示应用

16

麻鹏飞

杭州沃趣科技股份有限公司

参与项目实施、负责实验验证和演示应用

本项目成果已通过浙江省技术市场促进会组织的鉴定。

评价（鉴定）委员会名单

序号

姓名

单位

专业领域

职称

1

陈海波

上海交通大学计算机学院

操作系统

教授

2

胡春明

北京航空航天大学软件学院

操作系统

教授/院长

3

牛建伟

北京航空航天大学计算机学院

操作系统

教授

4

曹东刚

北京大学计算机学院

操作系统

研究员

5

卜磊

南京大学软件学院

系统软件

教授/副院长

评价（鉴定、验收）意见

2025年12月10日，浙江省技术市场促进会组织召开了由杭州沃趣科技股份有限公司、浙江理工大学、浙江大学、浙江望安科技有限公司共同完成的“面向智能制造的场景操作系统的研究”科技成果鉴定会。鉴定委员会听取了项目研制工作报告和技术总结报告，审阅了项目产品的检测报告、科技查新报告和用户使用情况，经质询和讨论，形成鉴定意见如下：

1、提供的资料齐全、规范，符合鉴定要求。

2、项目研发了面向智能制造的场景操作系统内核，可满足典型智能制造产线的安全可靠和低延高效要求；研发了基于场景操作系统内核的运行时支撑环境和云边端系统框架，具备高吞吐、可扩展等能力，并形成了可国产替代的样品；研发了面向智能制造领域的形式化验证工具和安全可靠评估框架工具，符合CC信息安全EAL5+要求，支持对源码的形式化验证。项目申请发明专利26件（其中授权14件）、软件著作权15项、发表高水平论文32篇，主导和参与行业标准3项，并应用于汽车、集成电路和医药3个智能制造行业，以及小米、华为等20余家知名企事业单位，取得经济效益6000余万元。

3、产品经深圳市一航网络信息技术有限公司检测（检测报告编号：EHNET-RP-2512-b3437e33)，符合相关标准要求，在无锡宏聚电子科技有限公司、上海通耀医疗科技有限公司与重庆宗申动力机械股份有限公司进行了示范应用，取得了良好的成效，具有技术转化和显著推广前景和应用市场。

鉴定委员会认为，项目总体技术达到了国际先进水平，部分指标处于国际领先水平，为我国智能制造领域提供自主可控的操作系统解决方案，为构建安全可控的信息化体系提供重要支撑。推广前景广阔，同意通过鉴定。