%0 Conference Proceedings
%T Consensus Building and In-operation Assurance for Service Dependability
%+ Nagoya University
%A Matsuno, Yutaka
%A Yamamoto, Shuichiro
%Z Part 2: Workshop
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES)
%C Prague, Czech Republic
%Y Gerald Quirchmayr
%Y Josef Basl
%Y Ilsun You
%Y Lida Xu
%Y Edgar Weippl
%I Springer
%3 Multidisciplinary Research and Practice for Information Systems
%V LNCS-7465
%P 639-653
%8 2012-08-20
%D 2012
%R 10.1007/978-3-642-32498-7_48
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%Z TC 8
%Z WG 8.4
%Z WG 8.9
%2 https://inria.hal.science/hal-01542429/document
%2 https://inria.hal.science/hal-01542429/file/978-3-642-32498-7_48_Chapter.pdf
%L hal-01542429
%U https://inria.hal.science/hal-01542429
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-CD-ARES
%~ IFIP-WG8-4
%~ IFIP-WG8-9
%~ IFIP-LNCS-7465