一、项目编号：0722-207FE2619YPF（招标文件编号：0722-207FE2619YPF）

二、项目名称：操作系统部分模块形式化验证及CC EAL5+评估认证服务

三、中标（成交）信息

供应商名称：01包：上海交通大学

供应商地址：上海市徐汇区华山路1954号

中标（成交）金额：300.0000000（万元）

 

供应商名称：02包：首都师范大学

供应商地址：北京市海淀区西三环北路105号

中标（成交）金额：299.9000000（万元）

 

供应商名称：03包：南京大学

供应商地址：南京市鼓楼区汉口路22号

中标（成交）金额：200.0000000（万元）

 

供应商名称：04包：浙江望安科技有限公司

供应商地址：浙江省绍兴市柯桥区安昌街道国际村1幢1楼103-21

中标（成交）金额：349.0000000（万元）

四、主要标的信息

序号	供应商名称	服务名称	服务范围	服务要求	服务时间	服务标准
1	01包：上海交通大学	XX微内核操作系统的形式化验证（部分一）	、	、	12个月	、
序号	供应商名称	服务名称	服务范围	服务要求	服务时间	服务标准
2	02包：首都师范大学	XX微内核操作系统的形式化验证（部分二）	、	、	12个月	、
序号	供应商名称	服务名称	服务范围	服务要求	服务时间	服务标准
3	03包：南京大学	XX微内核操作系统形式化验证技术总负责	、	、	12个月	、
序号	供应商名称	服务名称	服务范围	服务要求	服务时间	服务标准
4	04包：浙江望安科技有限公司	XX微内核操作系统的CCEAL5+评估认证服务	、	、	12个月	、

五、评审专家（单一来源采购人员）名单：

王晓武 王伟 李黎明 郭慧馨 吕飞

六、代理服务收费标准及金额：

本项目代理费收费标准：定额收费

本项目代理费总金额：11.4000000 万元（人民币）

七、公告期限

自本公告发布之日起1个工作日。

八、其它补充事宜

九、凡对本次公告内容提出询问，请按以下方式联系。

1.采购人信息

名 称：中国科学院软件研究所　　　　　

地址：北京市　　　　　　　　

联系方式：李先生18141908693　　　　　　

2.采购代理机构信息

名 称：中国远东国际招标有限公司　　　　　　　　　　　　

地　址：北京市　　　　　　　　　　　　

联系方式：张华188426714455　　　　　　　　　　　　

3.项目联系方式

项目联系人：张华

电　话：　　18842671455