This paper describes the process of metric-based models construction and the algorithm for software tools selection. The presented models and algorithm are applied for I&C systems availability assessment using Markov chains to increase the achieved results accuracy by eliminating the non-effective methods, and automatically checking that the requirements for result accuracy are tracked by selected method.
Markov chains, metrics, metric-based models, stiffness, fragmentedness, sparsity, decomposability, software
"Metryko-yntervalnыe modely y ynstrumentalnыe sredstva dlia otsenyvanyia hotovnosty ynformatsyonno-upravliaiushchykh system s yspolzovanyem markovskykh protsessov" ,
Information Processing Systems,