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

作者：张广泉; 张侃; 祝义; 周航

来源：电子学报, 2013, (11): 2270-2275.

• 信息物理融合系统
• 软件可信性评估
• 可信性指标模型
• 能耗建模 (CPS)cyber physical systems
• software trustworthiness evaluation
• trustworthiness indicator model
• energy consumption modeling

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

• 单位
  计算机科学国家重点实验室; 南京航空航天大学; 中国科学院软件研究所; 江苏师范大学; 苏州大学; 计算机软件新技术国家重点实验室; 南京大学