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

Jin Nakazawa, Yutaka Matsuno, Hideyuki Tokuda

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

Abstract

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.

Original languageEnglish
Title of host publicationACM International Conference Proceeding Series
Pages111-112
Number of pages2
DOIs
Publication statusPublished - 2011
Event13th European Workshop on Dependable Computing, EWDC 2011 - Pisa, Italy
Duration: 2011 May 112011 May 12

Other

Other13th European Workshop on Dependable Computing, EWDC 2011
CountryItaly
CityPisa
Period11/5/1111/5/12

Fingerprint

Embedded systems
Computer systems

ASJC Scopus subject areas

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

Cite this

Nakazawa, J., Matsuno, Y., & Tokuda, H. (2011). Evaluating degree of systems' dependability with semi-structured assurance case. In ACM International Conference Proceeding Series (pp. 111-112) https://doi.org/10.1145/1978582.1978607

Evaluating degree of systems' dependability with semi-structured assurance case. / Nakazawa, Jin; Matsuno, Yutaka; Tokuda, Hideyuki.

ACM International Conference Proceeding Series. 2011. p. 111-112.

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

Nakazawa, J, Matsuno, Y & Tokuda, H 2011, Evaluating degree of systems' dependability with semi-structured assurance case. in ACM International Conference Proceeding Series. pp. 111-112, 13th European Workshop on Dependable Computing, EWDC 2011, Pisa, Italy, 11/5/11. https://doi.org/10.1145/1978582.1978607
Nakazawa J, Matsuno Y, Tokuda H. Evaluating degree of systems' dependability with semi-structured assurance case. In ACM International Conference Proceeding Series. 2011. p. 111-112 https://doi.org/10.1145/1978582.1978607
Nakazawa, Jin ; Matsuno, Yutaka ; Tokuda, Hideyuki. / Evaluating degree of systems' dependability with semi-structured assurance case. ACM International Conference Proceeding Series. 2011. pp. 111-112
@inproceedings{235e8c98c5824980917e04f21e90a512,
title = "Evaluating degree of systems' dependability with semi-structured assurance case",
abstract = "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.",
author = "Jin Nakazawa and Yutaka Matsuno and Hideyuki Tokuda",
year = "2011",
doi = "10.1145/1978582.1978607",
language = "English",
isbn = "9781450302845",
pages = "111--112",
booktitle = "ACM International Conference Proceeding Series",

}

TY - GEN

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

AU - Nakazawa, Jin

AU - Matsuno, Yutaka

AU - Tokuda, Hideyuki

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79958704539&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79958704539&partnerID=8YFLogxK

U2 - 10.1145/1978582.1978607

DO - 10.1145/1978582.1978607

M3 - Conference contribution

SN - 9781450302845

SP - 111

EP - 112

BT - ACM International Conference Proceeding Series

ER -