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 language | English |
|---|---|
| Title of host publication | ACM International Conference Proceeding Series |
| Pages | 111-112 |
| Number of pages | 2 |
| DOIs | |
| Publication status | Published - 2011 |
| Event | 13th European Workshop on Dependable Computing, EWDC 2011 - Pisa, Italy Duration: 2011 May 11 → 2011 May 12 |
Other
| Other | 13th European Workshop on Dependable Computing, EWDC 2011 |
|---|---|
| Country | Italy |
| City | Pisa |
| Period | 11/5/11 → 11/5/12 |
Fingerprint
ASJC Scopus subject areas
- Human-Computer Interaction
- Computer Networks and Communications
- Computer Vision and Pattern Recognition
- Software
Cite this
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 proceeding › Conference contribution
}
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 -