一种面向CPS软件的可信性评估框架  

A Trustworthiness Evaluation Framework for CPS Software

作　　者：邵玉珍[1] 张侃[1] 张广泉[1,2] 陈名才[1] 沈晓刚[3] 李烨静[1] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]中国科学院计算机科学国家重点实验室,北京100190 [3]苏州大学司法鉴定所,苏州215006

出　　处：《计算机与数字工程》2012年第10期51-54,共4页Computer & Digital Engineering

基　　金：江苏省自然科学基金(BK2011281);江苏省普通高校研究生科研创新计划(CXLX12_0809);江苏省大学生创新训练计划(2012yb010);苏州大学学生科研基金(KY2012383B;KY2012402B;KY2012404B)资助

摘　　要：信息物理融合系统(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.

关 键 词：CPS 软件可信性评估 可信性指标模型 可信性评估模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]