系统可靠性的简单度量是平均故障间隔时间（MTBF），其计算公式是 （） ；软件可用性是指在某个给定时间点上程序能够按照需求执行的概率，其定义为 （） 。（MTTF：Mean Time To Failure；MTTR：Mean Time To Repair）