-
题名基于体系结构能耗建模的CPS软件可信性评估方法
被引量:6
- 1
-
-
作者
张广泉
张侃
祝义
周航
-
机构
苏州大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
中国科学院软件研究所计算机科学国家重点实验室
江苏师范大学计算机科学与技术学院
南京航空航天大学民航学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第11期2270-2275,共6页
-
基金
国家自然科学基金(No.61100074
No.61262002)
+1 种基金
江苏省自然科学基金(No.BK2011281)
苏州市应用基础研究计划(No.SYG201241)
-
文摘
信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.
-
关键词
信息物理融合系统
软件可信性评估
可信性指标模型
能耗建模
-
Keywords
(CPS) cyber physical systems
software trustworthiness evaluation
trustworthiness indicator model
energy con-sumption modeling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种面向CPS软件的可信性评估框架
- 2
-
-
作者
邵玉珍
张侃
张广泉
陈名才
沈晓刚
李烨静
-
机构
苏州大学计算机科学与技术学院
中国科学院计算机科学国家重点实验室
苏州大学司法鉴定所
-
出处
《计算机与数字工程》
2012年第10期51-54,共4页
-
基金
江苏省自然科学基金(BK2011281)
江苏省普通高校研究生科研创新计划(CXLX12_0809)
+3 种基金
江苏省大学生创新训练计划(2012yb010)
苏州大学学生科研基金(KY2012383B
KY2012402B
KY2012404B)资助
-
文摘
信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。
-
关键词
CPS
软件可信性评估
可信性指标模型
可信性评估模型
-
Keywords
CPS
software trustworthiness evaluation
trustworthiness indicator model
trustworthiness evaluation model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-