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

摘要：

信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型.可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性.最后给出的实例分析,说明了提出框架的有效性.

关键词： 信息物理融合系统软件 可信性评估 度量模型 交互作用

作者: 邵玉珍 张侃 张广泉 陈名才 沈晓刚 李烨静

作者单位: 苏州大学计算机科学与技术学院 苏州 215006 苏州大学计算机科学与技术学院 苏州 215006;中国科学院计算机科学国家重点实验室 北京 100190 苏州大学司法鉴定所 苏州 215006

会议类型: 国内会议

会议名称: 第五届江苏计算机大会

会议地点: 江苏淮安

会议语种:中文

页码: 51-54

在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）