The methods of estimating the software and hardware complexes (SHC) availability based on the structural-logic, which were developed during the project TEMPUS-SAFEGUARD (158886 - TEMPUS- 1-2009 -1 -UK-TEMPUS-JPCR) are discussed. The technique for SHC availability and safety estimation the using a multi-fragmental Markov’s models taking into consideration the changes in failure rate caused by design defects and vulnerabilities is described. Model of SHC availability in conditions of the failure rate increasing is researched. MATLAB-programs for SHC availability and safety estimation are developed.
availability, software and hardware failures, Markov's models, tool-based estimation, MATHLAB