作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2022, Vol. 48 ›› Issue (1): 204-213. doi: 10.19678/j.issn.1000-3428.0059738

• 移动互联与通信技术 • 上一篇    下一篇

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

施小东1, 勉治宝2, 高亚晴1   

  1. 1. 北方民族大学 计算机科学与工程学院, 银川 750021;
    2. 西北师范大学 计算机科学与工程学院, 兰州 730070
  • 收稿日期:2020-10-16 修回日期:2021-01-03 发布日期:2021-01-08
  • 作者简介:施小东(1995-),男,硕士研究生,主研方向为复杂系统的可靠性分析;勉治宝,副教授、博士;高亚晴,硕士研究生。
  • 基金资助:
    甘肃省教育厅青年博士基金(2021QB-022);甘肃省教育厅产业支撑计划项目(2021CYZC-06);西北师范大学2020年青年教师科研能力提升计划项目(NWNU-LKQN2020-15);宁夏重点研究与发展计划项目(2018BEE03019);宁夏自然科学基金(2019AAC03120);北方民族大学研究生创新项目(YCX20067)。

IoP System Dependability Evaluation Method Based on AADL

SHI Xiaodong1, MIAN Zhibao2, GAO Yaqing1   

  1. 1. College of Computer Science and Engineering, North Minzu University, Yinchuan 750021, China;
    2. College of Computer Science and Engineering, Northwest Normal University, Lanzhou 730070, China
  • Received:2020-10-16 Revised:2021-01-03 Published:2021-01-08

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

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

Abstract: The Internet of People(IoP) is characterized by the complex architecture and massive changing data, which adds to the difficulty of the analysis on IoP-based system dependability.Currently, there is still no robust dependability modelling and analysis method for IoP systems.This paper proposes an Architecture Analysis and Design Language (AADL)-based dependability evaluation method for IoP systems.By using AADL and its annex language, the dependability of IoP systems is modeled to support the qualitative analysis on the causes of system failures and risks. Furthermore, by combining the Ocarina model transformation technology, a quantitative evaluation algorithm based on the Continuous-Time Markov Chain(CTMC) is proposed.The algorithm transforms the AADL dependability model to the CTMC model, so that the dynamic and real-time attributes of IoP systems can be evaluated quantitatively.On this basis, a general IoP system model is designed to demonstrate the feasibility of the proposed method.The experimental results show that the proposed method can be used to model the IoP systems, and perform dependability analysis automatically and accurately, displaying a high application value.

Key words: Internet of People(IoP), Architecture Analysis and Design Language(AADL), dependability modelling and analysis, Continuous-Time Markov Chain (CTMC), Ocarina model transformation

中图分类号: