RAM Commander provide tools to model system reliability and availability using Reliability Block Diagram (RBD), specifying different redundancy models (serial, parallel and K-out-of-N) and calculating reliability/availability and MTBCF:

Markov module allows system states and transition between states modeling with calculation of availability, reliability, downtime/uptime, performance etc:

Both RBD and Markov modules may use product tree data and reliability/maintainability analysis results.