Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
References
Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, DSN 2004 (2004)
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)
Besnard, P., Hunter, A.: Elements of Argumentation. MIT Press, Cambridge (2008)
Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Redmill, F., Anderson, T. (eds.) SSS 1998, pp. 194–203. Springer, London (1998)
Ng, A.Y., Blei, D.M., Jordan, M.I.: Latent dirichlet allocation. the. J. Mach. Learn. Res. 3, 993–1022 (2003)
GSN contributors. GSN standard version 1.0 (2011)
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)
Leveson, N.: The use of safety cases in certification and regulation. In: ESDWorking Paper Series, Boston, MIT (2011)
Matsuno, Y.: D-Case Editor Homepage. http://www.dcase.jp/editor_en.html
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)
Toulmin, S.E.: The Use of Argument, Updated. Cambridge University Press, Cambridge (2003)
Acknowledgement
This work has been partially conducted as a part of “Research Initiative on Advanced Software Engineering in 2015” supported by Software Reliability Enhancement Center (SEC), Information Technology Promotion Agency Japan (IPA) and a part of KAKENHI 15K15971.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Matsuno, Y., Ishigaki, Y., Bando, K., Kido, H., Tanaka, K. (2016). Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2016. Lecture Notes in Computer Science(), vol 9923. Springer, Cham. https://doi.org/10.1007/978-3-319-45480-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-45480-1_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45479-5
Online ISBN: 978-3-319-45480-1
eBook Packages: Computer ScienceComputer Science (R0)