基于AADL的IoP系统可靠性评估方法

摘要：

人联网(IoP)系统的架构复杂且存在海量、实时变化的数据,使得基于IoP系统的可靠性分析变得十分困难,目前仍缺乏一种健全的基于IoP系统的可靠性建模及评估方法.提出一种新型的IoP系统可靠性评估方法,利用AADL及其附件语言对IoP系统进行可靠性建模,并基于该模型从定性角度评估系统故障的根本原因和风险.此外,结合Ocarina模型转换技术提出一种基于连续时间马尔科夫链(CTMC)的定量评估算法,将AADL可靠性模型转换为CTMC模型,实现对系统动态、实时等特性的评估.在此基础上,设计一个IoP系统通用模型,并以此为案例验证所提方法的可行性.实验结果表明,该方法不仅能对IoP系统建模,而且能自动、准确地对其进行可靠性分析,具有良好的应用价值.

关键词：人联网;架构分析与设计语言;可靠性建模及分析;连续时间马尔科夫链;Ocarina模型转换

所属期刊栏目：48

分类号：TP391(计算技术、计算机技术)

资助基金：甘肃省教育厅青年博士基金;甘肃省教育厅产业支撑计划项目;西北师范大学青年教师科研能力提升计划项目;宁夏重点研究与发展计划项目;宁夏自然科学基金;北方民族大学研究生创新项目

在线出版日期：2022-01-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：204-213