1Nagoya University (1 Furocho, Chikusa Ward, Nagoya, Aichi Prefecture 464-0814, Japon - Japan)
Abstract : In this paper, we will introduce some of the problem areas that software engineers are susceptible during the creation of assurance cases, based on the author’s educational experience with assurance cases. To mitigate these problems, assurance case patterns are proposed based on Data flow diagrams that help engineers develop assurance cases by reusing those patterns. It is also shown an evaluation result of assurance case pattern application to develop an assurance case for a smart card application system.
https://hal.inria.fr/hal-01397249 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Tuesday, November 15, 2016 - 3:58:18 PM Last modification on : Wednesday, November 16, 2016 - 1:04:11 AM Long-term archiving on: : Thursday, March 16, 2017 - 6:25:32 PM
Shuichiro Yamamoto. An Evaluation of Argument Patterns Based on Data Flow. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.432-437, ⟨10.1007/978-3-642-55032-4_43⟩. ⟨hal-01397249⟩