特別提示：本項目為航空工業電子采購平臺試運行項目，將進行全流程電子招投標。有意向參與本項目的投標人請訪問航空工業電子采購平臺（http://ebid.eavic.com）查看公告并按要求參與本項目 。

1. 招標條件

本招標項目軟件安全特性形式化證明工具，招標人為中國航空工業集團公司沈陽飛機設計研究所，招標項目資金來自國撥資金。該項目已具備招標條件，現對軟件安全特性形式化證明工具進行國內公開招標。

2. 項目概況與招標范圍

2.1 招標編號：ZKX20240302A176。

2.2 招標項目名稱：軟件安全特性形式化證明工具。

2.3 數量：1套。

2.4 設備主要用途及基本要求：軟件內存安全性分析證明工具采用健壯性語義分析技術，對軟件運行時錯誤進行檢查。針對軟件中數值越界、指針非常使用等導致的問題進行安全性分析，并自動生成測試報告。

2.5 交貨地點：中國航空工業集團公司沈陽飛機設計研究所所區內。

2.6 交貨期：合同生效后5個月完成交付；合同生效后6個月完成現場安裝調試培訓及驗收。

3. 投標人資格要求

3.1本次招標要求投標人須具備條件如下：

（1）投標人須為具有獨立承擔民事責任能力的在中華人民共和國境內注冊的法人或其他組織，具備有效的營業執照或事業單位法人證書或其它營業登記證書，提供有效的營業登記證明文件并加蓋公章。

（2）投標人須提供2023年度經審計的財務會計報表，包括資產負債表、現金流量表、利潤表的復印件。投標人的成立時間少于規定年份的，應提供成立以來的財務會計報表，包括資產負債表、現金流量表、利潤表的復印件（復印件須加蓋公章）。投標人為依法允許經營的事業單位的，可提供自有財務報表并加蓋公章。

（3）投標人不得存在經營異常或嚴重違法失信情況，以現場查詢信用中國網站結果截圖（“嚴重失信主體名單”、“經營異常”兩張截圖）為準，若投標人為企業，還須通過“國家企業信用信息公示系統”網站查詢，以現場查詢結果截圖（“列入經營異常名錄信息”、“列入嚴重違法失信名單（黑名單）”兩張截圖）為準。

（4）投標人須提交《主要股東或出資人信息》并加蓋公章（事業單位不適用）。

（5）本次招標要求所投產品的類似項目業績，提供業績證明材料（業績證明材料以合同復印件為準，合同需顯示項目名稱、合同主要內容、甲乙雙方蓋章，否則視為無效業績證明材料）。

3.2如投標人為代理商投標，代理商應提交制造商針對本項目的唯一授權函原件。

3.3本次招標不接受聯合體投標。

4. 招標文件的獲取

4.1凡有意參加投標者，請于2024年7月18日至2024年7月25日17時(北京時間)，將招標文件購買費用支付至中科信工程咨詢（北京）有限責任公司（開戶行：華夏銀行北京西客站支行；帳號：10235000000047830）后登錄航空工業電子采購平臺（http://www.eavic.com）上傳匯款底單和下載招標文件,現場不予受理。如有疑問，請致電航空工業電子采購平臺服務熱線400-890-0880。 4.2 招標文件售價800元（開標前一周內登陸購買文件時填寫的有效的電子郵箱下載標書款發票），售后不退。 4.3投標人必須在航空工業電子采購平臺注冊，辦理CA數字證書與電子簽章，否則無法投標。（詳見航空工業電子采購平臺相關說明）。

5. 投標文件的遞交

5.1投標文件遞交的截止時間（投標截止時間，下同）為2024年8月8日9時00分，投標人應在截止時間前通過航空工業電子采購平臺電子招投標專區遞交電子投標文件。

5.2逾期送達、不按照招標文件要求加密的電子投標文件，電子招標投標交易平臺將予以拒收。逾期送達、未送達指定地點的或者不按照招標文件要求密封紙質投標文件，招標人將予以拒收。招標人只接收在投標截止時間前成功上傳加密的電子投標文件的投標人遞交的紙質投標文件。未成功上傳加密的電子投標文件的投標人，其紙質投標文件也將被拒收。

5.3 紙質投標文件1正5副，遞交的截止時間為2024年8月8日9時00分，地點為遼寧省沈陽市皇姑區塔灣街40號瀚翔賓館會議室。

5.4 投標人請于遞交截止時間前登陸航空工業電子采購平臺進入投標文件遞交頁面遞交投標文件。投標人的電腦和網絡環境應當按照航空電子采購平臺的要求自行準備，因投標人電腦配置或網絡環境不符合招標文件要求而導致遞交投標文件解密失敗的，產生的后果由投標人自行承擔。

6.其他公告內容

本項目為電子招標投標項目，與本項目有關的電子招標、投標、開標、評標和中標均在航空工業電子采購平臺（網址：http://ebid.eavic.com，建議使用360、Goole Chrome、Firefox火狐瀏覽器）進行。

7. 發布公告的媒介

本次招標公告同時在中招聯合招標采購平臺、中國招標投標公共服務平臺和中國航空工業電子采購平臺上發布。

8. 聯系方式

招標人名稱：中國航空工業集團公司沈陽飛機設計研究所

地址：沈陽市皇姑區塔灣街40號

聯系人：于先生

電話：024-86368294

招標代理機構：中科信工程咨詢（北京）有限責任公司

地址：北京市海淀區金溝河路與采石北路十字路口東南角88號大樓

郵編：100039

售賣聯系人：童女士

電話：024-23834453

項目負責人：劉健飛

電話：024-23832492

傳真：024-23834403

電子郵件：zhaobiaobu@zonkex.com

2024年7月18日