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

作     者：施小东 勉治宝 高亚晴 SHI Xiaodong;MIAN Zhibao;GAO Yaqing

作者机构：北方民族大学计算机科学与工程学院银川750021 西北师范大学计算机科学与工程学院兰州730070 

基　　金：甘肃省教育厅青年博士基金(2021QB-022) 甘肃省教育厅产业支撑计划项目(2021CYZC-06) 西北师范大学2020年青年教师科研能力提升计划项目(NWNU-LKQN2020-15) 宁夏重点研究与发展计划项目(2018BEE03019) 宁夏自然科学基金(2019AAC03120) 北方民族大学研究生创新项目(YCX20067) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2022年第48卷第1期

页      码：204-213页

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

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

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.19678/j.issn.1000-3428.0059738

馆 藏 号：203107091...