機載操作系統開發支持庫招標公告

招標項目所在地區：陜西省西安市

1. 招標條件

本招標項目機載操作系統開發支持庫（項目名稱）的招標人為中國航空工業集團公司西安航空計算技術研究所，招標項目資金來自國撥資金（資金來源）。該項目已具備招標條件，現進行國內公開招標。

2. 項目概況與招標范圍

2.1 招標編號：0701-244005060633

2.2 項目名稱：機載操作系統開發支持庫

2.3 數量：壹套

2.4 技術規格：

機載操作系統開發支持庫用于基于模型的操作系統開發，由新增的操作系統模型、典型應用模型、典型激勵模型和新增算法組成，支持多核/眾核/安全操作系統和動態重構中間件完成基于行為級模型的需求與設計驗證，以及基于功能級模型的典型模態集成驗證。支持模型組件存儲、檢索和更新，提供模型總線以支持異構模型的組裝。由以下四部分組成：

1)面向多核操作系統的模型庫

2)面向眾核操作系統的模型庫

3)面向多級安全操作系統的模型庫

4)面向多核、眾核、多級安全的操作系統算法庫

機載操作系統開發支持庫需建立以下幾類模型：

1)操作系統行為級模型：基于SYSML、UML或者其他形式化模型語言構建，能夠開展邏輯級的正確性和其他目標特性驗證。

2)操作系統功能級模型：基于代碼生成工具由行為級模型生成，能夠與典型應用模型、典型激勵模型、數字樣機平臺集成，支持功能級綜合驗證。

3)典型應用模型：能夠模擬典型機載應用行為和輸入、輸出，能夠與操作系統源碼進行集成，支持功能級的綜合驗證。

典型激勵模型：能夠模擬典型應用所需的各類數據激勵，能夠支持功能級的綜合驗證。

具體功能需求詳見“第五章供貨要求”。

2.5 交貨地點：西安用戶現場交貨。

2.6 交貨期：合同簽訂生效之日起30個自然日內完成詳細設計方案并通過招標方評審。合同簽訂生效之日起，12個月內完成機載操作系統開發支持庫設備的安裝、調試和交付驗收。

3. 投標人資格要求

3.1 基本要求：投標人在中華人民共和國境內注冊，具備獨立法人資格和有效的營業執照或事業單位法人證書。

3.2 財務要求：投標人提供2023年度經審計的財務會計報告；若投標人為依法允許經營的事業單位，可提供內部財務狀況表。

3.3 信譽要求：未被“信用中國”網站（www.creditchina.gov.cn）列入失信被執行人名單。

3.4 其他要求：沒有處于被責令停業，投標資格被取消，財產被接管、凍結，破產狀態；單位負責人為同一人或者存在控股、管理關系的不同單位，不得參加同一標段投標或者未劃分標段的同一招標項目投標。

3.5 本項目不接受聯合體投標。

4. 招標文件的獲取

4.1 招標文件購買時間：2024年12月8日09:00至2024年12月13日17:00

4.2 招標文件購買地址：航空工業電子采購平臺（ebid.eavic.com）。

4.3 招標文件價格：1000元，售后不退（未領購招標文件不得參加投標）。

4.4 獲取方法：在航空工業電子采購平臺下單購買招標文件時，支付方式請選擇電匯，電匯成功后請將匯款截圖上傳到訂單中，審核通過后可自行下載招標文件。購買標書付款方式如下：凡有意參加投標者，投標人應先在中國通用招標網www.china-tender.com.cn免費注冊。注冊完成后，投標人先在通用招標網招標文件獲取一欄中對應的項目（標）下填寫招標文件購買申請，并按照系統提供的賬號進行匯款。標書款支付成功后，即可返回“航空工業電子采購平臺電子招投標專區 http://ebid.eavic.com/cms/index.htm”對應的項目下按流程下載招標文件；

招標文件發票領取方式：網上支付時申請領取電子發票或在北京市豐臺區西三環南路14號院首科大廈A座4層405號中技國際招標有限公司會議中心標書室現場領取紙質發票。領取發票聯系標書室，工作時間：上午9:00－11:00、下午2:00－4:00（周六、日及法定節假日除外）。聯系電話：010-81168281。

特別提示：提示1：每次購買標書申請系統生成的賬號不同，請按照系統生成的賬號進行付款，不要重復支付；

提示2：匯款金額必須與系統提示金額相同，否則將會被退回；

提示3：請在電匯時備注招標編號。

5. 投標文件的遞交

5.1 投標文件遞交截止時間：2024年12月30日上午09:00

5.2 投標文件遞交地點（線下）：陜西省西安市雁塔區高新區錦業一路16號亞丁灣羽安酒店三層會議室，具體見指示牌。

投標文件遞交地點（線上）：航空工業電子采購平臺電子招投標專區。

5.3 逾期送達的、未送達指定地點的或者不按照招標文件要求密封的投標文件，招標人將予以拒收。逾期送達的投標文件，電子招標投標交易平臺將予以拒收。

特別說明：除遞交紙質投標文件外，本項目必須同時使用航空工業電子采購平臺進行全流程電子招投標，招標文件購買、線上投標、開標、評標以及公示等工作均同時在航空工業電子采購平臺電子招投標專區進行。請投標人及時在航空工業電子采購平臺購買CA數字認證證書，否則無法進行線上投標。具體請參看航空工業電子采購平臺電子招投標專區發布的相關指南，有關事項請與航空工業電子采購平臺招投標專區客服聯系（400 890 0880）。

6. 開標時間及地點

6.1 開標時間：同投標文件遞交截止時間。

6.2 開標地點：同投標文件遞交地點。

7.發布公告的媒介

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

8. 監督部門

本招標項目的監督部門為：紀檢審計法律部。

9. 聯系方式

招標人：中國航空工業集團公司西安航空計算技術研究所

地址：陜西省西安市雁塔區錦業二路15號

聯系人：劉磊

電話：029-81167166

郵箱：986071947@qq.com

招標代理機構：中技國際招標有限公司

地址：北京豐臺區西營街1號通用時代中心C座807室

聯系人：劉晉超、賈逸瑄、李嘉、吳羽

電話：010-81168575、18210616597

郵箱：liujinchao@cgci.gt.cn