Service Dependability with Continuously Revised Assurance Cases by Multiple Stakeholders: A Case Study
نویسنده
چکیده
Recently, assurance cases have received much attentions in the field of software-based computer systems and IT services. However, software very often changes and there are no strong regulations for software. These facts are main two challenges to be addressed in software assurance cases. We propose a development method of assurance cases by means of continuous revision at every stage of the system lifecycle, including in-operation and service recovery in failure cases. The quality of dependability arguments are improved by multiple stakeholders who check with each other. This paper reported our experience of the proposed method in a case of the ASPEN education service. The case study demonstrate that the continuos updates create a significant amount of active risk communications between stakeholders. This gives us a promising perspective for the long-term improvement of service dependability with the lifecycle assurance cases.
منابع مشابه
Continuously revised assurance cases with stakeholders' cross-validation: a DEOS experience
Recently, assurance cases have received much attention in the field of software-based computer systems and IT services. However, software changes very often, and there are no strong regulations for software. These facts are two main challenges to be addressed in the development of software assurance cases. We propose a method of developing assurance cases by means of continuous revision at ever...
متن کاملConsensus Building and In-operation Assurance for Service Dependability
Recent information systems have become large and complex by interacting with each other via networks. This makes assuring dependability of systems much more difficult than ever before. For this problem, we observe that requirement elicitation and risk analysis methods should be tightly connected with assurance methods. Furthermore, requirements should be ensured also in operation in such open e...
متن کاملThe Case for Cloud Service Trustmarks and Assurance-as-a-Service
Cloud computing represents a significant economic opportunity for Europe. However, this growth is threatened by adoption barriers largely related to trust. This position paper examines trust and confidence issues in cloud computing and advances a case for addressing them through the implementation of a novel trustmark scheme for cloud service providers. The proposed trustmark would be both acti...
متن کاملDefining a Framework for the Development and Management of Dependability Cases
Dependability cases are a concept that has primarily emerged from safety cases. A dependability case constitutes a clear, defensible, and traceable argument that a system is acceptably dependable to operate in a given operational context. This includes any requirements that are crucial to the stakeholders’ envisioned system operation. A dependability case can be thought of as a driver communica...
متن کاملFM Approaches to Assurance Cases
Assurance cases are a key concept in communicating dependability assurance of computer systems among the stakeholders. Noting an analogy between assurance cases and proofs, we plan to apply the technology of interactive proof assistants for construction and assessment of assurance cases. Fig. 1 An illustration of GSN from [5] Note The purpose of this report is to record our presentation given a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1507.08888 شماره
صفحات -
تاریخ انتشار 2015