检查物理系统模型的鲁棒性

摘要

本发明提供用于一种检验物理系统模型的鲁棒性的系统和方法，该方法包括下列步骤：定义一个物理系统的第一模型(10)，该第一模型(10)包括一组(12)部件(12a、12b、12c)和至少一个用于插入输入值的输入接口(14)，该第一模型利用描述每个所述部件之工况和功能形式语言定义；用形式语言定义确定的特性，该物理系统的模型必须满足该确定的特性；用形式语言定义了一个第二模型(20)，该第二模型(20)对应于第一模型并且新增了故障引入机制(22)；以及使用形式检验装置自动搜索引起所述确定的特性失效的引入故障和/或输入值的组合。