Evaluating degree of systems' dependability with semi-structured assurance case

Jin Nakazawa, Yutaka Matsuno, Hideyuki Tokuda

研究成果: Conference contribution

抜粋

Due to the continuous penetration of computer systems into our daily lives, their dependability is critical to the users. Particularly, ubiquitous embedded systems, such as elderly care and medication management, need to provide a high degree of dependability, since their failure may result in loss of a human life. Developers, users, and other stakeholders of such systems thus require mutual agreement on the degree of systems' dependability. In this paper, we propose to use an extended form of assurance cases, called D-Case, to describe how a system achieves dependability with meaningful evidences. One of the two major features of our scheme is to use a common tree structure in D-Case to enable developers and users of different systems to compare their dependability. The other is a scheme to calculate the degree of dependability from D-Case. Users can learn the degree more intuitively than grasping multiple metrics like MTBF and MTTF, or reading through a D-Case itself.

元の言語English
ホスト出版物のタイトルProc. of the 13th European Workshop on Dependable Computing, EWDC 2011
ページ111-112
ページ数2
DOI
出版物ステータスPublished - 2011 6 16
イベント13th European Workshop on Dependable Computing, EWDC 2011 - Pisa, Italy
継続期間: 2011 5 112011 5 12

出版物シリーズ

名前ACM International Conference Proceeding Series

Other

Other13th European Workshop on Dependable Computing, EWDC 2011
Italy
Pisa
期間11/5/1111/5/12

    フィンガープリント

ASJC Scopus subject areas

  • Software
  • Human-Computer Interaction
  • Computer Vision and Pattern Recognition
  • Computer Networks and Communications

これを引用

Nakazawa, J., Matsuno, Y., & Tokuda, H. (2011). Evaluating degree of systems' dependability with semi-structured assurance case. : Proc. of the 13th European Workshop on Dependable Computing, EWDC 2011 (pp. 111-112). (ACM International Conference Proceeding Series). https://doi.org/10.1145/1978582.1978607