Zwykle assurance case są prezentowane w formie diagramów, na przykład GSN lub CAE. Jest to jest forma prezentacji wygodna podczas zapoznawania się z daną argumentacją. Nie jest to jednak jedyny sposób prezentacji. Możliwa jest też prezentacja argumentacji w formie tekstowej oraz tabelarycznej. Formę tekstową stosujemy w NOR-STA od ponad 10 lat. Porównamy jej stosowanie do […]
Modularyzacja jest przydatna w zarządzaniu dużymi i złożonymi argumentacjami assurance case. Pozwala na rozdzielenie odpowiedzialności za moduły oraz na zarządzanie uprawnieniami na poziomie poszczególnych modułów. NOR-STA implementuje model argumentacji assurance case oparty o OMG SACM, który został rozszerzony dla implementacji trzech rodzajów powiązań zdefiniowanych w standardzie GSN. Podział argumentacji na moduły umożliwia stosowanie diagramów modułowych […]
Argevide jest zaagażowana w organizację międzynarodowych warsztatów Modular Argumentation to Support Device Conformity Assessment (MASCA), które odbędą się 19 września podczas konferencji SAFECOMP. Wraz ze wzrostem złożoności systemów, również zadania związane z zapewnieniem bezpieczeństwa stają się coraz bardziej złożone i czasochłonne. Jednym ze sposobów sprostania temu wyzwaniu jest modularyzacja assurance case. Wprowadzenie modułowości od etapu […]
Jak mówi przysłowie „ważna jest droga, a nie cel”. Dla nas dotyczy to również argumentacji assurance case. Postrzegamy je jako obiekty dynamiczne, które ewoluują w cyklu życia systemu. Ważny jest sposób, w jaki zarządzany jest status oraz zmiany argumentacji oraz dowodów, aby w końcu uzyskać ważną i przekonującą argumentację. Taki punkt widzenia jest sprzeczny z […]
Rozwój argumentacji assurance case nie jest procesem trywialnym. Obejmuje to kroki związane z definiowaniem właściwych celów i kontekstu, przekonującego wnioskowania i zapewnienia dowodów wspierających. Zwykle wiele kwestii związanych z nieprzekonującymi lub źle ustrukturyzowanymi argumentami, niepopartymi właściwymi przesłankami, niekompletnymi lub nieaktualnymi dowodami musi zostać rozwiązanych, aby uzyskać poprawną i akceptowalną argumentację assurance case. Sprawne i efektywne […]
Argumentacja w NOR-STA może być dzielona na mniejsze części aby zarządzać złożonością, wyróżnić odpowiedzialności, rozdzielić zagadnienia lub umożliwić współdzielenie wybranych zagadnień. Wiele standardów ma wspólne obszary i ich wymagania nakładają się. Można podzielić argumentację na moduły obejmujące poszczególne zagadnienia tak, aby mogły być łatwo użyte podczas wykazywania zgodności z innymi standardami. Można też używać modułów […]
Argumentacje zgodności oraz bezpieczeństwa często zawierają powtarzające się struktury informacji i wymagań zgodności. Szablony umożliwiają ich wielokrotne stosowanie. Szablony argumentacji w NOR-STA pozwalają na: ‒ wielokrotne użycie fragmentów argumentacji poprzez utworzenie szablonu, ‒ aktualizowanie argumentacji do bieżącej wersji szablonu, ‒ kaskadowe użycie szablonów (szablon dla szablonu), ‒ dynamiczne podłączanie argumentacji do szablonów oraz odłączanie, ‒ […]