本發(fā)明提供用于一種檢驗物理系統(tǒng)模型的魯棒性的系統(tǒng)和方法,該方法包括下列步驟:定義一個物理系統(tǒng)的第一模型(10),該第一模型(10)包括一組(12)部件(12a、12b、12c)和至少一個用于插入輸入值的輸入接口(14),該第一模型利用描述每個所述部件之工況和功能形式語言定義;用形式語言定義確定的特性,該物理系統(tǒng)的模型必須滿足該確定的特性;用形式語言定義了一個第二模型(20),該第二模型(20)對應(yīng)于第一模型并且新增了故障引入機制(22);以及使用形式檢驗裝置自動搜索引起所述確定的特性失效的引入故障和/或輸入值的組合。
聲明:
“檢查物理系統(tǒng)模型的魯棒性” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)