國家可信嵌入式軟件工程技術研究中心

國家可信嵌入式軟件工程技術研究中心（簡稱“國家工程中心”）於2013年經國家科技部批准建立，是國內第一個以可信和嵌入式為關鍵技術的國家級工程研究中心 ^[1]  。

依託於中國電子科技集團公司第三十二研究所的嵌入式基礎軟件產品體系以及華東師範大學可信計算技術，實施面向安全關鍵系統的嵌入式軟件可信設計、產品實現、解決方案研製與工程技術服務 ^[2]  。

由中國科學院院士、華東師範大學終身教授何積豐擔任中心首席科學家、中國電子科技集團公司第三十二研究所所長遊小明擔任中心主任。

行業標準及規範制定：針對可信嵌入式系統的特點，開發具有完備描述能力和抽象能力的可信嵌入式軟件的設計、開發、集成與驗證行業標準及規範體系；

共性技術攻關：針對可信嵌入式的特點，研製嵌入式操作系統、通信協議、數據存儲、運行監控管理及開發環境的可信設計、開發、集成與驗證相關技術；

體系化產品研製：研製和產品化系列可信嵌入式實時操作系統、可信通信協議棧和可信支撐工具：嵌入式系統建模工具、代碼測試用例自動生成工具和軟件可信度量評估工具；

行業解決方案研發與應用：“國家工程中心”將與中國一汽、航天五院、中船重工、上海電氣、中國電信、中國電科等企業及研究所進行緊密合作，形成行業解決方案，並進行成果的應用輻射。主要應用領域有：

（1）軌道交通運控系統

（2）汽車電子與新能源汽車領域

（3）核電控制及工業自動化控制系統

（4）航天控制系統

（5）軍事電子裝備

開放服務提供：服務領域和內容包括技術轉讓與推廣、技術諮詢、產品測試與認證、人才培訓與資格認證、企業資質認證等 ^[3]  。

目前，國家工程中心擁有獨立的科研和辦公用地2500多平方米，近年來已投入了大量資金，用於為各實驗室、研發中心與辦公室添置服務器、計算機、各類儀器設備、實驗設備及仿真器材與軟件工具等，各項設施設備已具備了研發服務、工程保障等基礎能力。已經形成了嵌入式軟件設計、調試、測試、驗證等閉環的科研環境，具備良好的研發條件基礎。