项目编号：

cesi-20260430XB-01

嵌入式软件形式验证器

询价文件

项目名称：2024 航空行业机上软件开发工具项目

服务名称：嵌入式软件形式验证器

项目编号：cesi-20260430XB-01

中国电子技术标准化研究院

信息技术研究中心

二零二六年四月

电子标准院技术服务合同

2

第一部分 询价邀请

中国电子技术标准化研究院信息技术研究中心嵌入式软件形式验证器通过公开询

价方式进行采购，欢迎供应商参加报价。

一、项目信息：

项目名称：

2024 航空行业机上软件开发工具项目

服务名称：嵌入式软件形式验证器

项目编号：

cesi-20260430XB-01

项目预算金额：

90 万元

采购需求：

二、合格供应商资格要求：

1. 符合《中华人民共和国政府采购法》第二十二条的规定：

（

1）具有独立承担民事责任的能力；

（

2）具有良好的商业信誉和健全的财务会计制度；

（

3）具有履行合同所必需的设备和专业技术能力；

（

4）有依法缴纳税收的良好记录；

（

5）参加各项采购活动（含政府采购）前三年内，在经营活动中没有重大违法

记录；

（

6）法律、行政法规规定的其他条件。

2. 未被列入信用中国网站(www.creditchina.gov.cn)、中国政府采购网

(www.ccgp.gov.cn)信用记录失信被执行人、重大税收违法案件当事人名单、政

府采购严重违法失信行为记录名单的供应商。

3. 本项目不接受联合体参加询价。4. 单位负责人为同一人或者存在直接控股、管理关系的不同供应商，不得同时

序

号

软件名称

数量

预算

采购需求

1

嵌入式软件形式验证器

1

90 万元

详见第三部分采购

需求

电子标准院技术服务合同

3

参加本项目的询价。

5. 凡受托为本次采购项目提供整体设计、规范编制或者项目管理、监理、检测

等服务的供应商，不得参加。

三、报名时间、地点：

时间：

2026 年 5 月

15 日至 5 月 19

日

本项目通过中招智采平台（

http://www.365bidding.com）进行询价，参与询价

的供应商必须登录该平台进行注册，注册成功后方可参与项目询价。

四、报价提交时间、截止时间：

截止时间：

2026 年 5 月

20 日 9:30（北京时间）

五、评分办法和标准

最低评标价法

六、联系方式

凡对本次询价提出询问，请按下列内容联系：

采 购 人：中国电子技术标准化研究院

地

址：北京市东城区安定门东大街

1 号

联 系 人：张程

电

话：

*开通会员可解锁*

电子标准院技术服务合同

4

第二部分 供应商须知

供应商须知前附表

本表是关于要采购货物或服务的具体资料，是对供应商须知的具体补充和修改，

如有矛盾，应以本表为准。

条款号

内

容

1

采购人：中国电子技术标准化研究院

地

址：北京市东城区安定门东大街

1 号

2

资格证明文件内容包括：

*1、法定代表人授权书（原件，格式自拟，加盖公章，供应商为自然

人的无须提供）

*2、供应商情况表（原件，格式见第五部分，加盖公章，供应商为自

然人的无须提供）

*3、供应商营业执照或事业单位法人证书或社会团体登记证书或其他

类型主体资格证书（复印件，加盖公章）

4、依法缴纳税收的相关材料：距提交报价文件截止时间前十二个月任

一个月的供应商依法缴纳税收的证明；或事业单位近期纳税证明或自

然人缴纳个人所得税证明；或者提供依法免税的相应证明文件。

（复印

件，加盖公章）

5、金融或中介机构出具的供应商的资信等级证书（复印件，加盖公章）

或开户银行在三个月内出具的供应商银行资信证明（原件或加盖公章

的复印件）或提供上一年度或上一季度财务报告，至少包括“资产负

债表、利润表、现金流量表”

。

（复印件，加盖公章）

*6、供应商参加本次采购活动前三年内，在经营活动中没有重大违法

和不良记录的说明（原件，格式自拟，法定代表人签字并加盖供应商

公章，自然人参加询价报价的无需盖章，需要签字）

以上

*号条款为合格供应商的资格要求，必须满足。为中国电子技术标

准化研究院合格供应商名录内的供应商不再提交以上

1、2、3 的文件。

电子标准院技术服务合同

