Assurance case rzadko powstaje od razu w całości. Argumentacja dojrzewa razem z systemem: jest rozwijana, komentowana, uzupełniana, recenzowana i poprawiana, a każdy z tych kroków wymaga zaangażowania i czasu doświadczonych inżynierów. Poniżej pokazujemy, jak ten cykl może być przyspieszony dzięki zastosowaniu narzędzi AI połączonych z PREMIS przez protokół MCP. Istotne jest to, że inżynier może […]
Audytowalność to ważny aspekt systemów stosowanych w branżach krytycznych, takich jak automotive, energetyka, lotnictwo czy przemysł farmaceutyczny. W tym ostatnim stosowane jest pojęcie audit trail (ścieżka audytu), co oznacza automatycznie tworzony i zabezpieczony zapis historii działań wykonywanych w systemie. PREMIS implementuje zapisy audit trail zgodnie z zasadami ALCOA+, które zapewniają skuteczność i użyteczność tych zapisów. […]
PREMIS implementuje podejście zorientowane na cele, co jest skuteczne przy wdrażaniu i kontroli takich regulacji, jak CRA (Cyber Resilience Act). Osiągnięcie cyberodporności wymaga skoordynowanych procesów oraz utrzymania spójności oraz aktualności wielu ich wyników stanowiących dowody zgodości. To staje się łatwiejsze dzięki stosowaniu PREMIS. Nic nie zastąpi sprawnego procesu technicznego monitorowania cyberbezpieczeństwa czy obsługi podatności i […]
Systemy kosmiczne są rozwijane stosując z zastosowaniem rygorystycznych procesów, w Europie najczęściej zgodnie ze standardami ECSS (European Cooperation for Space Standardization). Standardy te opisują procesy zapewniające kosmiczny wręcz poziom bezpieczeństwa i niezawodności w realizacji misji. Stosowanie assurance case nie jest wprost wymagane przez standardy ECSS, ale w praktyce dla złożonych systemów assurance case jest często […]
Regulacje i standardy w niektórych branżach wymagają, aby organizacja zachowywała gotowość do kontroli, audytu lub inspekcji. Przykładem mogą być wymagania GMP (Good Manufacturing Practices) w przemyśle farmaceutycznym, MDR (Medical Device Regulation) dla wyrobów medycznych, a ostatnio też AI Act dla systemów AI wysokiego ryzyka. Utrzymanie gotowości do kontroli wymaga skoordynowanej współpracy zaangażowanych jednostek i tu […]
Wiarygodność i kompletność dokumentacji ma kluczowe znaczenie w certyfikacji systemów. Zastosowanie AI skutecznie przyspiesza przygotowanie takiej dokumentacji, ale może jednocześnie mieć wpływ na jej jakość. Jak efektywnie sprawdzać taką dokumentację, gdy jest duża? Ważne jest, aby informacje były przedstawiane w formie ułatwiającej realizację przeglądów przez człowieka. Taką formą są strukturalne argumentacje assurance case. Ułatwiają prowadzenie […]
Certyfikacja systemów AI to złożony proces, który obejmuje zarówno regulacje dotyczące AI, jak i regulacje branżowe. W szczególności rozporządzenie AI Act (EU 2024/1689) definiuje pojęcie systemów wysokiego ryzyka, dla których zostały określone dodatkowe wymagania. Dla tak złożonego procesu, zastosowanie assurance case daje możliwość efektywnego zarządzania rozwojem systemu dla jego certyfikacji. AI Act definiuje systemy wysokiego […]
Assurance case stosowany w systematyczny i profesjonalny sposób może być podstawowym narzędziem komunikacji w pracach zapewnienia bezpieczeństwa systemu, wczesnym wykrywaniu problemów i zagrożeń oraz podejmowaniu decyzji dotyczących bezpieczeństwa. Może być istotnym czynnikiem wpływającym na efektywność całego procesu rozwoju systemu. Ale gdy nie jest rozwijany we właściwy sposób, może stać się kosztowym i nikomu niepotrzebnym artefaktem. […]
Stosowanie narzędzi CI/CD jest coraz bardziej powszechne w rozwoju systemów krytycznych. Te same narzędzia mogą być też stosowane do automatyzacji tworzenia i utrzymania assurance case w zakresie struktury argumentacji i dowodów oraz weryfikacji i aktualizacji danych o statusie. Proces CI/CD a assurance case Zacznijmy od pojęcia procesów automatyzacji CI/CD (Continuous Integration i Continuous Delivery/Deployment) i […]
Argumentacja przez eliminację (Eliminative Argumentation) jest alternatywnym podejściem do budowy assurance case. Zwykle argumentacja jest budowa w sposób pozytywny i koncentruje się na zapewnieniu dlaczego uważamy, że cel został osiągnięty. Argumentacja przez eliminację polega na stałym zadaniu pytania „a jeżeli?”. Struktura argumentacji może być całkiem podobna do zwykłej argumentacji pozytywnej, ale chodzi tu o nastawienie […]
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 […]