高可靠性软件验证工具项目已具备招标条件。资金来源国拨资金。中科信工程咨询（北京）有限责任公司（招标代理机构）受西安现代控制技术研究所（招标人）的委托，对该项目进行国际公开招标采购。
1. 招标范围
1.1 货物名称：高可靠性软件验证工具
1.2 招标编号：0779-19400701A007
1.3 设备功能：
高可靠性软件验证工具具有武器系统软件的复杂度、数据流等静态测试，信息流和覆盖率等高可靠性、高安全性测试，主要是用于对C语言开发的嵌入式程序进行高效、自动化地测试，起到提升软件质量、提高单元测试效率以及为软件符合国家及行业标准提供支持的作用。
1.4 数量：1套。
1.5 交货期：合同生效后2个月内交货。
1.6 项目现场：西安现代控制技术研究所内。
2. 对投标人的资格要求
2.1 投标人具有独立法人资格，提供有效的营业登记等许可经营的证明文件。
2.2本次招标接受代理商投标，代理商必须获得制造商的合法授权，提供制造商授权书。
2.3本次招标不接受联合体投标。
2.4投标人必须向招标代理机构购买招标文件并进行登记才具有投标资格；接受委托参与项目前期咨询和招标文件编制的法人或其他组织不得参加投标。
3. 招标文件获取
3.1 凡有意参加投标者，请于2019年5月10日至2019年5月17日17时(北京时间)，登陆中招联合招标采购平台（网址：www.365trade.com.cn）购买并下载招标文件，现场不予受理。
3.2 招标文件售价800元，文件下载费50元（由平台出具发票），售后不退。
4. 投标文件的递交
4.1 投标文件递交的截止时间为2019年5月31日9时00分，投标文件递交地点为陕西省西安市丈八东路10号西安现代控制技术研究所招待所会议室。
4.2 逾期送达的或者未送达指定地点的投标文件，招标人不予受理。
5. 开标
开标时间同投标文件递交的截止时间，开标地点同投标文件递交地点。
6.联系方式
招标人名称：西安现代控制技术研究所
地址：陕西省西安市丈八东路10号
联系人： 彭菲
联系方式：029-88295091
招标代理机构名称：中科信工程咨询（北京）有限责任公司
地址：北京市海淀区金沟河路与采石北路十字路口东南角88号大楼六层
售卖联系人：刘女士
电话：010-88529059
传真：010-88529153
2019年5月10日