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