检查物理系统模型的鲁棒性技术方案

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

【技术实现步骤摘要】

【技术保护点】
一种验证物理系统之模型的鲁棒性的方法，该方法的特征在于：它包括以下的步骤：定义物理系统的第一模型（１０），该第一模型（１０）包括一组（１２）部件（１２ａ、１２ｂ、１２ｃ）和至少一个用于插入输入值的输入接口（１４），所述第一模型利用描述每个所述部件之工况和功能的形式语言定义；利用形式语言定义一个物理系统的模型必须满足的确定的特性；利用形式语言定义第二模型，该第二模型对应于第一模型并且新增了故障引入机制（２２）；以及使用形式检验装置自动搜索引起所述确定的特性失效的引入故障和／或输入值的组合。

【技术特征摘要】
...

【专利技术属性】
技术研发人员：于格格拉涅尔，克里斯蒂安布勒甘特，菲利普托内利耶，马克克鲁瓦马里，
申请(专利权)人：伊斯帕诺叙扎公司，
类型：发明
国别省市：FR[法国]