首页>
外国专利>
Checking the robustness of a model of a physical system
Checking the robustness of a model of a physical system
展开▼
机译:检查物理系统模型的健壮性
展开▼
页面导航
摘要
著录项
相似文献
摘要
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 of the physical system comprising a set of components and at least one input interface 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 corresponding to the first model and enriched by a fault injection mechanism; 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.
展开▼