Evaluating degree of systems' dependability with semi-structured assurance case
Pages 111 - 112
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.
References
[1]
A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1:11--33, 2004.
[2]
S. Bates, I. J. Bate, R. D. Hawkins, T. P. Kelly, and J. A. McDermid. Safety case architectures to complement a contract-based approach to designing safe systems. In Proc. of 21st Int'l System Safety Conference, pages 182--192, 2003.
[3]
S. Bernardi and J. Merseguer. A uml profile for dependability analysis of real-time embedded systems. In Proceedings of the 6th international workshop on Software and performance, WOSP '07, pages 115--124, New York, NY, USA, 2007. ACM.
[4]
S. I. Kent, K. Larson, and E. M. Tapia. Designing and evaluating technology for independent aging in the home. In In International Conference oon Aging, Disability and Independence, 2003.
[5]
C. D. Kidd, R. Orr, G. D. Abowd, C. G. Atkeson, I. A. Essa, B. MacIntyre, E. Mynatt, T. E. Starner, and W. Newstetter. The aware home: A living laboratory for ubiquitous computing research. In Lecture Notes in Computer Science, volume 1670/1999, pages 191--198, 1999.
[6]
Y. Kitamura and R. Mizoguchi. An ontological analysis of fault process and category of faults. In Proc. of Tenth International Workshop on Principles of Diagnosis (DX-99), 1999.
[7]
N. Looker, M. Munro, B. Gwynne, and J. Xu. An ontology-based approach for determining the dependability of service-oriented architectures. In Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, pages 171--178, Washington, DC, USA, 2005. IEEE Computer Society.
[8]
Y. Matsuno, J. Nakazawa, M. Takeyama, M. Sugaya, and Y. Ishikawa. Toward a language for communication among stakeholders. In Proc. of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'10), pages 93--100, 2010.
[9]
Y. Matsuno, H. Takamura, and Y. Ishikawa. A dependability case editor with pattern library. In Procs. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pages 170--171, 2010.
Index Terms
- Evaluating degree of systems' dependability with semi-structured assurance case
Recommendations
Dependability Improvement for Critical Systems
PRDC '11: Proceedings of the 2011 IEEE 17th Pacific Rim International Symposium on Dependable ComputingControl systems for airliners, military aircraft, automobiles, and for the safety of nuclear power plants are typical of the critical digital systems addressed in this paper. These systems are considered safe by the public: their accident rate is ...
An analysis of safety evidence management with the Structured Assurance Case Metamodel
SACM (Structured Assurance Case Metamodel) is a standard for assurance case specification and exchange. It consists of an argumentation metamodel and an evidence metamodel for justifying that a system satisfies certain requirements. For assurance of ...
Creating safety assurance cases for rebreather systems
ASSURE '13: Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive SystemsThe creation of safety assurance cases is a new requirement for rebreather manufacturers, where a rebreather is simply understood as a self-contained underwater breathing apparatus. The two main potential benefits to creating safety assurance cases for ...
Comments
Information & Contributors
Information
Published In
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 11 May 2011
Check for updates
Qualifiers
- Short-paper
Conference
EWDC '11
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 92Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 07 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in