一种针对AutoSAR架构的可靠性形式化预测方法

本发明提供一种针对AutoSAR架构的可靠性形式化预测方法，涉及汽车电子系统技术领域，所述方法通过使用AutoSAR架构模型分析汽车系统控制流，对所述AutoSAR架构模型进行扩展以增加对所述汽车系统的故障描述，然后将拓展后的AutoSAR架构模型转为基于离散时间马尔科夫链的形式化模型，从而对AutoSAR架构模型进行架构层次的可靠性预测流程，从而实现了对AutoSAR架构模型进行自动化的可靠性预测。