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

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

IoP System Dependability Evaluation Method Based on AADL

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.