一种基于多维属性的CPS软件可信性评估方法

Trustworthiness Evaluation Method for CPS Software Based on Multi-attributes

信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的问题,而可信评估可为软件质量的控制和管理提供有力依据。提出了一种基于多维属性的CPS软件可信性评估方法。首先提出一种基于多维属性的可信指标系统,在此基础上提出一种具有时效性的可信属性评价方法,用以评价CPS软件的可信性;然后,设计可信性结果决策规则集,根据软件间的交互结构,计算出软件系统的可信性,并根据决策规则集评价软件系统可信性;最后通过一个实例进一步说明了所提方法的有效性。

Cyber-Physical System（CPS）is a kind of new system by combining physical world with computation. There are many kinds of software in Cyber-physieal System,and each of them is running dynamically. It＇s hard to ensure the properties such as correctness, safety, reliability with the dynamical environment. And trustworthiness evaluation can provide evidence for software quality management. So we proposed a method for CPS softwar＆s trustworthiness evalua- tion based on multi-attri-butes. Firstly,we proposed a trustworthiness evaluation indicator system based on multi-attri- butes, secondly brought forward a method for software trustworthiness evaluation by considering the aging of trustwor- thiness evidences. After that, a set of decision rules was designed to explain the evaluation result. Then based on the in- teraction logic of software, the trustworthiness level of CPS software system was evaluated. At last, an example was used to explain the effectiveness of the framework.