10.3969/j.issn.0372-2112.2013.11.025
基于体系结构能耗建模的CPS软件可信性评估方法
信息物理融合系统（Cyber Physical Systems ，CPS ）是一种计算系统和物理环境紧密结合的网络化嵌入式系统，软件作为其重要的使能部件，如果在其设计阶段能够考虑能耗影响等问题，则能有效提高软件及系统的可信性。软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导，对CPS软件体系结构能耗进行建模，分析和评估能耗对CPS软件可信性的影响，可以在设计阶段发现其体系结构能耗设计缺陷，并重新设计软件体系结构，从而有效提高CPS软件可信性。基于此，首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型，并分析了影响CPS软件可信性的能耗问题；针对这些问题，将分析得到的能耗数据作为建立可信性指标模型的基础，提出了基于能耗指标模型的CPS可信性评估方法；最后通过实例建模和分析，进一步说明该方法的有效性。
信息物理融合系统、软件可信性评估、可信性指标模型、能耗建模
TP311(计算技术、计算机技术)
国家自然科学基金No ．61100074，No ．61262002；江苏省自然科学基金No ．BK2011281；苏州市应用基础研究计划．SYG201241
2013-12-10（万方平台首次上网日期，不代表论文的发表时间）
共6页
2270-2275