5

3

报价书部分内容包括：

*1、报价函（格式见第五部分）

*2、报价一览表（格式见第五部分）

*3、技术偏离表（格式见第五部分）

4、供应商认为需要提交的其他文件

以上

*号条款为必须提供的文件。

4

报价文件有效期：

90 日历天

5

报价文件数量：

电子文档：

1 份（必须按要求加盖报价供应商公章，否则视为无效报

价）

6

保证金：本次询价不需缴纳保证金。

电子标准院技术服务合同

6

供应商须知

（一） 说 明

1. 适用范围

本询价文件仅适用于本项目所报货物及服务。

2. 合格的供应商资格要求

详见询价文件第一部分。

3. 报价费用

供应商应承担所有参与报价有关的全部费用，不论报价的结果如何。

（二） 询价文件

4. 询价文件构成

4.1 询价文件包括：询价邀请、供应商须知、采购需求、合同条款、附件（报价文

件格式）等。

4.2 询价文件的修改将构成询价文件的一部分，对报价具有约束力。4.3 供应商应认真阅读询价文件中各有关事项、格式、条款和规范等要求。如果供

应商没有按照询价文件要求提交全部资料或者报价文件没有对询价文件做出实质性响

应，该报价有可能被拒绝。

4.4 采购人对合同质量要求、付款条件、售后服务等要求见合同条款，供应商可提

出高于该条件标准，但不得低于。

5. 询价文件的澄清

任何要求对询价文件进行澄清的供应商，均应以书面形式或传真通知采购人，采购

人如认为必要，将以书面形式予以答复，同时将书面答复送至每个获取询价文件的供应

商。

6. 询价文件的修改

6.1 在提交响应文件截止之日前，无论出于何种原因，采购人可主动地或在解答供

应商提出的问题时对询价文件进行修改。

6.2 询价文件的修改将以书面或传真形式通知所有获取询价文件的供应商，并对其

具有约束力。

电子标准院技术服务合同

7

（三） 报价文件的编制

7. 报价准备

供应商须认真阅读询价文件中的采购需求和其他所有说明，据此编制报价文件。

8. 报价文件内容的组成

8.1 报价文件应由资格证明文件及报价书两部分组成。

8.1.1 资格证明文件内容详见供应商须知前附表。8.1.2 报价书内容详见供应商须知前附表。

9. 报价和报价文件有效期

9.1 供应商根据本询价文件要求，一次报出不得更改的价格。超过本项目预算金额

的报价将被拒绝。

9.2 供应商所报的各分项价格在合同履行过程中是固定不变的，不得以任何理由予以

变更。任何包含价格调整要求的报价，其报价文件将被否决。

9.3 采购人不接受具有附加条件的报价。9.4 供应商提交的报价文件应在规定的提交截止之日起，按照供应商须知前附表中

规定报价文件有效期时间内保持有效。有效期不满足要求的，其报价将被否决。

9.5 采购人可根据实际情况，在原报价文件有效期截止之前，要求供应商延长报价

文件的有效期。接受该要求的供应商将不会被要求和允许修正其报价文件。供应商也可

以拒绝延长报价文件有效期的要求。上述要求和答复都应以书面形式提交。

10. 本次报价货币均以人民币报价。11. 报价文件中应说明供货或服务时间。

（四） 报价文件的递交

11. 所有报价文件必须在截止时间之前上传至中招智采平台

（

http://www.365bidding.com），超过截止时间将无法递交报价。提交报价截止时间后，

供应商不得对其报价文件做任何修改，也不得在报价文件有效期内撤回其报价。

（五）报价文件的评定

电子标准院技术服务合同

8

12. 报价文件的初审

12.1 采购人根据有关法律法规组建评审小组。12.2 评审小组对报价文件进行初审。

依据询价文件的规定，对报价文件中的资格证明文件、报价文件的有效性、完整性

和对询价文件的响应程度，报价是否超过本项目预算金额等方面进行审查，以确定是否

对询价文件的实质性要求作出响应。

12.3 初审中，对价格的计算错误按下述原则修正：

12.3.1 如果单价乘数量不等于总价，应以单价为准修正总价。12.3.2 如果以文字表示的数据与数字表示的有差别，应以文字为准修正数字。

供应商不同意以上修正，则其报价文件将被拒绝。

