[發明專利]用于驗證對技術系統的仿真的方法和設備

在審

• 申請號: 202010722784.4
• 申請日: 2020-07-24
• 公開（公告）號: CN112286788A
• 公開（公告）日: 2021-01-29
• 發明（設計）人: S.羅德
• 申請（專利權）人: 羅伯特·博世有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 張濤;劉春元

1.一種用于驗證對技術系統的仿真（10）的方法（20），其特征在于以下特征：

對于在所述系統上獲得的測量序列（30）與所述仿真（10）的對應于所述測量序列（30）的結果（40）的組合，分別計算（21）預給定的驗證度量（ε），以及

基于所計算的驗證度量（ε）對所述仿真（10）進行驗證（22）。

2.根據權利要求1所述的方法（20），

其特征在于以下特征：

所述系統是嵌入式系統，以及

借助于所述仿真（10）檢查所述系統的功能可靠性。

3.根據權利要求1或2所述的方法（20），

其特征在于以下特征之一：

所述系統被設計為自主地控制車輛，或

所述系統被設計為控制制造過程。

4.根據權利要求1至3中任一項所述的方法（20），

其特征在于以下特征的至少之一：

將所述驗證度量（ε）表示為信任區間（60），或

將所述驗證度量（ε）表示為累積分布函數（70）。

5.根據權利要求1至4中任一項所述的方法（20），

其特征在于以下特征之一：

各自的驗證度量（ε）是與平均值的平方偏差，或

各自的驗證度量（ε）對應于ISO/TS 18571：2014。

6.根據權利要求1至5中任一項所述的方法（20），

其特征在于以下特征：

為了驗證（22）所述仿真（10），將所述驗證度量（ε）與預給定的閾值（）進行比較。

7.根據權利要求6所述的方法（20），

其特征在于以下特征：

所述比較是自動進行的，以及

根據所述比較，按照情況識別出錯誤或輸出警告。

8.一種計算機程序，其被設計為執行根據權利要求1至7中任一項所述的方法（20）。

9.一種機器可讀存儲介質，其上存儲有根據權利要求8所述的計算機程序。

10.一種設備（80），其被設計為執行根據權利要求1至7中任一項所述的方法（20）。