一种嵌入式系统可靠性分析与评估方法

摘要

本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochastic Petri Net，GSPN)可靠性模型，利用现有的GSPN可靠性评估方法，对AADL可靠性模型进行量化分析。本发明方便软件架构可靠性分析自动化，方便用户在软件设计的早期对嵌入式软件的可靠性进行分析评估，在架构级别对软件的可靠性进行评估，如果模型架构不能满足要求，那么就可以提前修改软件架构，这样不仅可以节约开发成本，而且可以缩短开发周期。