12.4 对询价文件有重大偏离的报价文件将被拒绝。重大偏离系指报价货物及服务的

质量、数量、报价有效期及交货期或服务期等明显不能满足询价文件的要求。这些偏离

不允许在提交报价文件后修正。但允许修改报价文件中不构成重大偏离的微小的、非正

规的、不一致的或不规则的地方。

13. 评审原则、方法和依据

13.1 询价小组从质量和服务均能满足询价文件实质性响应要求的供应商中，按照报

价由低到高的顺序推荐成交候选人。

13.2 供应商必须完整地响应询价文件的采购需求，任何不完整或不满足询价文件要

求的报价文件将不被接受。

（六） 确定成交供应商和签订合同

14. 确定成交供应商

14.1 采购人有权对推荐为成交候选人的供应商的资格条件及价格计算方面进行审

查。

14.2 采购人从评审报告提出的成交候选人中，按照排序由高到低的原则确定成交供

应商，也可以书面授权询价小组直接确定成交供应商。

15. 签订合同

15.1 采购人或采购代理机构将以书面形式向成交供应商发出成交结果通知。15.2 成交结果通知书发出后，采购人将与成交供应商在报价文件有效期内签订合同。

电子标准院技术服务合同

9

电子标准院技术服务合同

10

第三部分 采购需求

嵌入式软件形式验证器。主要技术要求：

1）支持 SCADE Suite 模型形式化验证功能。基于严格数学理论，不借助测试用例，通过

推导就可以证明系统是否满足特定的安全特性，如果判定不满足，可给出反例。

2）检查范围覆盖 SCADE Suite 模型中的整数、定点、浮点数等类型的数值变量赋值、移

位、类型转换等场景，确保数值不超出类型范围。支持判定浮点数运算是否产生非数值（

NaN）、

无穷大（

Inf）等结果。

3）支持验证 SCADE Suite 模型中所有除法运算是否存在除 0 风险，自动排查潜在崩溃点。

4）提供 SCADE Suite 模型覆盖率辅助分析功能，帮助分析软件模型设计中的不可覆盖部

分。

5）支持命令行模式，可命令行对指定 SCADE Suite 模型进行形式化验证。

6）支持用户自定义安全规则，可通过图形模式或断言方式，推导系统必须满足或不能出现

的行为，并支持对这些自定义规则进行形式化验证。

7）支持自动验证 SCADE Suite 模型中数组索引越界、空指针/无效引用等内存访问错误。

电子标准院技术服务合同

11

第四部分 合同条款

软 件 采 购 合 同

（ 嵌入式软件形式验证器）

签约日期：

签约地点：北京市东城区安定门东大街

1 号

中国电子技术标准化研究院

电子标准院技术服务合同

12

软件采购合同

买

方： 中国电子技术标准化研究院

（以下简称甲方）

法定住址： 北京市东城区安定门东大街

1 号

通讯地址： 北京市东城区安定门东大街

1 号

邮政编码：

联 系 人：

电

话：

传

真：

开 户 行：

帐

号：

卖

方：

（以下简称乙方）

法定住址：

通讯地址：

邮政编码：

联 系 人：

电

话：

传

真：

开 户 行：

帐

号：

经甲方和乙方平等友好协商，订立如下软件采购合同条款，需共同恪守履行。

一、 甲方向乙方购买如下产品：

编

号

软件产品名称

功能

软件产品版权

所有者

数

量

单价

（元）

小计

（元）

电子标准院技术服务合同

13

二、合同价格

合同总价为人民币（大写）

：

（小写）

¥

元

总价中包括软件服务费、安装测试费及税金。

三、付款方式

合同生效后，乙方向甲方提供合同总价的

90%金额， ¥

的增值税发票，甲方

收到发票后向乙方支付合同总价的

90%，金额 ¥

作为预付款；

软件系统安装验收合格后一个月内，乙方向甲方提供合同总价的

10%金额，

¥

的增值税发票，甲方向乙方支付合同总价的

10 %，金额¥

。

质保期：从软件安装、运行、验收合格后正式开始，为期

12 个月。

四、软件交付、验收

交付时间：合同生效后 三周内。

甲方在收到乙方软件后，应按照产品清单对产品数量、质量及技术参数要求进行验

收。乙方为甲方提供

72 小时的异议期限。

