TY - GEN
T1 - An ontology-based integrated assessment framework for high-assurance systems
AU - Paul, Raymond
AU - Yen, I. Ling
AU - Bastani, Farokh
AU - Dong, Jing
AU - Tsai, Wei Tek
AU - Kavi, Krishna
AU - Ghafoor, Arif
AU - Srivastava, Jaideep
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=52149118659&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=52149118659&partnerID=8YFLogxK
U2 - 10.1109/ICSC.2008.46
DO - 10.1109/ICSC.2008.46
M3 - Conference contribution
AN - SCOPUS:52149118659
SN - 9780769532790
T3 - Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008
SP - 386
EP - 393
BT - Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008
T2 - 2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008
Y2 - 4 August 2008 through 7 August 2008
ER -