項目內容：利用自身在工程機械、電子醫療設備等嵌入式系統研發領域的多年積累和參與國家863可信軟件生產線課題所獲得的研發經驗，湖南大學可信系統與網絡重點實驗室合作組織精干的技術團隊研發了“面向領域的可信嵌入式軟件開發環境”。該開發環境運用軟件生產線思想，采用構件化的軟件開發方法和覆蓋嵌入式軟件開發全過程的可信保障機制，創新嵌入式軟件開發過程，可以大幅度的提高嵌入式軟件開發效率和嵌入式產品的可靠性。     主要技術指標： 1、覆蓋嵌入式軟件開發全過程的軟件工具支撐；2、構件化的嵌入式軟件開發，高度復用；3、覆蓋嵌入式軟件開發全過程的可信保障控制。