计算机工程

作者：施小东, 勉治宝, 高亚晴

单位：1. 北方民族大学 计算机科学与工程学院, 银川 750021;2. 西北师范大学 计算机科学与工程学院, 兰州 730070

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

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

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

来源：2022年第1期

《计算机工程》期刊编辑部

查看计算机工程杂志2022年第1期