0618-164TC160L4MQ/01嵌入式软件开发工具国际招标公告(2)
0618-164TC160L4MQ/01嵌入式软件开发工具国际招标公告(2)
中招国际招标有限公司受招标人委托对下列产品及服务进行国际公开竞争性招标,于2016-07-28在公告。本次招标采用传统招标方式,现邀请合格投标人参加投标。
1、招标条件
项目概况:本次招标的嵌入式软件开发工具主要功能要求为:1) 提供数据流图和安全状态机图进行图形化建模;2) 自动生成HTML和RTF格式的设计文档,支持自定义文档格式;3) 提供模型仿真器进行模拟仿真;4) 覆盖率分析仿真场景在模型中的覆盖程度;5) 提供形式验证;6) 集成时间与堆栈验证器;7) 管理需求和进行冲突分析;8) 自动生成C代码。
资金到位或资金来源落实情况:资金已到位
项目已具备招标条件的说明:具备招标条件
2、招标内容
招标项目编号:0618-164TC160L4MQ/01
招标项目名称:嵌入式软件开发工具
项目实施地点:中国四川省
招标产品列表(主要设备):
序号 | 产品名称 | 数量 | 简要技术规格 | 备注 |
1 | 嵌入式软件开发工具 | 1套 | 本次招标的嵌入式软件开发工具主要功能要求为:1) 提供数据流图和安全状态机图进行图形化建模;2) 自动生成HTML和RTF格式的设计文档,支持自定义文档格式;3) 提供模型仿真器进行模拟仿真;4) 覆盖率分析仿真场景在模型中的覆盖程度;5) 提供形式验证;6) 集成时间与堆栈验证器;7) 管理需求和进行冲突分析;8) 自动生成C代码。 |
招标
|
中招国际招标有限公司 关注我们可获得更多采购需求 |
关注 |
最近搜索
无
热门搜索
无