We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
FAULT LOCATION USING SATISFIABILITY IN COMPLEX SYSTEMS.
- Authors
SHAOBIN HUANG; YA LI; YANMEI LI; DAPENG LANG; RONGHUA CHI
- Abstract
The counterexample returned by the model checker of a complex system is difficult to understand, and therefore it takes a lot of time/human effort to localize the fault. An important method of fault location in complex system is getting the cause of the error by comparing the counterexample and witness. This paper deals with the improvement of models for fault location in complex systems Referring to the idea of Bounded Model Checking (BMC), model and specification are reduced to a propositional satisfiability problem, then converted to conjunctive normal form and can therefore be solved by reduced to satisfiability problem. The counterexample is utilized to reduce the number of calls, make the instance easier. So, it speeds up the process of obtaining a witness, which is close to the counterexample. The experimental results demonstrate that the method can generate the nearest witness rapidly and accurately.
- Publication
Journal of the Balkan Tribological Association, 2016, Vol 22, Issue 3-I, p2426
- ISSN
1310-4772
- Publication type
Academic Journal