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

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

2.1　采購(gòu)范圍：

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

2.2　工作內(nèi)容

2.1.1 形式化驗(yàn)證對(duì)象

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

表1 軟件L2C模塊信息表

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

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

2.1.2 驗(yàn)證過(guò)程

（1）策劃

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

（2）實(shí)施

供應(yīng)商應(yīng)針對(duì)被測(cè)軟件模塊策劃開(kāi)展測(cè)試工作。測(cè)試對(duì)象為L2C模塊。

針對(duì)L2C模塊的測(cè)試驗(yàn)證通過(guò)以下幾種方式展開(kāi)：

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

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

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

（3）總結(jié)：供應(yīng)商開(kāi)展測(cè)試工作需提交測(cè)試報(bào)告、軟件缺陷單等文檔，并通過(guò)采購(gòu)人審查認(rèn)可。

2.1.3 測(cè)試管理

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

3.1.2所要求之活動(dòng)，對(duì)工作過(guò)程和交付產(chǎn)品策劃評(píng)審或?qū)彶榛顒?dòng)，以確保工作過(guò)程滿(mǎn)足驗(yàn)證工作要求。

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

2.3　服務(wù)期：

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

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

3）本項(xiàng)目研究工作主要進(jìn)度如下：

D0+1月：提交本項(xiàng)目驗(yàn)證工作策劃方案；

D0+7月：完成L2C模塊測(cè)試驗(yàn)證工作；

D0+8月：完成并提交驗(yàn)證報(bào)告。

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

2.4　服務(wù)地點(diǎn)：

供應(yīng)商應(yīng)在采購(gòu)人指定的辦公場(chǎng)所及環(huán)境中開(kāi)展工作。

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

符合法律法規(guī)、行業(yè)標(biāo)準(zhǔn)及《采購(gòu)文件》、《形式化驗(yàn)證技術(shù)服務(wù)采購(gòu)技術(shù)規(guī)格書(shū)》要求。

2.6　質(zhì)量保證期：

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

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

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

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

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

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

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

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

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

（4）信譽(yù)要求：

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

（5）承擔(dān)本項(xiàng)目的主要人員要求：

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

（6）其他要求：　

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

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

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

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

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

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

（3）被本項(xiàng)目所在地省級(jí)以上行業(yè)主管部門(mén)依法暫停或者取消投標(biāo)資格；

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

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

（6）不同供應(yīng)商在中國(guó)核工業(yè)集團(tuán)電子采購(gòu)平臺(tái)參與項(xiàng)目、下載文件時(shí)IP地址一致的；

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

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

（9）為本采購(gòu)項(xiàng)目的代建人;

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

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

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

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

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

4　競(jìng)爭(zhēng)性談判采購(gòu)文件的獲取

4.1　采購(gòu)文件售價(jià)

每套采購(gòu)文件售價(jià)人民幣/元整，售后款項(xiàng)不予退還。

4.2　發(fā)售時(shí)間

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

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

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

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

4.4　其他事項(xiàng)說(shuō)明

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

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

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

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

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

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

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

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

6　應(yīng)答文件開(kāi)啟時(shí)間和地點(diǎn)

采購(gòu)單位在本項(xiàng)目遞交應(yīng)答文件截止時(shí)間　不公開(kāi)　開(kāi)啟應(yīng)答文件，地點(diǎn)為應(yīng)答文件遞交地點(diǎn)。

7　談判時(shí)間和地點(diǎn)

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

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

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

本次競(jìng)爭(zhēng)性談判采購(gòu)公告在中國(guó)核工業(yè)集團(tuán)有限公司電子采購(gòu)平臺(tái)（https://www.cnncecp.com）上發(fā)布和中國(guó)招標(biāo)投標(biāo)公共服務(wù)平臺(tái)(http://www.cebpubservice.com)上發(fā)布。

9　聯(lián)系方式

采購(gòu)單位：成都天核科技有限公司。

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

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

電話(huà)：13547947479

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

10　其他說(shuō)明

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

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

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

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

　無(wú)?！　　　　　　　　　　　?/span>

　　　　　　　　 采購(gòu)單位：成都天核科技有限公司

2024年11月20日