1.6　成交供應商數量及份額：■1家，100%。

2　采購范圍及相關要求

2.1　采購范圍：

本次采購主要為滿足高可靠工程組態設計軟件研發與應用項目需求，主要服務內容為形式化驗證技術服務。

2.2　工作內容

2.1.1 形式化驗證對象

高可靠工程組態設計軟件L2C模塊形式化驗證涉及的具體軟件模塊信息如下表1所示。

表1 軟件L2C模塊信息表

L2C模塊采用形式化方法將Lustre語言轉換為相應的C代碼，翻譯過程采用coq工具。為保障L2C模塊的正確性與可靠性，需對該模塊開發過程及模塊功能進行驗證。具體測試項詳見表2。

表2 測試內容信息表

2.1.2 驗證過程

（1）策劃

供應商應對L2C模塊形式化驗證工作進行整體策劃，包括策劃需開展的驗證策略、驗證方法、驗證工具等方面的內容。

（2）實施

供應商應針對被測軟件模塊策劃開展測試工作。測試對象為L2C模塊。

針對L2C模塊的測試驗證通過以下幾種方式展開：

1）翻譯規則審查：通過對L2C模塊翻譯過程所定義的語法語義等規則進行審查，包括程序實現所定義的經一定裁減的Lustre語言語法、各翻譯轉換過程所采用的規則等，驗證翻譯規則是否正確。

2）軟件測試：運用適用于OCaml語言的測試工具，結合軟件需求和設計內容進行測試用例設計并執行，發現軟件源碼中可能存在的缺陷，確保軟件已正確實現。

3）語義等價性證明：通過對翻譯過程前后的Lustre語言及對應的C語言進行等價性證明，驗證翻譯過程中Lustre語言是否被正確翻譯為對應的C代碼。

（3）總結：供應商開展測試工作需提交測試報告、軟件缺陷單等文檔，并通過采購人審查認可。

2.1.3 測試管理

供應商應按照《形式化驗證技術服務采購技術規格書》（編號：2022ZDZX008-E-GG24001）

3.1.2所要求之活動，對工作過程和交付產品策劃評審或審查活動，以確保工作過程滿足驗證工作要求。

具體內容詳見《形式化驗證技術服務采購技術規格書》（編號：2022ZDZX008-E-GG24001）

2.3　服務期：

1）供應商須在合同簽訂日（D0）后8個月內完成合同規定的全部內容。

2）合同簽訂后，供應商須按節點向采購人匯報工作進展，并能及時反饋修改采購人發現的問題，并將當前節點內研究成果提交給采購人。

3）本項目研究工作主要進度如下：

D0+1月：提交本項目驗證工作策劃方案；

D0+7月：完成L2C模塊測試驗證工作；

D0+8月：完成并提交驗證報告。

4）在項目實施過程中，如果采購人認為供應商提交的成果（包括驗證報告等）存在技術上或格式上的問題，雙方溝通協商后，供應商需要按照采購人要求進行修改完善。

2.4　服務地點：

供應商應在采購人指定的辦公場所及環境中開展工作。

2.5　服務質量標準或主要技術性能指標：

符合法律法規、行業標準及《采購文件》、《形式化驗證技術服務采購技術規格書》要求。

2.6　質量保證期：

12個月或供應商響應文件中明確的更長保證期。

3　供應商資格要求

3.1　供應商應依法設立且具備承擔本采購項目的資質條件、能力和信譽：

（1）資質要求：

    供應商須具有獨立承擔民事責任能力的在中華人民共和國境內注冊的法人或其他組織，具備有效的營業執照或事業單位法人證書或其他營業登記證書。

（2）財務要求：

供應商應具有良好的財務狀況，且近3年（2021年至2023年）審計報告標準無意見，凈利潤指標無連續虧損。供應商為企業單位的提供近3年（2021年至2023年）經會計師事務所或審計機構審計的財務會計報表。成立不足3年的提供成立以來的經審計的財務會計報表，上述財務會計報表至少應包括審計報告正文（審計報告必須由會計師事務所蓋章、注冊會計師簽名和蓋章、未經簽字蓋章的審計報告視為無效審計報告，應答將被否決）、資產負債表、現金流量表、利潤表復印件，缺一不可。供應商的成立時間少于1年的，應提供成立以來的財務狀況表。供應商為科研院所、高等院校等事業單位特殊原因無法提供以上材料的，可不提供。

（3）業績要求：

供應商須提供2022年1月1日（以合同簽訂時間為準）至今已簽訂的至少1項系統/軟件測試服務合同。提供合同復印件或相關資料，合同內容須體現甲乙雙方蓋章頁、合同簽訂時間、標的物名稱（如有必要提供技術協議或技術附件）等主要內容。未按上述要求提供的業績證明均不予認可。

（4）信譽要求：

提供承諾函或相關證明材料：具有履行合同所必需的設備和專業技術能力所需證明材料；具有依法繳納稅收和社會保障資金的良好記錄所需證明材料；參加本項目采購活動前三年內，在經營活動中沒有重大違法記錄所需證明材料；參加本項目采購活動的供應商、法定代表人/主要負責人在前3年內不得具有行賄犯罪記錄；（承諾函格式見第六章）

（5）承擔本項目的主要人員要求：

供應商須為本項目配備至少1名項目負責人，須具有至少5年及以上工作經驗（須提供工作履歷或相關工作證明作為證明材料，形式不限）。注：以上人員均須為本單位職工，供應商為企業單位的應提供應答文件截止時間前6個月中任意3個月供應商或第三方代繳機構為以上人員繳納的社保繳納證明，若供應商委托第三方機構代繳的，需提供委托證明。供應商為科研院所、高等院校等事業單位依法免稅或不需要繳納社會保障資金的供應商可不提供。

