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

申请/专利权人：南京航空航天大学

摘要：本发明公开了一种总线抗SEU的可靠性建模与评估方法，包括以下步骤：面向总线设计，提取嵌入式硬件系统中关联的可靠性信息，基于Z语言，以总线功能模块为单位建立可靠性模型ZRM‑BUS；以连续时间马尔可夫链为基础描述ZRM‑BUS模型，计算总线各功能模块的瞬时可用度，评估总线各功能模块可靠性；根据总线的部件和功能模块整体可靠性之间的关系，在所有总线功能模块的瞬时可用度的基础上，计算总线整体的可靠性概率分布，对总线整体进行可靠性评估；以总线整体的可靠性概率分布为基础，进行总线可靠性关键功能模块的识别。本发明具有可将总线分层次表示，对模型检测方法与可靠性可进行严格地分析与评估等优点。

主权项：1.一种总线抗SEU的可靠性建模与评估方法，其特征在于，所述方法包括以下步骤：步骤1，提取太空辐射恶劣环境下硬件总线设计中的可靠性相关信息，在Z语言的基础上采用分级建模的方式，以总线功能模块为单位，自下而上地为总线建立可靠性模型ZRM-BUS，包括总线功能模块可靠性模型和总线系统整体可靠性模型；其中总线系统整体包括若干个总线功能模块；所述总线功能模块可靠性模型包括数据总线集合DB、地址总线集合AB、控制总线集合CB和扩展总线集合EB的错误率，分别用λDB、λAB、λCB和λEB表示，每种总线集合在不同的嵌入式系统中对总线整体可靠性的影响不同，引入重要性权重ω；所述的总线功能模块可靠性模型表示为一个三元组：ZHRMBFM＝FRatebus,Statebus,STRbus式中，ZHRMBFM为基于Z语言的嵌入式硬件可靠模型；FRatebus表示总线功能模块BFM的错误率；Statebus表示BFM的状态空间；STRbus表示状态转移关系；所述总线功能模块BFM的错误率λBFM为： 式中，ωi为λi对应的重要性权重；步骤2，根据连续时间马尔可夫链CTMCBUS计算各个总线功能模块的瞬时可用度，对总线功能模块可靠性进行评估；步骤3，将总线系统状态随时间的演化过程刻画为一个马尔可夫链，基于所述瞬时可用度，计算总线系统整体的可靠性概率分布，对总线系统整体进行可靠性评估；其中，所有总线功能模块的正常或者失效的状态构成了总线系统整体的状态空间SBUS；步骤4，在总线系统整体可靠性评估的基础上识别出可靠性关键总线功能模块。

全文数据：

权利要求：

百度查询： 南京航空航天大学 一种总线抗SEU的可靠性建模与评估方法