2022

  • 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 […]