Tillförlitlighetsmodellering (RBD, felträd, Markov) kvantifierar tillgänglighet och förväntad energitillgänglighet utifrån komponentdata.