Title :
A model for CPS software system trustworthiness evaluation based on attributes classifying
Author_Institution :
Shenzhen Tourism Coll., Jinan Univ., Shenzhen, China
Abstract :
Cyber-Physical System is a kind of new systems by combining physical world with computation processes. There are many kinds of software in Cyber-Physical System, and the software system is composed of them. It´s difficult for the software system to examine the attributes such as correctness, safety, reliability by using software testing or formal method. So we propose a model for CPS software system trustworthiness evaluation based on trustworthiness attributes. Firstly, present a method to calculate the satisfaction of trustworthiness attributes by considering the aging of trustworthiness evidences; secondly, based on the weight distribution, a software trustworthiness calculating method is brought forward. Then based on the trustworthiness of software and the logical structures of the software system, we present a method to evaluate the trustworthiness level of CPS software system. At Last, we use an example to explain the effectiveness of the model.
Keywords :
program testing; software engineering; trusted computing; CPS software system trustworthiness evaluation; attributes classifying; cyber-physical system; formal method; logical structure; software testing; trustworthiness attribute; trustworthiness evidence; weight distribution; Aging; Computational modeling; Software; Software reliability; Aging of the trustworthiness evidences; Attribute classifying; Cyber-Physical System; Trustworthiness evaluation;
Conference_Titel :
Computer Science & Education (ICCSE), 2013 8th International Conference on
Conference_Location :
Colombo
Print_ISBN :
978-1-4673-4464-7
DOI :
10.1109/ICCSE.2013.6554124