我们提出了一种基于有限状态机和层次系统状态的分析模型,在此基础上通过一个分析实例来对生存性的计算过程进行演示。其中包含系统定义、系统生存性测试和生存性计算三个步骤。该实例计算显示基于FSM模型的量化分析方法具有很好的实际可行性。