HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Consensus Building and In-operation Assurance for Service Dependability

Abstract : 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 environment where several interdependency may exist. This paper describes our initial research result and preliminary implementation toward consensus building and in-operation assurance for service dependability. We propose a process cycle for consensus building among stakeholders with assurance cases. We extend conventional assurance cases for ensuring that stakeholders’ requirements are satisfied during operation. The extended assurance case is called D-Case[16]. We also describe how D-Case is used for in-operation assurance.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, June 19, 2017 - 5:01:08 PM
Last modification on : Thursday, March 5, 2020 - 4:47:32 PM
Long-term archiving on: : Friday, December 15, 2017 - 10:26:06 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Yutaka Matsuno, Shuichiro Yamamoto. Consensus Building and In-operation Assurance for Service Dependability. International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.639-653, ⟨10.1007/978-3-642-32498-7_48⟩. ⟨hal-01542429⟩



Record views


Files downloads