基于体系结构能耗建模的CPS软件可信性评估方法

作     者：张广泉 张侃 祝义 周航 ZHANG Guang-quan;ZHANG Kan;ZHU Yi;ZHOU Hang

作者机构：苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室江苏南京210093 中国科学院软件研究所计算机科学国家重点实验室北京100190 江苏师范大学计算机科学与技术学院江苏徐州221116 南京航空航天大学民航学院江苏南京210016 

基　　金：国家自然科学基金(No.61100074 No.61262002) 江苏省自然科学基金(No.BK2011281) 苏州市应用基础研究计划(No.SYG201241) 

出 版 物：《电子学报》 (Acta Electronica Sinica)

年 卷 期：2013年第41卷第11期

页      码：2270-2275页

摘      要：信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.

主 题 词：信息物理融合系统 软件可信性评估 可信性指标模型 能耗建模 

学科分类：0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.0372-2112.2013.11.025

馆 藏 号：203632848...