Search
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.
Citations
-
1 0
CrossRef
-
0
Web of Science
-
1 5
Scopus
Authors (6)
Cite as
Full text
download paper
downloaded 52 times
- Publication version
- Accepted or Published Version
- License
- Copyright (Springer-Verlag Berlin Heidelberg 2012)
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- Computer Safety, Reliability, and Security strony 417 - 426
- Language:
- English
- Publication year:
- 2012
- Bibliographic description:
- Górski J., Jarzębowicz A., Miler J., Witkowicz M., Czyżnikiewicz J., Jar P.: Supporting Assurance by Evidence-based Argument Services// Computer Safety, Reliability, and Security/ ed. Ortmeier F., Daniel P. : Springer, Berlin, Heidelberg, 2012, s.417-426
- DOI:
- Digital Object Identifier (open in new tab) 10.1007/978-3-642-33675-1_39
- Bibliography: test
-
show (16) hide
- Ministry of Defence, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems (2007) open in new tab
- 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'05, ACM, New York (2005)
- Kelly T., Weaver R.: The Goal Structuring Notation -A Safety Argument Notation, Proceedings of the Dependable Systems and Networks Workshop on Assurance Cases (2004) open in new tab
- Rhodes T., Boland F., Fong E., Kass M.: Software Assurance Using Structured Assurance Case Models, NIST Interagency Report 7608, US Department of Commerce (2009) open in new tab
- 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, 196, Springer-Verlag, 125-142 (2005) open in new tab
- 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) open in new tab
- Górski J., Jarzębowicz A., Miler J.: Validation of services supporting healthcare standards conformance, Metrology and Measurements Systems, 19 (2) 269-282 (2012) open in new tab
- ASCE home page, http://www.adelard.com/asce/, visited 2012.06.27 open in new tab
- ISCaDE home page, http://www.iscade.co.uk/, visited 2012.06.27 open in new tab
- Steele P., Collins K., Knight J., ACCESS: A Toolset for Safety Case Creation and Management, Proc. of 29th International Systems Safety Conference, Las Vegas, NV. (2011) open in new tab
- Górski, J.: Trust-IT -a framework for trust cases , Workshop on Assurance Cases for Security -The Metrics Challenge. Proc. of DSN 2007, Edinburgh, UK, 204-209 (2007)
- Gorski 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) open in new tab
- Shafer G.: Mathematical Theory of Evidence, Princetown 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) open in new tab
- 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)
- Verified by:
- Gdańsk University of Technology
seen 147 times