-
题名一种基于多维属性的CPS软件可信性评估方法
- 1
-
-
作者
戎玫
-
机构
暨南大学深圳旅游学院
中国科学院软件研究所计算机科学国家重点实验室
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名农机消费者怎样书写投诉信
- 2
-
-
-
出处
《农机具之友》
2003年第1期37-37,共1页
-
-
关键词
投诉信
写作方法
材料证据时效观念
投诉内容
农机消费者
-
分类号
F203
[经济管理—国民经济]
-
-
题名西欧司法考察之思考
被引量:4
- 3
-
-
作者
夏国佳
-
机构
湖南省高级人民法院
-
出处
《人民司法》
北大核心
2001年第10期50-52,共3页
-
-
关键词
司法公信度
司法机关
舆论监督
司法协作
证据时效
-
分类号
D956
[政治法律—法学]
-