中文会议： 第十一届全国软件与应用学术会议(NASAC2012)论文集

会议日期： 2012-10-20

会议地点： 南京

主办单位： 中国计算机学会

作　　者： ; ; (张茗泰）; (陈名才）;

机构地区： 苏州大学计算机科学与技术学院

出　　处： 《第十一届全国软件与应用学术会议(NASAC2012)》

摘　　要： 信息物理融合系统(CYBER PHYSICAL SYSTEMS,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS 软件的可信性,评估结果作为CPS 软件演化依据。这一过程的核心是可信性评估,可信性评估分为两个阶段：首先根据可信性指标模型,评估CPS 软件可信性；然后根据软件交互结构评估软件交互可信性；最后通过一个实例说明了提出方法的有效性。

关 键 词： 能耗 可信性指标模型 软件可信性评估 软件可信管理

领　　域： [文化科学]