一种面向CPS软件的可信性评估框架
邵玉珍1
张侃1
张广泉2
陈名才1
沈晓刚3
李烨静1
1.苏州大学计算机科学与技术学院 苏州 2150062.苏州大学计算机科学与技术学院 苏州 215006;中国科学院计算机科学国家重点实验室 北京 1001903.苏州大学司法鉴定所 苏州 215006
摘要：信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础.针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型.可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性.最后给出的实例分析,说明了提出框架的有效性.
关键词：CPS软件可信性评估可信性指标模型可信性评估模型
分类号：TP311(计算技术、计算机技术)
资助基金：江苏省自然科学基金(BK2011281)江苏省普通高等学校研究生科研创新计划(CXLX12_0809)国家级大学生创新创业训练计划项目(2012yb010)苏州大学学生科研基金(KY2012383B,KY2012402B,KY2012404B)
论文发表日期：2012-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 51-54 )
英文信息