信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型.可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性.最后给出的实例分析,说明了提出框架的有效性.%Cyber—Physical System is a new kind of networked embedded system. There are many different embedded software in Cyber — physical System. And they interact with each other by network. How to ensure the trustworthiness of software and their interaction is the base of trustworthiness CPS. Against this problem, we propose a trustworthiness evaluation framework for CPS software is proposed. This framework contains two models- trustworthiness indicator model and trustworthiness evaluation model. Trustworthiness indicator model is constructed by analyzing requirement. And trustworthiness evaluation model evaluate the trustworthiness of software and their interaction by trustworthiness indicator model. At Last, an example is used to explain the effectiveness of the framework.
展开▼