乙方不参加验收的，无条件认可甲方验收意见。甲方未按规定期限提出书面异议的，

视为所交软件验收合格。

乙方软件达不到合同约定的功能、质量，不能通过验收，乙方无条件在甲方规定的

期限内完成整改，直到验收合格，并执行本合同“七、违约责任”条款；如乙方无法达

到验收标准，则乙方清退全部合同款并执行本合同“七、违约责任”条款后，甲方清退

软件，乙方还应承担由此产生的相关费用。

五、产品质量保证与售后服务

乙方负责免费为甲方安装软件产品。

乙方保证在所出售给甲方的软件产品中没有病毒、木马或其他程序。

软件投入正常运行后，乙方应按

定期回访使用方。

软件升级服务：包括合同所列软件的版本升级、补充、软件功能改进。

1 年内所有

升级软件内容乙方需主动向甲方提供免费升级服务，增加功能除外。

乙方向甲方免费提供远程维护技术、通常系统故障，提供实时响应解决。

因产品质量存在瑕疵导致甲方无法正常使用此软件，甲方有权利要求乙方承担因此

给甲方造成的相应损失。

六、知识产权与保密

电子标准院技术服务合同

14

甲方和乙方确认本合同软件知识产权归属于

。

乙方保证软件产品出卖不侵犯任何第三方专利权、著作权，如因为版权及相关事宜

导致第三方追究或索赔，由乙方负全部责任并对甲方受到的损失予以赔偿。

甲方支付合同全部款项后，拥有该软件的所有权，甲方保证软件使用者限

于

，甲方

转让或销售。

甲乙双方未经对方同意，任何一方都不得将对方拥有知识产权的文件公开发表或者

转让给第三方，任何一方违约，按国家有关法律规定处理。

双方保证对在讨论、签订、执行本协议过程中所获悉的属于对方的且无法自公开渠

道获得的文件及资料（包括商业秘密、公司计划、运营活动、财务信息、技术信息、经

营信息及其他商业秘密）予以保密。未经该资料和文件的原提供方同意，另一方不得向

任何第三方泄露该商业秘密的全部或部分内容。但法律、法规另有规定或双方另有约定

的除外。

八、违约责任

乙方不能按期交货，除不可抗拒因素外，乙方应向甲方支付延期违约金，每日按合

同总价的

0.3％计算，乙方应承担由此造成的连带责任。

甲方延期付款时（正当拒付除外）

，应向乙方支付该此延付款数额的延期违约金，

每日按该此延期付款额的

0.3％金额计算，支付款办理期为 15 个工作日。

双方必须严格执行《中华人民共和国民法典》的有关违约责任规定。

九、合同的解除和变更

当合同一方要求合同变更时，甲乙双方应协商解决。要求变更的一方应书面通知对

方，对方在接到书面通知

15 日内给与答复，逾期未答复则视为已同意。甲乙双方未能

就变更事项达成一致的，维持原合同。

若一方提出合同解除，提出方除承担违约责任外，还需赔偿给对方造成的损失，其

自身损失自负。

十、合同纠纷的解决

甲乙双方若发生合同纠纷，应本着互谅互让、互相尊重、和平友好的原则协商解决。

若双方不能通过协商达成协议，可依据《中华人民共和国民法典》的有关规定，向

提起诉讼。

十一、免责条款

电子标准院技术服务合同

15

本合同因不可抗力而无法履行时，双方按国家有关法律规定处理。

十二、其它约定事项

本合同履约地为

。

若本合同有附件，附件也需要甲乙双方签章确认且是本合同不可缺少之组成部分，

具有与合同同等的法律效力。

软件采购技术协议书为本合同附件。

本合同未尽事宜，可由甲乙双方商定，并签署书面补充协议。

本合同一式陆份，双方各执叁份。

甲方（盖章）

：

___________________

乙方（盖章）

：

___________________

委托代表人（签字）

：

_____________

委托代表人（签字）

：

_____________

___________年________月________日 __________年________月________日

电子标准院技术服务合同

16

软 件 采 购 技 术 协 议 书

甲方：中国电子技术标准化研究院

乙方：

本协议书为合同编号：

软件采购合同的附件，与合同具有相同法律效

率，甲乙双方应共同遵守。

此技术协议书具体内容要求，由软件使用部门按照软件使用需求拟订，包含使用部

