![Information Techologies for Security](https://it4sec.org/sites/default/files/it4sec_banner_0.png)
This paper presents the development of the MFMC-based methodology and technique for modelling and quantitative availability assessment of critical IT-infrastructure consisting of maintained and partially unmanned systems. It takes into consideration a variation of system and component parameters and, in particular, variation of failure rates caused by detection and elimination of design faults.