SMS dit: Stochastic reliability modeling, optimization and applications