基于确定性随机Petri网的AADL模型安全性评估方法

摘要

本发明提供了一种基于确定性随机Petri网的AADL模型安全性评估方法。首先，构建层次化结构的AADL架构模型；然后，制定新的模型转换方法，将AADL安全性模型转换为DSPN模型，其中，为AADL安全性模型增加了新的语义，包括复合构件中可操作状态分别与失效状态和危险之间的关系，以及恢复事件和修复事件与错误检测之间的关系，新的模型转换方法简化了构件之间错误传播的转换方法和危险行为的转换方法，使安全性模型转换为状态数量更少的DSPN模型，用于计算危险发生的概率；最后，结合危险的严酷度等级计算危险发生的风险，做安全性评估。