0730-154211010305/03高安全性软件设计建模环境国际招标公告(1)
0730-154211010305/03高安全性软件设计建模环境国际招标公告(1)
中航技国际经贸发展有限公司受招标人委托对下列产品及服务进行国际公开竞争性招标,于2016-01-28在公告。本次招标采用传统招标方式,现邀请合格投标人参加投标。
1、招标条件
项目概况:项目概况:招标编号:****-********0305/03 设备名称:高安全性软件设计建模环境数量:1套
资金到位或资金来源落实情况:已落实,已到位
项目已具备招标条件的说明:已具备
2、招标内容
招标项目编号:****-********0305/03
招标项目名称:高安全性软件设计建模环境
项目实施地点:中国上海市
招标产品列表(主要设备):
序号 | 产品名称 | 数量 | 简要技术规格 | 备注 |
1 | 高安全性软件设计建模环境 | 1套 | 1、提供编译器验证工具包(Compiler Verification Kit),用来验证用户所选用的编译器能否正确地编译代码生成工具生成的代码,使验证工作从源代码级扩展到目标代码级。2、自动验证生成的代码对于一个指定的目标处理器是否满足时间需求。它评估最坏情况执行时间(WCET)并生成基于模型级别的报告。3、自动验证生成的代码对于一个指定的目标处理器是否满足堆栈需求。它评估应用需要的最大堆栈大小,并生成基于模型级别的报告。 |
标签: 软件设计
0人觉得有用
招标
|
中航技国际经贸发展有限公司 关注我们可获得更多采购需求 |
关注 |
最近搜索
无
热门搜索
无