Zarówno bezpieczeństwo (safety), jak i zabezpieczenia (security) systemu to krytyczne cele, ale nie zawsze są ze sobą zgodne. Wytyczne opublikowane przez SCSC w marcu tego roku zalecają framework współzapewnienia dla safety oraz security assurance case. Główna zasada dotyczy określania jawnie punktów synchronizacji między zapewnieniem bezpieczeństwa a zabezpieczeniami. Poradnik proponuje Safety-Security Assurance Framework (SSAF), które obejmują […]

Chat w zespole pracującym nad assurance case usprawnia współpracę i umożliwia łatwą wymianę informacji wprost w narzędziu. Dyskusja w naturalny sposób jest związana z miejscami argumentacji, których dotyczy i gdzie wprowadzane są zmiany. Dodanie priorytetów do chatu pozwala wyróżnić główne wątki rozmów dla sprawnego rozwoju argumentacji. https://www.argevide.com/video/en/gsn-5-chat.mp4 Często pracujemy nad assurance case w rozproszonych zespołach, […]

Bloki konstrukcyjne argumentacji zostały pierwotnie zaproponowane dla assurance case w notacji CAE, ale podejście jest uniwersalne i można je stosować dla innych notacji, jak GSN. Koncepcja bloków konstrukcyjnych mówi, że istnieje pięć typów możliwych sposobów wsparcia postulatów w argumentacji – można przedstawić dowód lub użyć jednego z czterech typów strategii: dekompozycji, substytucji, konkretyzacji lub wyliczenia […]