System availability and operation support modeling