Trust-IT Środowisko wspomagające argumentację

Transkrypt

1 Trust-IT Środowisko wspomagające argumentację I Spotkanie Komitetu Konsultacyjnego Projektu (KKP) Katedra Inżynierii Oprogramowania Politechnika Gdańska Gdańsk,

2 Argument a zaufanie Ludzie używają argumentów, by przekonać innych ludzi. Dzięki temu, przekonująca argumentacja służy budowie zaufania siła przekonywania argumentu rośnie jeżeli odwołuje się on do materiału dowodowego Wnioskowania wykorzystywane w argumentach niekoniecznie są niezawodne w praktycznie używanych argumentach wnioskowania bywają zawodne, a mimo to są używane

3 Analiza argumentu Przykładowy argument: Spotkanie KKP będzie udane ponieważ uczestniczą w nim prawdziwi eksperci Pytanie dotyczące wnioskowania : czy udział kompetentnych ekspertów gwarantuje udane spotkanie? Udane spotkanie Kompetentni uczestnicy Ocena siły wnioskowania Pytanie dotyczące materiału dowodowego: Na jakiej podstawie uważasz, że w spotkaniu uczestniczą kompetentni eksperci? Kompetentni uczestnicy Materiał dowodowy Ocena siły materiału dowodowego Acceptacja Niepewność Odrzucenie

4 Ocena argumentu Ocena materiału dowodowego Stwierdzenie faktu: ten uczestnik spotkania jest ekspertem Ocena CV uczestnika potwierdzające jego kompetencje Legitymacja uczestnika potwierdzająca, że należy on do klubu pływackiego Raport wskazujący, że popełniał on wiele błędów w swoich działaniach zawodowych Akceptacja Niepewność Odrzucenie Ocena niezawodności wnioskowania uczestnictwo ekspertów gwarantuje udane spotkanie Uwaga: taki postulat (postulowana reguła wnioskowania) może być uzasadniana oddzielnym argumentem Ocena Akceptacja Niepewność Odrzucenie Argument może mieć strukturę złożoną wykorzystującą wiele reguł wnioskowania i powołującą się na wiele faktów wspomaganych materiałem dowodowym

5 Trust Case argument zintegrowany z materiałem dowodowym wykorzystywane w celu zwiększenia zaufania w stosunku do jawnie sformułowanego postulatu Trust-IT - środowisko wspomagające tworzenie, utrzymywanie, ocenę komunikowanie trust case ów

6

7 Language Application Scenarios Business Processes Supporting System Templates and Patterns Trust-IT framework

8 Model of Argument Claim Counter-Argument Strategy Argument Strategy Warrant Assumption Claim Fact Reference

9 EXAMPLE TRUST CASE (1)

10 EXAMPLE TRUST CASE (2)

11

12 USER INTERFACE

13 Communication of Arguments

14 Zastosowania Argumenty uzasadniające, że zagwarantowano istotne cechy systemów i/lub infrastruktur (tzw. assurance case) Safety case Safety case dla Body Area Network Security case Safety, privacy case dla systemu e-health Privacy case Arguments uzasadniające zgodność ze standardem Wzorzec argumentu zgodności (wywiedziony ze standardu) Argument zgodności Conformance case for the ISO standard Argument demonstrujący, że zrealizowano zaplanowany wcześniej zakres działań Validity case dla demonstratora systemu i Argument walidacyjny platformy ANGEL Argument analizujący stopień spełnienia wskazanego kryterium w czasie Monitoring case Monitorowanie infrastruktur krytycznych

15 Środowisko narzędziowe Aplikacja internetowa Intuicyjny i łatwy interfejs Wykorzystanie grafiki i koloru Integracja dowolnych typów materiału dowodowego (tekst, grafika, video, audio, ) Generowanie raportów Bezpieczeństwo Rozróżnienie ról Hosting argumentu Repozytoria materiału dowodowego