（6）其他要求：　

1）法律法規及采購文件規定的其他要求；

2）供應商在經營活動中不存在重大違法記錄等違法行為，嚴格遵守國家及采購方相關保密管理規定，提供談判參與單位承諾書。（承諾函格式見第六章）

3)本次采購不接受代理商應答。

3.2　供應商不得存在下列情形之一：

（1）不同供應商之間的單位負責人為同一人，或者存在直接控股、管理關系；

（2）處于被責令停產停業、暫扣或者吊銷執照、暫扣或者吊銷許可證、吊銷資質證書狀態；

（3）被本項目所在地省級以上行業主管部門依法暫停或者取消投標資格；

（4）進入清算程序，或被宣告破產，或其他喪失履約能力的情形；

（5）（5）根據中國核工業集團供應商管理要求，被禁止參與采購活動且處于有效期。供應商處于黑名單中且處于有效期內：■中國核工業集團供應商黑名單、■中國核動力設計研究院黑名單、■成都天核科技有限公司供應商黑名單；；

（6）不同供應商在中國核工業集團電子采購平臺參與項目、下載文件時IP地址一致的；

（7）為采購人不具有獨立法人資格的附屬機構（單位）；

（8）與采購人存在利害關系且可能影響采購公正性；

（9）為本采購項目的代建人;

（10）為本采購項目的采購代理機構、監理單位;

（11）與本采購項目的施工承包人以及建筑材料、建筑構配件和設備供應商有隸屬關系或者其他利害關系；

（12）在最近三年內發生重大產品質量問題；

（13）法律法規或供應商須知前附表規定的其他情形。

3.3　本次采購　不接受　聯合體應答。

4　競爭性談判采購文件的獲取

4.1　采購文件售價

每套采購文件售價人民幣/元整，售后款項不予退還。

4.2　發售時間

北京時間：2024年11月20日20：30-2024年11月28日17：00。

4.3　采購文件發售方式

電子版采購文件將在中國核工業集團有限公司電子采購平臺（https://www.cnncecp.com）進行發布。潛在的供應商在中國核工業集團有限公司電子采購平臺已經注冊的，可直接登錄參與本項目應答；尚未在中國核工業集團有限公司電子采購平臺注冊的，應于采購文件發售截止時間前在中國核工業集團有限公司電子采購平臺完成在線注冊后登錄參與本項目應答。供應商登錄后點擊“我要參與”，選擇要參與的項目（XXXX采購項目）。 按照《中核集團電子采購平臺供應商操作手冊》完成付費后即可下載采購文件（見平臺首頁服務中心-供應商服務）。

中國核工業集團有限公司電子采購平臺將在發售期結束后自動關閉參與入口，未能按時完成參與、購買采購文件相關工作的潛在供應商不得參與應答。

4.4　其他事項說明

未購買本項目采購文件的，其應答將被拒絕，有文件證明下列情形的除外：

（1）作為潛在供應商的辦事處或分公司代為購買采購文件的；

（2）購買采購文件的供應商在應答截止前因兼并、重組上市等原因導致公司名稱變化的。

5　應答文件的遞交

遞交應答文件方式：中國核工業集團有限公司電子采購平臺網絡遞交電子版應答文件（同時須在平臺上進行報價（初始報價截止時間同遞交應答文件截止時間），如有多輪報價須多次提交報價文件）及線下遞交紙質版應答文件。

遞交紙質應答文件地點：四川省成都市雙流區華府大道三段299號D01號樓。

遞交應答文件截止時間（應答截止時間）北京時間：2024年12月03日10：00分.

應答文件應按采購文件規定時間、地點遞交，逾期送達的、未送達指定地點的或者不按照采購文件要求密封的應答文件，采購單位將予以拒收。

6　應答文件開啟時間和地點

采購單位在本項目遞交應答文件截止時間　不公開　開啟應答文件，地點為應答文件遞交地點。

7　談判時間和地點

7.1　遞交應答文件的供應商應委派代表準時參加談判活動，談判開始時間預計為2024年12月03日10：30分，與每一供應商進行談判的具體時間另行通知。談判地點為四川省成都市雙流區華府大道三段299號D01號樓。

7.2　遞交應答文件的供應商未準時參加某一輪次談判的，視為其放棄該輪次談判。

8　發布公告的媒介

本次競爭性談判采購公告在中國核工業集團有限公司電子采購平臺（https://www.cnncecp.com）上發布和中國招標投標公共服務平臺(http://www.cebpubservice.com)上發布。

9　聯系方式

采購單位：成都天核科技有限公司。

地址：成都天核科技有限公司（四川省成都市雙流區華府大道三段299號D01樓）。

聯系人：秦女士

電話：13547947479

電子郵件：qinyue@npic.ac.cn

10　其他說明

10.1　供應商須遵守采購單位的保密規定（見保密承諾函）。

10.2　對于其它公司利用本公司發布的公告信息進行詐騙的行為，本公司將不承擔任何責任，并保留追究相關責任人權利。

10.3　如供應商存在采購公告3.2第（6）條規定的，平臺會自動生成風險預警項，并自動剔除相關供應商，經平臺自動剔除的供應商將被平臺記錄為圍串標高風險供應商，并根據供應商所在名錄級別凍結參與相應范圍電子采購平臺采購項目的權限。

11　其他需要補充的內容

　無。　　　　　　　　　　　　

　　　　　　　　 采購單位：成都天核科技有限公司

2024年11月20日