首页>
外国专利>
METHOD FOR CHECKING ROBUSTNESS OF MODEL OF PHYSICAL SYSTEM
METHOD FOR CHECKING ROBUSTNESS OF MODEL OF PHYSICAL SYSTEM
展开▼
机译:物理系统模型鲁棒性的检测方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
PROBLEM TO BE SOLVED: To propose a method for verifying the robustness of a model of a physical system in case of facing a failure.;SOLUTION: The method comprises steps of defining a first model 10 of the physical system comprising one set 12 of components 12a, 12b and 12c and at least one input interface 14 for inserting input values, the first model being defined in a formal language describing the behavior and function of each of the components; defining in the formal language a determined attribute 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 enhanced by a fault input mechanism; and using formal testing means to automatically search for a combination of inputted faults and/or input values that causes the determined attribute to be failed.;COPYRIGHT: (C)2006,JPO&NCIPI
展开▼