Abstract
Structured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities related to argument editing, communication and assessment and demonstrate an example of its application based on real case study focusing on analyzing safety of an innovative IT system.
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
Preview
Unable to display preview. Download preview PDF.
References
Ministry of Defence, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems (2007)
Emmet, L., Guerra, S.: Application of a Commercial Assurance Case Tool to Support Software Certification Services. In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management, SoftCeMent 2005. ACM, New York (2005)
Kelly, T., Weaver, R.: The Goal Structuring Notation - A Safety Argument Notation. In: Proceedings of the Dependable Systems and Networks Workshop on Assurance Cases (2004)
Rhodes, T., Boland, F., Fong, E., Kass, M.: Software Assurance Using Structured Assurance Case Models, NIST Interagency Report 7608, US Department of Commerce (2009)
Górski, J.: Trust Case – a case for trustworthiness of IT infrastructures. In: Cyberspace Security and Defense: Research Issues. NATO Science Series II: Mathematics, Physics and Chemistry, vol. 196, pp. 125–142. Springer (2005)
Toulmin, S.: The Uses of Argument. Cambridge University Press (1958)
Cyra, Ł., Górski, J.: Support for argument structures review and assessment. Reliability Engineering and System Safety 96, 26–37 (2011)
Górski, J., Jarzębowicz, A., Miler, J.: Validation of services supporting healthcare standards conformance. Metrology and Measurements Systems 19(2), 269–282 (2012)
ASCE home page, http://www.adelard.com/asce/ (visited June 27, 2012)
ISCaDE home page, http://www.iscade.co.uk/ (visited June 27, 2012)
GSN add-on for Visio home page, http://www-users.cs.york.ac.uk/~tpk/gsn/ (visited June 27, 2012)
Steele, P., Collins, K., Knight, J.: ACCESS: A Toolset for Safety Case Creation and Management. In: Proc. of 29th International Systems Safety Conference, Las Vegas, NV (2011)
Górski, J.: Trust-IT – a framework for trust cases. In: Workshop on Assurance Cases for Security - The Metrics Challenge, Proc. of DSN 2007, Edinburgh, UK, pp. 204–209 (2007)
Górski, J., Jarzebowicz, A., Leszczyna, R., Miler, J., Olszewski, M.: Trust case: justifying trust in IT solution. Reliability Engineering and System Safety 89(1), 33–47 (2005)
Shafer, G.: Mathematical Theory of Evidence. Princeton University Press (1976)
Górski, J., Witkowicz, M.: Experience with instantiating an automated testing process in the context of incremental and evolutionary software development. E-informatica: Software Engineering Journal 5(1), 51–63 (2011)
Górski, J., Jarzębowicz, A., Miler, J., Gołaszewski, G., Cyra, Ł., Witkowicz, M.: Deliverable D5.4: Trust Case for ANGEL platform demonstrator, ANGEL STREP Project deliverable, project no. IST-5-033506-STP (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Górski, J., Jarzębowicz, A., Miler, J., Witkowicz, M., Czyżnikiewicz, J., Jar, P. (2012). Supporting Assurance by Evidence-Based Argument Services. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33675-1_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-33675-1_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33674-4
Online ISBN: 978-3-642-33675-1
eBook Packages: Computer ScienceComputer Science (R0)