实时系统建模与验证工具招标公告

招标公告************** 招*********************/******商特别注****目为全流****招标，购****联系我公****关**认****做电子版****件，具体****公司网站****的相关公****谢谢！ ****际经贸发****司受中航****航空计算****所委托对****及服务进****争性招标****合格投标****标。 *****品的名称****主要技术*****.* ****：*****************/****** 设备****实时系统****证工具 ****.* 项****招标范围****统建模与**** *套 ****技术要求****准： （****厂家其产****上属主流****具有机载****业的规模****用先例，****场所在地****权的售前****机构或能****有资质的****人员到达****；售后服****有效，无****。 *（****中标，投****是与买方****目外贸合****方。如投****备与买方****合同的能****除其投标****：如产品****品且须签****同，中标****必须以自****买方或买****理签订外****且可以接****陆关境内****付出的外*****技术要****.可实现****数据流混****模； *****对象的行****建立对象****型； *****时特性分****功能； ****丰富的元****，基于该****库，进行****；元件模****：处理器****总线、接****、线程、****态机等，************库； *****时性能可****：信号端****分析、系****性分析、****响应时间****优先级倒****执行时间****理、任务****不合理、****底线时间****； *.****式计算机****利用率合****：处理器****存储器利****线带宽利**** *.系****分析：系****输路径分****故障传输****； *.****折中分析****硬件的绑****）分析；****标文件售******元 ****美元 *****标文件时******-***** **:****北京时间*******-***** *******.购买****地点：中**** *.投****间和开标*******-***** *******.开标****安 *.**** 招标人****徐文岗 ****箱：******@******** 招标*******-************电话：*************招标人地****省西安市*******号****理机构联****鸣宇、刘****康康 招****构邮箱：********************招标代理****：***************代理机构******-******** ****机构名称****国际经贸****公司 招****构开户银****币）： ****机构账号****）： 招****构开户银****）： 招****构账号（**** 招标代****户银行（**** 招标代****号（欧元**