概率模型检测论文

论文摘要为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元...

论文摘要为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研究方法。生成移动应用程序的回调序列概率模型,将该...

论文摘要模型检测是一种有效的自动化验证技术,已成功应用于安全和通讯协议、随机分布式算法、生物系统和电源管理等领域对系统进行分析与验证。作为一种形式化验证技术,模型检测能够对系统...

论文摘要伴随嵌入式系统在航空、航天、核工业等安全关键领域被广泛应用,其规模和复杂度在不断增加,如何保证安全关键嵌入式系统的可靠性和安全性已经成为当前学术界和工业界的研究重点。一...

论文摘要随着航空发动机技术的不断发展,对其性能要求不断提高,使得航空发动机的安全性和可靠性变得愈发重要。然而,当前针对航空发动机的可靠性分析方法较少考虑系统失效时的动态特性,面...