-
题名基于体系结构能耗建模的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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于FAHP和FMCDM构建软件可信性评估模型
被引量：1
- 2
-
-
作者
石莉
余本功
杨颖
付磊
-
机构
合肥工业大学计算机网络系统研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第3期933-937,共5页
-
基金
国家自然科学基金资助项目(90718037)
国家"863"计划资助项目(2007AA04Z183)
+1 种基金
安徽高校省级自然科学研究重点资助项目(KJ2008A061)
国家教育部博士点基金资助项目(200803590007)
-
文摘
结合软件可信性评估的特点及模糊理论的最新进展,提出一种基于模糊层次分析法和模糊多指标决策理论的评估模型。首先针对软件可信性没有一致定义的现状,提出了相对可信性的概念;接着基于模糊数理论,用三角模糊数表示专家评估中语言变量的主观性和模糊性,结合专家给出的模糊指标权重及待评软件可信等级的模糊评价,得到软件可信性的集成模糊评价;最后,将该模型应用到国内某汽车制造企业整车产品开发项目管理软件评估中,实例说明软件可信性评估的具体过程,结果验证了该模型的实效性。
-
关键词
可信软件
软件可信性评估模型
模糊层次分析法
模糊多指标决策
-
Keywords
trustworthy software
software trustworthiness evaluation model
fuzzy analytic hierarchy process （FAHP）
fuzzy multiple criteria decision making （FMCDM）
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种支持动态多属性的软件可信性评估方法
- 3
-
-
作者
仲晓敏
赵雪峰
-
机构
淮海工学院计算机工程学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2013年第6期107-112,共6页
-
基金
国家自然科学基金资助项目(40806011)
淮海工学院自然科学研究项目(2010150028)
连云港产学研联合创新基金项目(CXY1203)
-
文摘
为了在软件可信性评估过程中支持动态多属性的特征,提出了一种结合灰数系统理论、Minkowski距离和模糊聚类的评估方法。首先,以灰数来表示软件可信指标值,并以求正负理想点的方法获得理想可信评估值;然后,使用Minkowski距离对周期内的软件可信性进行评估;最后使用模糊聚类算法得到综合的可信性评估结果。实验结果及分析表明,所提方法对于软件可信性的动态、多属性评估是有效的,在计算量不大的同时,评估结果也具有较高的准确性。
-
关键词
软件可信性评估
动态
灰数
正负理想点法
Minkowski距离
模糊聚类算法
-
Keywords
software trustworthiness evaluation
dynamic
gray number
positive and negative idealpoint
Minkowski distance
fuzzy clustering algorithm
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于多维属性的CPS软件可信性评估方法
- 4
-
-
作者
戎玫
-
机构
暨南大学深圳旅游学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2013年第11期187-190,共4页
-
基金
江苏省自然科学基金(BK2011281)
苏州市应用基础研究计划(SYG201241)资助
-
文摘
信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的问题,而可信评估可为软件质量的控制和管理提供有力依据。提出了一种基于多维属性的CPS软件可信性评估方法。首先提出一种基于多维属性的可信指标系统,在此基础上提出一种具有时效性的可信属性评价方法,用以评价CPS软件的可信性;然后,设计可信性结果决策规则集,根据软件间的交互结构,计算出软件系统的可信性,并根据决策规则集评价软件系统可信性;最后通过一个实例进一步说明了所提方法的有效性。
-
关键词
多维属性
信息物理融合系统
可信证据时效性
软件可信性评估
-
Keywords
Multi-attributes,Cyber-physical system, Aging of trustworthiness evidences, Software trustworthiness evaluation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于TPM的运行时软件可信证据收集机制
被引量：18
- 5
-
-
作者
古亮
郭耀
王华
邹艳珍
谢冰
邵维忠
-
机构
高可信软件技术教育部重点实验室(北京大学)
北京大学信息科学与技术学院软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2010年第2期373-387,共15页
-
基金
国家重点基础研究发展计划(973)No.2009CB320703
国家高技术研究发展计划(863)Nos.2007AA01Z462
+2 种基金
2007AA010304
2008AA01Z133
国家创新研究群体科学基金No.60821003~~
-
文摘
扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术的软件运行时可信证据收集机制.利用可信平台模块(trusted platform module,简称TPM)提供的安全功能,结合"最新加载技术(late launch)",在操作系统层引入了一个可信证据收集代理.此代理利用TPM,可以客观地收集目标应用程序的运行时可作为软件可信证据的信息,并保障可信证据本身的可信性.该可信证据收集机制具有良好的可扩展性,能够支持面向不同应用的信任评估模型.基于Linux Security Module,在Linux中实现了一个可信证据收集代理的原型.基于该原型,分析了一个分布式计算客户端实例的相关可信属性,并且分析了可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性.
-
关键词
高可信软件
软件可信性评估
软件可信证据
软件可信证据收集
可信计算
TPM(trusted
PLATFORM
module)
-
Keywords
high confidence software
software trustworthiness evaluation
software trustworthiness evidence
evidence collection
trusted computing
TPM （trusted platform module）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
