《複雜嵌入式系統中的軟體構造技術研究》是依託湖南大學，由李仁發擔任項目負責人的面上項目。
基本介紹
- 中文名：複雜嵌入式系統中的軟體構造技術研究
- 項目類別：面上項目
- 項目負責人：李仁發
- 依託單位：湖南大學
- 負責人職稱：教授
- 批准號：60873074
- 研究期限：2009-01-01 至 2011-12-31
- 申請代碼：F0201
- 支持經費：31（萬元）
中文摘要
太空飛行器中人機互動系統是一個複雜的嵌入式計算系統。由於引入虛擬儀器、增強虛擬現實、可重構計算及虛擬計算等新技術的原因，其軟體的設計也變得非常複雜。本項目針對太空飛行器中人機互動系統中的軟體設計，研究這種複雜嵌入式軟體的構造技術，包括基於領域知識的需求分析方法和以可信性需求為代表的非功能性需求的形式化描述和規約方法；基於構件和領域模型驅動的嵌入式軟體構造技術，嵌入式軟體的建模、構造方法與代碼生成等模型驅動開發技術，以硬體仿真平台和構件互動驗證技術為基礎的軟體協同驗證技術等；最後結合實證方法，與傳統軟體構造技術就生成軟體的質量進行對比、度量和評估，對綜合協同驗證技術和模型驅動方法的軟體構造技術的效能進行全面驗證，最終將研究中形成的理論和方法用於太空飛行器中某互動裝置的軟體設計。
