首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

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

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:北京航空航天大学

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

主权项:1.一种针对AutoSAR架构的可靠性形式化预测方法,其特征在于,所述方法包括:解析arxml文件,所述arxml文件包括对AutoSAR架构的描述信息,通过解析所述arxml文件获得AutoSAR架构模型,所述AutoSAR架构模型用于描述汽车系统的软件架构;对所述AutoSAR架构模型进行扩展以增加对所述汽车系统的故障描述,扩展的所述故障描述包括故障行为、软件故障概率、硬件MTTF数据、硬件MTTR数据和参数依赖;基于定义的转换规则和映射模板,将扩展完成的所述AutoSAR架构模型转换为基于马尔科夫链的形式化模型;对所述形式化模型中的马尔科夫链在不同使用场景下分别进行可靠性计算,获得所述形式化模型的可靠性计算结果;根据所述可靠性计算结果生成所述AutoSAR架构模型的修改意见并对所述AutoSAR架构模型进行调整。

全文数据:

权利要求:

百度查询: 北京航空航天大学 一种针对AutoSAR架构的可靠性形式化预测方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。