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

Wyszukiwarka

Supporting Assurance by Evidence-based Argument Services

Abstrakt

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.

Cytowania

  • 9

    CrossRef

  • 0

    Web of Science

  • 1 0

    Scopus

Pełna treść

pobierz publikację
pobrano 12 razy

Licencja

Copyright (Springer-Verlag Berlin Heidelberg 2012)

Informacje szczegółowe

Kategoria:
Aktywność konferencyjna
Typ:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Tytuł wydania:
Computer Safety, Reliability, and Security strony 417 - 426
Język:
angielski
Rok wydania:
2012
Opis bibliograficzny:
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:
Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-642-33675-1_39
Bibliografia: test
  1. Ministry of Defence, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems (2007) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  9. ASCE home page, http://www.adelard.com/asce/, visited 2012.06.27 otwiera się w nowej karcie
  10. ISCaDE home page, http://www.iscade.co.uk/, visited 2012.06.27 otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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) otwiera się w nowej karcie
  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)
Weryfikacja:
Politechnika Gdańska

wyświetlono 32 razy

Publikacje, które mogą cię zainteresować

Meta Tagi