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

doi:10.1109/ICSC.2008.46

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

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

17 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 language	English (US)
Title of host publication	Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008
Pages	386-393
Number of pages	8
DOIs	https://doi.org/10.1109/ICSC.2008.46
State	Published - 2008
Event	2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008 - Santa Clara, CA, United States Duration: Aug 4 2008 → Aug 7 2008

Publication series

Name	Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008

Other

Other	2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008
Country/Territory	United States
City	Santa Clara, CA
Period	8/4/08 → 8/7/08

Publisher link

10.1109/ICSC.2008.46

Find It

Find It at U of M Libraries

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). Article 4597216 (Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008). https://doi.org/10.1109/ICSC.2008.46

An ontology-based integrated assessment framework for high-assurance systems. / Paul, Raymond; Yen, I. Ling; Bastani, Farokh et al.
Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008. 2008. p. 386-393 4597216 (Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Paul, R, Yen, IL, Bastani, F, Dong, J, Tsai, WT, 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., 4597216, Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008, pp. 386-393, 2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008, Santa Clara, CA, United States, 8/4/08. https://doi.org/10.1109/ICSC.2008.46

@inproceedings{f8fe5915dcd04d79986db5830d1ed5e8,

title = "An ontology-based integrated assessment framework for high-assurance systems",

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.",

author = "Raymond Paul and Yen, {I. Ling} and Farokh Bastani and Jing Dong and Tsai, {Wei Tek} and Krishna Kavi and Arif Ghafoor and Jaideep Srivastava",

year = "2008",

doi = "10.1109/ICSC.2008.46",

language = "English (US)",

isbn = "9780769532790",

series = "Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008",

pages = "386--393",

booktitle = "Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008",

}

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 -

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

Abstract

Publication series

Other

Publisher link

Find It

Other files and links

Fingerprint

Cite this