An approach to measureing and grading software trust for spacecraft software

An Approach of Trustworthy Measurement Allocation Based on Sub-Attributes of Software

“…However, few researchers pay attention to using more rigorous approaches to software trustworthiness measurement. In order to make the software trustworthiness measure more rigorous, axiomatic approaches are applied to measure software trustworthiness by us [6,[20][21][22][23][24].…”

“…It is useful for improving the software trustworthiness by adjusting the degree of each trustworthy attribute under the same cost. Ma et al [25] have investigated the reverse of the software trustworthiness measurement approach proposed in [24]. However, as we mentioned above, trustworthy attributes are normally at too high a level to be measurable directly, and they are further subdivided into sub-attributes.…”

“…However, as we mentioned above, trustworthy attributes are normally at too high a level to be measurable directly, and they are further subdivided into sub-attributes. In this paper, based on the trustworthy attribute measurement model built in [24], we deal with the problem of how to determine trustworthy degrees of sub-attributes with given trustworthy degree of a trustworthy attribute. We build a mathematical programming (MP) model to allocate the trustworthy degree of a trustworthy attribute to its sub-attributes appropriately, and discuss some sufficient or necessary conditions for analyzing this MP.…”

“…The rest of the paper is organized as follows. In Section 2, we describe the trustworthy attribute measurement model proposed in [24]. An allocation model for software attribute trustworthiness defined as a mathematical programming model MP is introduced in Section 3 and some sufficient or necessary conditions for analyzing this MP are also discussed in this section.…”

“…However, the evaluation of spacecraft software trustworthiness is only qualitative heretofore. In order to make the spacecraft software trustworthiness measurement more rigorous, axiomatic approaches are used to measure spacecraft software trustworthiness based on the decompositions of trustworthy attributes by us [24]. The trustworthy degree of spacecraft software is obtained by aggregating the trustworthy degree of each attribute; furthermore, the trustworthy degree of each attribute is computed by using the trustworthy degrees of its sub-attributes.…”