Będziemy uczestniczyć w 28. Międzynarodowym Sympozjum IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023) w Singapurze w dniach 24-27 października. Zaprezentujemy tam nasz artykuł na temat System Assurance Reference Model (SARM). Dołącz do nas na konferencji, aby wziąć udział w tym wydarzenie oraz dowiedzieć się więcej, w jaki sposób model referencyjny SARM może […]
Modularność jest skutecznym sposobem zarządzania złożonością assurance case, ale należy ją stosować w uporządkowany i systematyczny sposób, aby uzyskać rzeczywiste korzyści. Temat ten będzie omawiany przez praktyków podczas międzynarodowych warsztatów Modular Argumentation to Support Device Conformity Assessment (MASCA), które odbędą się 19 września podczas konferencji SAFECOMP 2023. Podczas warsztatu prezentowane będą praktyczne doświadczenia w stosowaniu […]
Moduły assurance case można łączyć za pomocą interfejsów. Standard GSN w wersji 3 definiuje trzy rodzaje interfejsów: obcy element (cytowanie), wsparcie przez moduł, wsparcie przez kontrakt. W naszym majowym poście zaprezentowaliśmy diagram porównujący typy interfejsów, ale przedstawiony tam schemat był zbyt uproszczony. Brakowało ważnej cechy kontraktów. Aby to skorygować, zaktualizowaliśmy ten diagram. Dodaliśmy symbol kontraktu […]
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, ‒ […]