论文部分内容阅读
容灾是一种在灾难发生时，能够保证数据尽量少的丢失，系统能够不间断地运行，或者尽量快地恢复正常运行。我们提出了采用随机Petri网来建模和定量分析容灾系统的安全性，通过构建一个通用的远程容灾系统模型，使用随机回报网SRN对该系统模型进行建模，描述了SRN模型中的各个位置、变迁的含义以及对整个系统的抽象刻画。为了验证我们的方法，我们使用随机Petri网软件包SPNP进行了仿真，通过仿真实验对容灾系统可用性进行了定量分析，实验结果分析对于增强容灾系统的可用性方面是非常有用的。