An analysis model based on finite state machine and hierarchical system state is presented, based on which a case study is introduced to demonstrate the process of survivability computation.

• 摘要 我们提出了一种基于有限状态机和层次系统状态的分析模型，在此基础上通过一个分析实例来对生存性的计算过程进行演示。