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.