An ontology-based integrated assessment framework for high-assurance systems

Raymond Paul, I. Ling Yen, Farokh Bastani, Jing Dong, Wei Tek Tsai, Krishna Kavi, Arif Ghafoor, Jaideep Srivastava

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008
Pages386-393
Number of pages8
DOIs
StatePublished - Sep 25 2008
Event2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008 - Santa Clara, CA, United States
Duration: Aug 4 2008Aug 7 2008

Publication series

NameProceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008

Other

Other2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008
CountryUnited States
CitySanta Clara, CA
Period8/4/088/7/08

ASJC Scopus subject areas

  • Artificial Intelligence
  • Software

Fingerprint Dive into the research topics of 'An ontology-based integrated assessment framework for high-assurance systems'. Together they form a unique fingerprint.

  • Cite this

    Paul, R., Yen, I. L., Bastani, F., Dong, J., Tsai, W. T., Kavi, K., Ghafoor, A., & Srivastava, J. (2008). An ontology-based integrated assessment framework for high-assurance systems. In Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008 (pp. 386-393). [4597216] (Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008). https://doi.org/10.1109/ICSC.2008.46