Availability modeling and analysis on high performance cluster computing systems | Synapse