Supporting Assurance by Evidence-based Argument Services - Publication - MOST Wiedzy

Search

Supporting Assurance by Evidence-based Argument Services

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

  • 9

    CrossRef

  • 0

    Web of Science

  • 1 0

    Scopus

Full text

download paper
downloaded 10 times

License

Copyright (Springer-Verlag Berlin Heidelberg 2012)

Details

Category:
Conference activity
Type:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
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
  1. Ministry of Defence, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems (2007) open in new tab
  2. 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)
  3. 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
  4. 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
  5. 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
  6. Toulmin S.: The Uses of Argument, Cambridge University Press (1958)
  7. Cyra Ł., Górski J.: Support for argument structures review and assessment, Reliability Engineering and System Safety 96, 26-37 (2011) open in new tab
  8. 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
  9. ASCE home page, http://www.adelard.com/asce/, visited 2012.06.27 open in new tab
  10. ISCaDE home page, http://www.iscade.co.uk/, visited 2012.06.27 open in new tab
  11. 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
  12. 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)
  13. 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
  14. Shafer G.: Mathematical Theory of Evidence, Princetown University Press (1976)
  15. 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
  16. 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 32 times

Recommended for you

Meta Tags