Availability modelling and assurance for a big data computing. (18th February 2019)