高可靠工程組態(tài)設(shè)計軟件研發(fā)與應(yīng)用項目形式化驗證技術(shù)服務(wù)采購公告

1.6　成交供應(yīng)商數(shù)量及份額：■1家，100%。

2　采購范圍及相關(guān)要求

2.1　采購范圍：

本次采購主要為滿足高可靠工程組態(tài)設(shè)計軟件研發(fā)與應(yīng)用項目需求，主要服務(wù)內(nèi)容為形式化驗證技術(shù)服務(wù)。

2.2　工作內(nèi)容

2.1.1 形式化驗證對象

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

表1 軟件L2C模塊信息表

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

表2 測試內(nèi)容信息表

2.1.2 驗證過程

（1）策劃

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

（2）實施

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

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

1）翻譯規(guī)則審查：通過對L2C模塊翻譯過程所定義的語法語義等規(guī)則進行審查，包括程序?qū)崿F(xiàn)所定義的經(jīng)一定裁減的Lustre語言語法、各翻譯轉(zhuǎn)換過程所采用的規(guī)則等，驗證翻譯規(guī)則是否正確。

2）軟件測試：運用適用于OCaml語言的測試工具，結(jié)合軟件需求和設(shè)計內(nèi)容進行測試用例設(shè)計并執(zhí)行，發(fā)現(xiàn)軟件源碼中可能存在的缺陷，確保軟件已正確實現(xiàn)。

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

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

2.1.3 測試管理

供應(yīng)商應(yīng)按照《形式化驗證技術(shù)服務(wù)采購技術(shù)規(guī)格書》（編號：2022ZDZX008-E-GG24001）

3.1.2所要求之活動，對工作過程和交付產(chǎn)品策劃評審或?qū)彶榛顒?，以確保工作過程滿足驗證工作要求。

具體內(nèi)容詳見《形式化驗證技術(shù)服務(wù)采購技術(shù)規(guī)格書》（編號：2022ZDZX008-E-GG24001）

2.3　服務(wù)期：

1）供應(yīng)商須在合同簽訂日（D0）后8個月內(nèi)完成合同規(guī)定的全部內(nèi)容。

2）合同簽訂后，供應(yīng)商須按節(jié)點向采購人匯報工作進展，并能及時反饋修改采購人發(fā)現(xiàn)的問題，并將當前節(jié)點內(nèi)研究成果提交給采購人。

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

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

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

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

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

2.4　服務(wù)地點：

供應(yīng)商應(yīng)在采購人指定的辦公場所及環(huán)境中開展工作。

2.5　服務(wù)質(zhì)量標準或主要技術(shù)性能指標：

符合法律法規(guī)、行業(yè)標準及《采購文件》、《形式化驗證技術(shù)服務(wù)采購技術(shù)規(guī)格書》要求。

2.6　質(zhì)量保證期：

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

3　供應(yīng)商資格要求

3.1　供應(yīng)商應(yīng)依法設(shè)立且具備承擔本采購項目的資質(zhì)條件、能力和信譽：

（1）資質(zhì)要求：

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

（2）財務(wù)要求：

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

（3）業(yè)績要求：

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

（4）信譽要求：

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

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

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

（6）其他要求：　

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

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

3)本次采購不接受代理商應(yīng)答。

3.2　供應(yīng)商不得存在下列情形之一：

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

（2）處于被責令停產(chǎn)停業(yè)、暫扣或者吊銷執(zhí)照、暫扣或者吊銷許可證、吊銷資質(zhì)證書狀態(tài)；

（3）被本項目所在地省級以上行業(yè)主管部門依法暫?；蛘呷∠稑速Y格；

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

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

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

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

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

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

（10）為本采購項目的采購代理機構(gòu)、監(jiān)理單位;

（11）與本采購項目的施工承包人以及建筑材料、建筑構(gòu)配件和設(shè)備供應(yīng)商有隸屬關(guān)系或者其他利害關(guān)系；

（12）在最近三年內(nèi)發(fā)生重大產(chǎn)品質(zhì)量問題；

（13）法律法規(guī)或供應(yīng)商須知前附表規(guī)定的其他情形。

3.3　本次采購　不接受　聯(lián)合體應(yīng)答。

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

4.1　采購文件售價

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

4.2　發(fā)售時間

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

4.3　采購文件發(fā)售方式

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

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

4.4　其他事項說明

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

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

（2）購買采購文件的供應(yīng)商在應(yīng)答截止前因兼并、重組上市等原因?qū)е鹿久Q變化的。

5　應(yīng)答文件的遞交

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

遞交紙質(zhì)應(yīng)答文件地點：四川省成都市雙流區(qū)華府大道三段299號D01號樓。

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

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

6　應(yīng)答文件開啟時間和地點

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

7　談判時間和地點

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

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

8　發(fā)布公告的媒介

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

9　聯(lián)系方式

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

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

聯(lián)系人：秦女士

電話：13547947479

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

10　其他說明

10.1　供應(yīng)商須遵守采購單位的保密規(guī)定（見保密承諾函）。

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

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

11　其他需要補充的內(nèi)容

　無。　　　　　　　　　　　　

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

2024年11月20日