Michał

Author Archives

  • Wsparcie dla argumentacji zgodnie z Core GSN w NOR-STA

    NOR-STA wspiera trzy modele argumentacji assurance case włączając w to GSN. Obecnie implementowane są pełne wymagania Core GSN zgodnie z wersją 3.0 standardu GSN. Wydana wczoraj wersja 7.9 systemu NOR-STA wspiera ostatnie brakujące rodzaje relacji. Obecnie możesz w swojej argumentacji w NOR-STA: definiować postulaty wspierane bezpośrednio przez inne postulaty, dołączać uzasadnienia i założenia bezpośrednio do […]

  • Spotkanie NUG: Automatyzacja rozwoju assurance case

    Assurance case są obecne najczęściej rozwijane i oceniane przede wszystkim ręcznie. Automatyzacja tych procesów może potencjalnie oszczędzić czas i pieniądze, a także poprawić spójność między assurance case a powiązanymi systemami. Pojawiają się pytania, co można i co należy zautomatyzować w rozwijaniu argumentacji, zarządzaniu dowodami, przeglądach argumentacji i zarządzaniu zmianami oraz kiedy możemy zaufać zautomatyzowanym procesom.Podczas […]

  • Wsparcie argumentacji GSN i ISO 15026

    Tworzenie assurance case zgodnie ze standardem GSN oraz zgodnie ze standardem ISO 15026 jest teraz możliwe w wersji 7.8 systemu NOR-STA. Oba standardy są powszechnie stosowane, jednak istnieją między nimi różnice, w tym w nazewnictwie elementów argumentacji.W nowej wersji są też dostępne funkcje edycji argumentacji w widoku prostym. Podczas pracy w widoku prostym stosowane są […]

  • Spotkanie NUG: Profile zabezpieczeń cyberbezpieczeństwa dla komponentów systemów

    Profile zabezpieczeń (Protection Profiles) cyberbezpieczeństwa określają wymagania bezpieczeństwa, które mają zastosowanie do określonego komponentu, i które wymagają weryfikacji. Profile zabezpieczeń są używane dla komponentów IACS w celu wykazania spełnienia wymagań normy IEC 62443, a także dla urządzeń medycznych w kontekście normy IEC TR 60601-4-5.Podczas spotkania będziemy omawiać zagadnienia definiowania profilów zabezpieczeń dla klasy komponentów systemu […]

  • Spotkanie NUG: Zarządzanie założeniami – demonstratory w NOR-STA

    Założenia odgrywają ważną rolę w assurance case i należy nimi odpowiednio zarządzać dla zapewnienia wiarygodności argumentacji. Na naszym marcowym spotkaniu omówiliśmy główne role, jakie założenia mogą odgrywać. Na następnym spotkaniu omówimy zarządzanie założeniami i przedstawimy demonstratory w NOR-STA. Skoncentrujemy się na trzech rolach założeń: zamykanie otwartych argumentów, reprezentowanie ograniczeń kontekstowych dla postulatów, reprezentowanie słabych punktów […]

  • Spotkanie NUG: Założenia – ich rola i miejsce w argumentacjach bezpieczeństwa

    Budując argumentacje bezpieczeństwa systemów często stosujemy założenia i pełnią one różne role. Mogą określać kontekst dla naszej argumentacji albo założenia, które powinny być spełnione przez inne moduły. Założenia mogą też odnosić się do słabych punktów argumentacji lub być stosowane w ramach argumentacji zaufania (confidence argument).Zapraszamy na kolejne spotkanie grupy użytkowników NOR-STA (NOR-STA User Group), które […]

  • Diagramy GSN w NOR-STA

    Nowa wersja NOR-STA wdrożona na początku listopada wprowadza nowy moduł umożliwiający tworzenie zaawansowanych diagramów GSN. Notacja GSN jest najbardziej popularną notacją graficznej prezentacji argumentacji. Obecnie możesz tworzyć i utrzymywać diagramy GSN w NOR-STA, eksportować grafikę i stosować ją do prezentacji webowej i w dokumentacji. Działanie nowego modułu dla diagramów GSN możesz obejrzeć w krótkich filmach: […]

  • Spotkanie NUG – Zarządzanie argumentacją bezpieczeństwa z użyciem metadanych

    Struktura argumentacji bezpieczeństwa często bazuje na szablonach i wzorcach specyficznych dla analizowanych komponentów, atrybutów lub właściwości. Metadane opisujące analizowany system oraz jego otoczenie mogą posłużyć do zarządzania strukturą argumentacji oraz do jej weryfikacji. Zapraszamy na kolejne spotkanie grupy użytkowników NOR-STA (NOR-STA User Group), które odbędzie się 14 października. Głównym tematem spotkania będzie stosowanie metadanych w […]

  • Spotkanie NUG – Jakość i ocena argumentacji

    Zapraszamy na kolejne spotkanie grupy użytkowników NOR-STA (NOR-STA User Group), które odbędzie się 9 września. Głównym tematem spotkania będzie „Jakość i ocena argumentacji”. Będzie to obejmować zagadnienia: czym jest dobra argumentacja, mechanizmy oceny argumentacji, stosowanie argumentacji zaufania (confidence argument). Zapraszamy uczestników do dzielenia się doświadczeniami i dobrymi praktykami stosowania assurance cases. Spotkania NOR-STA User Group […]

  • Spotkanie NUG – Czego się nauczyliśmy

    Zapraszamy na kolejne spotkanie grupy użytkowników NOR-STA (NOR-STA User Group), które odbędzie się 10 czerwca. Głównym tematem spotkania będzie „Czego się nauczyliśmy – podsumowanie spotkań NUG”. Będzie to obejmować zagadnienia: Zarządzanie dowodami i procesem oceny Zarządzanie modułami argumentacji Roadmapa NOR-STA Zapraszamy uczestników do dzielenia się doświadczeniami i dobrymi praktykami stosowania assurance cases. Spotkania NOR-STA User […]