Title :
Using causal reasoning to validate stochastic models
Author :
Chandra, Arun ; Wu, C.-L. ; Abraham, J.A.
Author_Institution :
IBM Corp., Austin, TX, USA
Abstract :
An important problem of validating stochastic models is addressed. Validating stochastic models is necessary for modeling high-performance and highly dependable computers accurately. This paper develops a model validation methodology using causal reasoning. More specifically, this technique uses the structural and behavioral knowledge derived from the system specification and a causal reasoning mechanism for validation purposes. The scope of this research is limited to the conceptual validation of Markov models. Conceptual validation, as opposed to empirical validation, does not require the use of data. The validation process primarily involves generating a reference object, translating the given model into a common format, and comparing the two objects to identify holes and inconsistencies. Event trees are used as the common format. The effectiveness of this methodology is tested by validating models of five example systems. For testing purposes, errors are introduced into the models of these systems
Keywords :
inference mechanisms; knowledge based systems; modelling; performance evaluation; stochastic processes; virtual machines; Markov models; behavioral knowledge; causal reasoning; common format; computer modelling; errors; event trees; high-performance computers; highly dependable computers; hole identification; inconsistencies; knowledge-based systems; model validation methodology; reference object; stochastic model validation; structural knowledge; system specification; Aerospace control; Aircraft; Application software; Artificial intelligence; Costs; Knowledge based systems; Mathematical model; Stochastic processes; System testing; Telecommunication computing;
Conference_Titel :
Artificial Intelligence for Applications, 1994., Proceedings of the Tenth Conference on
Conference_Location :
San Antonia, TX
Print_ISBN :
0-8186-5550-X
DOI :
10.1109/CAIA.1994.323652