• DocumentCode
    615481
  • Title

    A model for CPS software system trustworthiness evaluation based on attributes classifying

  • Author

    Mei Rong

  • Author_Institution
    Shenzhen Tourism Coll., Jinan Univ., Shenzhen, China
  • fYear
    2013
  • fDate
    26-28 April 2013
  • Firstpage
    1309
  • Lastpage
    1314
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science & Education (ICCSE), 2013 8th International Conference on
  • Conference_Location
    Colombo
  • Print_ISBN
    978-1-4673-4464-7
  • Type

    conf

  • DOI
    10.1109/ICCSE.2013.6554124
  • Filename
    6554124