High assurance systems have evolving requirements and, hence, the definition for assurance requirements should allow evolution. We recommend the use of ontology to capture such evolving requirements. In this paper, we introduce the concept of trustworthiness to include dependability and some additional high assurance attributes. We develop an ontology of trustworthiness aspects and an ontology of system entities. Based on these ontologies, a framework for trustworthiness assessment is constructed. This framework supports systematic and well guided trustworthy assessment from the individual system entities to the overall integrated system. It also offers the potential for automated trustworthiness assessment.
Index Terms:
Trustworthiness ontology, high assurance systems
Citation:
Raymond Paul, I-Ling Yen, Farokh Bastani, Jing Dong, Wei-Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava, "An Ontology-Based Integrated Assessment Framework for High-Assurance Systems," icsc, pp.386-393, 2008 IEEE International Conference on Semantic Computing, 2008