Assurance cases zazwyczaj opierają się na argumentach dotyczących bezpieczeństwa funkcjonalnego, aby wykazać, że awarie nie spowodują niebezpiecznych sytuacji. Jednak wypadki mogą mieć też inne przyczyny związane z zachowaniem systemu niż awarie. Właśnie tutaj pojawia się SOTIF. Skrót ten oznacza bezpieczeństwo zamierzonej funkcjonalności. Co to oznacza? Obejmuje on łagodzenie czynników ryzyja związanych z nieoczekiwanymi sytuacjami lub […]
Podczas pracy z argumentacjami assurance case użyteczny może być prosty tekstowy format ich opisu. Chodzi o to, aby taka tekstowa argumentacja była możliwa do zrozumienia dla człowieka oraz do stosowania z narzędziami AI, a jednocześnie formalnie zdefiniowana, aby można było takie argumentacje importować do edytorów assurance case. W takim właśnie celu wprowadzamy LTAC – Lightweight […]
Argumentacje zaufania (confidence argument) pomagają uzasadnić, że główne argumentacje w assurance case są skuteczne i wiarygodne. Podczas gdy argumentacja główna bezpośrednio odnosi się do bezpieczeństwa systemu, celem argumentacji zaufania jest odpowiedź na pytanie, dlaczego powinniśmy ufać, że argumentacja główny jest wiarygodna. Niektóre standardy i wytyczne, a także niektóre organizacje certyfikujące, wymagają wykazania wprost argumentacji zaufania, […]
Pracujemy nad rozszerzeniem wzorców GSN o powiązania do modeli kontekstowych systemu. Wzorce GSN obejmują abstrakcję argumentacji, ale szczegóły jak ona działa nie są dokładnie opisane. Można zdefiniować postulat „{System S} jest wystarczająco bezpieczny”, ale Standard GSN nie powie, w jaki sposób zarządzać parametrem S. Można znaleźć publikacje, jak argumentacje bazujące na modelach mogą działać dla […]
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Regulamin NOR-STA Demo
Przeczytaj poniższe warunki przed rozpoczęciem użytkowania NOR-STA Demo.
Argevide Sp. z o.o. z siedzibą w Gdańsku przy ul. Gabriela Narutowicza 11/12, 80-233 Gdańsk świadczy usługę Demo dla Ciebie pod warunkiem zaakceptowania poniższych warunków.
Zgadzasz się korzystać z usługi NOR-STA Demo wyłącznie do celów zgodnych z prawem i w sposób, który nie narusza praw, nie ogranicza ani nie powstrzymuje korzystania z usługi przez osoby trzecie.
Usługi udostępniane są „takie, jakie są” i są używane przez Ciebie na Twoje wyłączne ryzyko i odpowiedzialność. Argevide nie ponosi odpowiedzialności za wszelkie szkody majątkowe i niemajątkowe odniesione przez Ciebie lub osoby trzecie w wyniku użycia NOR-STA Demo.
Wszelkie informacje przesyłane przez Ciebie do NOR-STA Demo, w tym wszelkie dane, pytania i komentarze, będą traktowane jako informacje niepoufne i niezastrzeżone.
Dla korzystania z NOR-STA Demo konieczna jest przeglądarka internetowa. Usługi są testowane dla aktualnych wersji przeglądarek Mozilla Firefox, Google Chrome oraz Microsoft Edge. Konieczne jest włączenie w przeglądarce obsługi ciasteczek (cookies) oraz JavaScript.
Niniejszy Regulamin reguluje prawo polskie i jest on interpretowany zgodnie z prawem polskim. Wszelkie spory będą rozstrzygane przez sądy miejscowo właściwe dla siedziby Argevide.
Jeśli nie akceptujesz w pełni niniejszego Regulaminu, to korzystanie z usługi NOR-STA Demo musi zostać natychmiast zakończone.
