Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases

  • Yutaka Matsuno
  • Yang Ishigaki
  • Koichi Bando
  • Hiroyuki Kido
  • Kenji Tanaka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9923)


Systems have been connected and interacted with each other around our daily lives. The boundaries of the systems are no more exist, and the safety of the systems involves various stakeholders including professionals, governments, and ordinary citizens. Therefore, for the safety of systems and the environments, consensus building among various stakeholders (e.g., professionals, developers, government, citizens) is crucial. However, ordinary citizens usually does not have sufficient knowledge about the safety and risk of systems around them. To solve this problem, we aim to develop methods and tools for consensus building specially with citizens using assurance cases written in GSN. This paper specifies the initial study for the goal. We take radiation information as an example. We implement prototype tools for visualizing structured argument by GSN about radiation information for citizens, and conduct an experiment for the effectiveness of the tool. The preliminary result indicates that the tool based on GSN is statistically significantly effective for sharing correct radiation information with citizens.


  1. 1.
    Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, DSN 2004 (2004)Google Scholar
  2. 2.
    Adelman, L., Lehner, P.E., Cheikes, B.A., Taylor, M.F.: An empirical evaluation of structured argumentation using the toulmin argument formalism. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 37(3), 340–347 (2007)CrossRefGoogle Scholar
  3. 3.
    Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press, Cambridge (2008)CrossRefGoogle Scholar
  4. 4.
    Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Redmill, F., Anderson, T. (eds.) SSS 1998, pp. 194–203. Springer, London (1998)Google Scholar
  5. 5.
    Ng, A.Y., Blei, D.M., Jordan, M.I.: Latent dirichlet allocation. the. J. Mach. Learn. Res. 3, 993–1022 (2003)MATHGoogle Scholar
  6. 6.
    GSN contributors. GSN standard version 1.0 (2011)Google Scholar
  7. 7.
    Tim, K., Rob, W.: The goal structuring notation - a safety argument notation. In: Proceedings of the Dependable Systems and Networks, Workshop on Assurance Cases (2004)Google Scholar
  8. 8.
    Leveson, N.: The use of safety cases in certification and regulation. In: ESDWorking Paper Series, Boston, MIT (2011)Google Scholar
  9. 9.
    Matsuno, Y.: D-Case Editor Homepage.
  10. 10.
    Cullen, L.: The public inquiry into the piper alpha disaster, vols. 1 and 2 (Report to Parliament by the Secretary of State for Energy by Command of Her Majesty) (1990)Google Scholar
  11. 11.
    Toulmin, S.E.: The Use of Argument, Updated. Cambridge University Press, Cambridge (2003)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Yutaka Matsuno
    • 1
  • Yang Ishigaki
    • 2
  • Koichi Bando
    • 2
  • Hiroyuki Kido
    • 3
  • Kenji Tanaka
    • 2
  1. 1.Nihon UniversityTokyoJapan
  2. 2.The University of Electro-CommunicationsChofuJapan
  3. 3.The University of TokyoTokyoJapan

Personalised recommendations