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

• 作者: 周航 张侃 张广泉 祝义
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 信息物理融合系统 软件可信性评估 可信性指标模型 能耗建模
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 学术论文
• 页码范围: 2270-2275
• 页数: 6页
• 分类号: TP311
• 字数: 4628字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.11.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张侃	苏州大学计算机科学与技术学院	134	1339	20.0	29.0
3	周航	南京航空航天大学民航学院	34	186	8.0	11.0
4	张广泉	苏州大学计算机科学与技术学院	147	1056	16.0	25.0
6	祝义	江苏师范大学计算机科学与技术学院	16	35	3.0	5.0