基于时间自动机的可生存性评估方法研究的中期报告

基于时间自动机的可生存性评估方法研究的中期报告1. 研究背景随着系统规模和复杂度的不断增加，可靠性评估逐渐成为了工业界和学术界关注的重点。在传统的可靠性评估方法中，基于随机过程的方法广泛应用于模拟系统