The Aware Home: A Living Laboratory for Ubiquitous Computing Research
CoBuild '99 Proceedings of the Second International Workshop on Cooperative Buildings, Integrating Information, Organization, and Architecture
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
A UML profile for dependability analysis of real-time embedded systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
A Dependability Case Editor with Pattern Library
HASE '10 Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering
Towards a Language for Communication among Stakeholders
PRDC '10 Proceedings of the 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing
| Hi-index | 0.00 |
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.