门所需的所有技术指标如下：

甲方（盖章）

：

___________________

乙方（盖章）

：

__________________

委托代表人（签字）：

___________

委托代表人（签字）：

_____________

__________年________月_______日

_______年________月_______日

电子标准院技术服务合同

17

第五部分 附 件

（报价文件格式）

附件一：

报价函

致：中国电子技术标准化研究院

在审阅了

（项目名称）

的询价文件后， 我 方 下 述 签 字 人 将 按 照 询 价 文

件 的 规 定 提 供 总 价 为

（ 用 文 字 和 数 字 表 示 的 总 价 ）的 货 物 及 服

务 。并作出如下承诺：

1、如果我们被确定为成交供应商，我们将按照询价后双方确认的合同条款的要求

执行。

2、我方保证忠实地执行买、卖双方所签的合同，并承担合同规定的责任和义务。3、我方愿意向贵方提供任何与此报价有关的数据、情况和技术资料。4、我方提交的报价文件及报价自提交日期起 90 天有效，并对我方具有约束力。5、在正式合同准备好和签字前，本报价函及贵方的书面询价结果通知书将构成约

束我们双方的合同内容。

出具日期：

职务：

公章：

电子标准院技术服务合同

18

附件二：

报价一览表

价格单位：人民币

万元

序号

分项名称

单价

数量

总价

合计

供应商名称（公章）

：

出具日期：

备注：应分项报价，包括软件、服务终端、标签机等，如包含年

度使用费，应一并列出。

电子标准院技术服务合同

19

附件三：

合同条款应答表

序号

询价文件要求

报价文件应答

偏差

注：凡对合同条款有偏离的必须在此表中反应，正、负偏差均应描述。

出具日期：

公章：

电子标准院技术服务合同

20

附件四：

技术偏离表

序

号

询价文件要求

报价文件应答

偏差

出具日期：

公章：

电子标准院技术服务合同

21

附件五：

资格证明文件

（一）法定代表人授权书

原件，格式自拟，加盖公章，供应商为自然人的无须提供

电子标准院技术服务合同

22

（二）供应商情况表

供应商：（公章）

填表日期：

单位名称

详细地址

主管部门

法人代表

职务

经济类型

授权代表

职务

邮政编码

电话

传真

单位及机构

简介

单位主营范围

及优势和

特长

单

位

概

况

企业财务状况

职工

总数

人

生产工人

人

工程技术人员

人

流动

资金

万元 资金

来源

自有资金

万元

银行贷款

万元

固定

资产

原值

万元

资金

性质

生产性

万元

净值

万元

非生产性

万元

收入总额

利润总额

税后利润

负债总额

年

年

年

主要产品

（供货）情况

产品

/项目名称

上年销售值（万元）

电子标准院技术服务合同

23

（三）供应商营业执照或事业单位法人证书或社会团体登记证书或其他类

型主体资格证书或自然人身份证明

复印件，加盖公章，自然人提供身份证复印件

电子标准院技术服务合同

24

（四）近期（距提交响应文件近

6 个月内任意 1 个月）供应商缴纳企业所

得税或增值税的证明（缴纳凭证复印件，加盖公章）或事业单位近期纳税

证明或自然人缴纳个人所得税证明

缴纳凭证复印件，加盖公章。如无法提供纳税缴款记录，应提交说明并附相关政策文件

电子标准院技术服务合同

25

（五）近期（距提交响应文件近

6 个月内任意 1 个月）供应商为职工缴纳

社会保险的证明

包括基本养老保险费、基本医疗保险费、失业保险费等缴纳发票复印件，加盖公章。

依法不需要缴纳社保的供应商应提供不需缴纳的声明原件，格式自定

电子标准院技术服务合同

26

（六）金融或中介机构出具的供应商的资信等级证书（复印件，加盖公章）

或开户银行在三个月内出具的供应商银行资信证明或会计师事务所出具的

供应商上一年度财务审计报告

资信证明原件或加盖公章的复印件；

审计报告只提供报告正文及资产负债表、现金流量表、利润表复印件，加盖公章

电子标准院技术服务合同

27

（七）供应商参加本次采购活动前三年内，在经营活动中没有重大违法和

不良记录的说明

原件，格式自拟，法定代表人签字并加盖供应商公章，自然人参加询价报价的无需盖

章，需要签字