嵌入式軟體的可信屬性分析與驗證

《嵌入式軟體的可信屬性分析與驗證》是依託電子科技大學,由羅蕾擔任醒目負責人的重大研究計畫。

基本介紹

• 中文名：嵌入式軟體的可信屬性分析與驗證
• 依託單位：電子科技大學
• 項目類別：重大研究計畫
• 項目負責人：羅蕾
• 批准號：90718019
• 申請代碼：F0203
• 負責人職稱：教授
• 研究期限：2008-01-01 至 2010-12-01
• 支持經費：50（萬元）

項目摘要

隨著人們對軟體的套用需求越來越多，複雜度越來越高，但是軟體很多時候不以人們所期望的方式工作，發生各種故障和失效，由此人們對軟體可信性問題開始了專門的研究。本課題針對一個具體的嵌入式實時軟體套用領域，探究其可信屬性集並量化表示，然後研究基於該可信屬性集基礎上的保證可信性的設計手段和驗證方法，最後在航空電子系統領域得到套用驗證。