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

2. 項目概況與招標范圍

2.1 招標編號：0701

2.2 項目名稱：機載操作系統建模仿真環境

2.3 數量：壹套

2.4 技術規格：

基于模型的高安全、高完整性操作系統開發流程需要在需求、設計階段開展行為級和功能級的全模態仿真確認，因此需要建設仿真驗證環境以支持操作系統整合外部環境開展行為級、功能級的模型驗證，并輸出支持全模態驗證的操作系統需求和設計集合，包括基于典型模態需求集的模型聯合與生成工具、行為級模型仿真確認工具、自動化代碼生成工具、功能級模型仿真確認工具和仿真激勵器。包含硬件與軟件兩部分。

硬件部分具體包含：

1.功能級模型客戶端；

2.行為級模型客戶端；

3.激勵管理服務器；

4.硬件仿真服務器。

軟件部分具體包含：

1.機載典型模態需求集與應用環境模型生成工具；

2.操作系統仿真硬件平臺；

3.操作系統行為級模型仿真確認工具；

4.操作系統功能級模型仿真確認工具；

5.操作系統行為和功能模型數字仿真激勵器；

6.操作系統自動化代碼生成工具。

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

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

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

3. 投標人資格要求

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

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

3.3 信譽要求：未被“信用中國”網站列入失信被執行人名單。

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

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

4. 招標文件的獲取

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

本招標項目僅供正式會員查看，您的權限不能瀏覽詳細信息，請點擊注冊/登錄，聯系工作人員辦理入網升級。

聯系人：陳經理
電話：010-83551561
手機：13717815020 (歡迎撥打手機/微信同號)
郵箱：kefu@gdtzb.com
QQ：1571675411