[发明专利]一种基于随机时间Petri网的系统安全性分析方法

摘要

本发明涉及一种基于随机时间Petri网的系统安全性分析方法，用于在安全攸关系统设计期间通过系统安全性需求分析，建立系统的sTPN模型，基于时序逻辑CSL公式将安全性度量指标转化为形式化的表达，最后计算稳定状态安全度和基于路径的安全性指标从而评估系统的安全性。该方法所能描述的系统可以包含实施时延的概率密度函数是e的多项式形式的变迁，并且提出了基于路径的安全性指标这一现有安全性研究未涉及的指标。本发明能够在系统设计期间自动化地计算稳定状态安全度和基于路径的安全性指标，准确有效地评估系统的安全性。

主权项

一种基于随机时间Petri网的系统安全性分析方法，其特征在于实现步骤如下：首先建立待评估系统的随机时间Petri网模型，通过时序逻辑CSL公式将安全性度量指标转化为形式化的表达，最后在Petri网模型的基础上，结合CSL公式计算稳定状态安全度和基于路径的安全性指标从而评估系统的安全性；所述稳定状态安全度是指待评估系统长时间运行到达稳定状态时处于安全状态的概率，它反映了系统的可用性；基于路径的安全性指标描述了系统在一定时间范围内第一次到达不安全状态的情况。