对于传统系统，实时系统的安全性和可靠性的分析缺乏类似的定量评价方法。故障树分析是已被广泛应用于许多行业的系统可靠性分析方法，然而，由于它的语义表达能力有限，因此不能够在实时系统中进行与复杂顺序依赖和时间约束有关的可靠性分析。文章将故障树的语义进行延伸，使复杂顺序依赖和时间约束可以够被故障树所表示，并使故障树分析方法应用到实时系统中。 但是，故障树的最小割集的不能由传统方法求解在延伸语义之后。针对此问题，文章采用时间自动机对实时系统的故障树进行建模，并在其基础上使用模型检验的方法求解最小割集。验证表明，扩展故障树模型后，模型检验得出时间自动机的最小割集可以适用于实时系统的安全性和可靠性分析。 ...The analysis of the safety and reliability for real-time systems lacks quantitative evaluation methods, which commonly work for traditional systems. The Fault Tree Analysis, a reliability analysis method that has been widely applied to many industry systems, is not considered applicable to reliability analysis for real-time systems, due to its limited expressive capability which is unable to descr...学位：工程硕士院系专业：软件学院_工程硕士(软件工程)学号：X201223105
