跳到主要导航 跳到搜索 跳到主要内容

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
  • *此作品的通讯作者
  • Department of Defense
  • University of Texas at Dallas
  • Arizona State University
  • University of North Texas
  • Purdue University
  • University of Minnesota Twin Cities

科研成果: 书/报告/会议事项章节会议稿件同行评审

摘要

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.

源语言英语
主期刊名Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008
386-393
页数8
DOI
出版状态已出版 - 2008
已对外发布
活动2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008 - Santa Clara, CA, 美国
期限: 4 8月 20087 8月 2008

出版系列

姓名Proceedings - IEEE International Conference on Semantic Computing 2008, ICSC 2008

会议

会议2nd Annual IEEE International Conference on Semantic Computing, ICSC 2008
国家/地区美国
Santa Clara, CA
时期4/08/087/08/08

指纹

探究 'An ontology-based integrated assessment framework for high-assurance systems' 的科研主题。它们共同构成独一无二的指纹。

引用此