| 摘要 |
The invention provides a system and a method for verifying the robustness of a model of a physical system, the method comprising the following steps: defining a first model (10) of the physical system comprising a set (12) of components (12a, 12b, 12c) and at least one input interface (14) for inserting input values, said first model being defined in a formal language describing the behavior and the function of each of said components; defining in the formal language a determined property that must be satisfied by the model of the physical system; defining in the formal language a second model (20) corresponding to the first model and enriched by a fault injection mechanism (22); and using formal proof means to search automatically for a combination of injected faults and/or input values that causes said determined property to fail. |
