一种基于多维属性的CPS软件可信性评估方法

计算机科学 ›› 2013, Vol. 40 ›› Issue (11): 187-190.

一种基于多维属性的CPS软件可信性评估方法

戎玫

暨南大学深圳旅游学院深圳518053中国科学院软件研究所计算机科学国家重点实验室北京100190

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受江苏省自然科学基金(BK2011281),苏州市应用基础研究计划(SYG201241)资助

Trustworthiness Evaluation Method for CPS Software Based on Multi-attributes

RONG Mei

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 信息物理融合系统(CPS)是一种融合了物理过程和计算进程的新型系统,在信息物理融合系统中,存在多种软件且每个软件的运行环境是动态变化的。如何有效保证软件在动态环境下的正确性、安全性、可靠性等属性是值得关注的问题,而可信评估可为软件质量的控制和管理提供有力依据。提出了一种基于多维属性的CPS软件可信性评估方法。首先提出一种基于多维属性的可信指标系统,在此基础上提出一种具有时效性的可信属性评价方法,用以评价CPS软件的可信性；然后,设计可信性结果决策规则集,根据软件间的交互结构,计算出软件系统的可信性,并根据决策规则集评价软件系统可信性；最后通过一个实例进一步说明了所提方法的有效性。

关键词: 多维属性,信息物理融合系统,可信证据时效性,软件可信性评估

Abstract: Cyber-Physical System(CPS)is a kind of new system by combining physical world with computation．There are many kinds of software in Cyber-physical System,and each of them is running dynamically．It’s hard to ensure the properties such as correctness,safety,reliability with the dynamical environment．And trustworthiness evaluation can provide evidence for software quality management．So we proposed a method for CPS software’s trustworthiness evalua-tion based on multi-attri-butes．Firstly,we proposed a trustworthiness evaluation indicator system based on multi-attri-butes,secondly brought forward a method for software trustworthiness evaluation by considering the aging of trustworthiness evidences．After that,a set of decision rules was designed to explain the evaluation result．Then based on the interaction logic of software, the trustworthiness level of CPS software system was evaluated．At last,an example was used to explain the effectiveness of the framework.

Key words: Multi-attributes,Cyber-physical system,Aging of trustworthiness evidences,Software trustworthiness eva-luation

戎玫. 一种基于多维属性的CPS软件可信性评估方法[J]. 计算机科学, 2013, 40(11): 187-190. https://doi.org/

RONG Mei. Trustworthiness Evaluation Method for CPS Software Based on Multi-attributes[J]. Computer Science, 2013, 40(11): 187-190. https://doi.org/

参考文献

[1] Poovendran R．Cyber-Physical Systems:Close Encounters Be-tween Two Parallel Worlds [J]．Proceedings of the IEEE,2010,98(8):1362-1366
[2] 刘克,单志广,王戟,等.可信软件基础研究重大研究计划综述[J]．中国科学基金,2008,2(3):145-151
[3] 王中杰,谢陆路．信息物理系统研究综述[J]．自动化学报,2011,7(10):1157-1166
[4] Ehyaei A,Tovar E,Pereira N,et al．Scalable Data Acquisitionfor Densely Instrumented Cyber-Physical Systems[C]∥2011IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:174-183
[5] Marija D I,Xie L,Khan U A．Modeling of Future Cyber-Physical Energy Systems for Distributed Sensing and Control [J]．IEEE Transactions on Systems,Man,and Cybernetics-Part A:Systems and Humans,2010,40(4):825-838
[6] Bak S,Manamcheri K,Mitra S,et al．Sandboxing Controllers for Cyber-Physical Systems[C]∥2011IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:3-12
[7] Duggirala P S,Mitra S．Abstraction Refinement for Stability[C]∥2011 IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:22-31
[8] Zhang F,DiSanto W,Ren J,et al．A Novel CPS System for Eva-luating a Neural-Machine Interface for Artificial Legs[C]∥2011IEEE/ACM Second International Conference on Cyber-Physical Systems(ICCPS)．Los Alamitos:IEEE Computer Society,2011:67-76
[9] Tang L,Yu X,Kim S,et al．Tru-Alarm:Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems[C]∥2010IEEE International Conference on Data Mining．Los Alamitos:IEEE Computer Society,2010:1079-1084
[10] 郎波,刘旭东,王怀民,等．一种软件可信分级模型[J]．计算机科学与探索,2010,4(3):231-239
[11] Yang Y,Wang Q,Li M S．Process trustworthiness as a capabilityindicator for measuring and improving software trustworthiness[C]∥Lecture Notes in Computer Science 5543:Proceedings of the International Conference on Software Process．Berlin Heidelberg:Springer-Verlag,2009:389-401
[12] 丁学雷,王怀民,王元元,等．面向验证的软件可信证据与可信评估[J].计算机科学与探索,2010,4(1):46-48
[13] Uzma R,Marietta J T．Defining and Evaluating a Measure of Open Source Project Survivability[J]．IEEE Transactions On Software Engineering,2012,38(1):163-174
[14] 沈昌祥,张焕国,王怀民,等．可信计算的研究与发展[J]．中国科学:信息科学,2010,40(2):139-166
[15] 吕建,徐锋,王远．开放环境下基于信任管理的软件可信保障[J].中国计算机学会通讯,2007,3(11):14-24
[16] Lee E A．Cyber physical systems:Design challenges[C]∥11th IEEE Symposium on Object Oriented Real-Time Distributed Computing(ISORC)．Los Alamitos:IEEE Computer Society,2008:363-369

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed