一体化智慧列车运行系统软件可信度研究项目招标公告

（略）软件可信度研究项目招标公告（（略）：ZXH-DL-NJ-（略））
项目所（略）：江苏省一、招标条件
（略）软件可信度研究项目已由项目审批/核准/备案机关批准，项目资金来源为国有资金:149.43万元，（略）。本项目已具备招标条件，现招标方式：（略）
二、项目概况和招标范围
规模：（略）(TCSi)具有列车间隔防护等安金功能，在此基础上构建形式化模型，开发形式化实时验证工具，形式化实时验证工具对列车的实际性能进行评估计算，完成形式化方法实时验证工具开发后，（略）中进行验证，本项目研究范围主要包括：1、形式化模型构建技术研究；2、运行安全性的形式化验证技术研究；3、运行时验证监控技术研究与工具开发。具体详见技术要求。
范围：本招标项目划分为1个标段，本次招标为其中的：（略）软件可信度研究项目三、投标人资格要求
（略）软件可信度研究项目:(1)投标人必须为在中华人民共和国境内依照《（略）法》注册且合法续存的、具有法人资格的响应本招标文件并参加投标竞争的企业或事业单位：（略）
投标人信用情况以“信用中国”(（略）.cn)网站查询结果为准。在资格审查阶段、评标阶段，投标人有严重失信主体名单记录的，视为初步审查不合格，评标委员会将否决其投标；中标人候选人公示至发出中标通知书期间的阶段，取消其中标资格；(6)投标人存在下列情况之一的，不得参加本次投标：1)为与招标人：（略）
本项目不允许联合体投标。
四、招标文件的获取：（略）
获取：（略）
五、投标文件的递交
递交截止时间：（略）:00递交方式：（略）
六、开标时间及地点：（略）
开标时间：（略）:00开标地点：（略）
本项目最高限价为含税价人民币149.43万元整。(2)本项目对投标申请人的资格审查采用资格后审方式：（略）
(4)本次招标活动及由本次招标产生的协议受中华人民共和国法律和法规的制约和保护。
(5)投标保证金金额：人民币（略）整收款单位：（略）
（略）。九、联系方式：（略）
招标人：（略）
地系址：南京江（略）
联人：何工
电话：（略）
电子邮件：/
招标代理：（略）
地系址：（略）
联人：黄工
电话：（略）
电子邮件：（略）@163.com
招标人：（略）
招标人：（略）