Assurance case – argumentacje wiarygodności

PREMIS pozwala efektywnie rozwijać
argumentacje assurance case

  • Rozwój i udostępnianie argumentacji online
  • Integracja z dowodami w repozytoriach
  • Samoocena, przeglądy własne oraz strony trzeciej
  • Dynamiczne dowody,
    Safety Performance Indicators (SPI)
  • Generowanie raportów assurance case
  • Stała komunikacja użytkowników i chat
  • Asystent AI wspierający rozwój i przeglądy
  • Szablony argumentacji
  • Łączenie assurance case z projektami zgodności
  • Integracja z innymi narzędziami
    przez PREMIS API lub w procesach CI/CD

Możesz przeglądać przykładową argumentację bez rejestracji

Możesz rozwijać jeden assurance case
za darmo w PREMIS

Pokażemy działanie PREMIS
oraz przedstawimy zasady licencji

Co to jest assurance case?

Jak to działa? Po co te diagramy?
Co w praktyce daje ich zastosowanie?
Dlaczego podnoszą sprawność weryfikacji systemu?

Przeczytaj podstawowe informacje

Przeczytaj więcej o PREMIS

     

Rozwój argumentacji GSN

W PREMIS możesz tworzyć modularne assurance case zgodnie stosując GSN (Goal Structuring Notation). PREMIS wspiera Core GSN, modularność oraz częściowo Argument Pattern Extensions.

Metamodel argumentacji w PREMIS jest zgodny argument z OMG SACM oraz ISO/IEC 15026.

Możesz też tworzyć Eliminative Argumentation, to znaczy dodawać przeszkody (defaters) w swoich argumentacjach.

Rozwój argumentacji może być prowadzony przez zespoły, wyniki mogą być przekazywane przez funkcje eksportu/importu XML lub tekstu (LTAC). Prace mogą być też wspierane przez Asystenta AI.

Assurance case tool - GSN Diagram
modular assurance case GSN

Zarządzanie modułami argumentacji

Duże argumentacje mogą być dzielone na moduły, które mogą
być niezależnie zarządzane.
To skuteczny sposób podziału pracy
i odpowiedzialności.
W systemie PREMIS można przypisać indywidualne uprawnienia użytkownika do każdego modułu.

Moduły argumentacji można powiązać z interfejsami, a ocena modułów wspierających jest automatycznie raportowana do modułów wyższego poziomu. System PREMIS implementuje każdy typ interfejsów określony w standardzie GSN: away-elements, obsługiwane przez moduł i obsługiwane przez kontrakt.

Zarządzanie uprawnieniami

  • Nadawanie uprawnień na poziomie modułów argumentacji
    i  folderów modułów
  • Kontrola dostępu oparta na rolach
    (RBAC – Role-based access control)
  • Predefiniowane role managera, edytora, audytora, czytelnika
  • Definiowanie dowolnych ról przez administratorów
  • System ponad 40 uprawnień do różnych akcji w PREMIS

collaborative assurance case development
assurance case assessment

Ocena argumentacji

  • Zintegrowane funkcje oceny argumentacji
  • Dostępne metody oceny uwzględniające niepewność, punktowe i inne
  • Automatyczna agregacja ocen
  • Raportowanie wyników oceny
  • Kontrola ocen negatywnych i niewykonanych ocen

Raportowanie postępu i wyników

  • Wizualizacja stanu argumentacji w skali kolorów
  • Kastomizowane raporty do MS Excel, Word oraz PDF
  • Definiowanie szablonów raportów
  • Programowalne raporty HTML z użyciem skryptów XSL
assurance case reporting
PREMIS może być hostowany lokalnie lub w chmurze, np. Azure lub AWS

Integracja z innymi systemami

Rozwiązanie PREMIS można wdrożyć lokalnie lub w chmurze, na przykład Azure lub AWS. Można wykonać integrację
z dostawcami tożsamości, takimi jak Entra ID.

API systemu PREMIS umożliwia integrację z dowolnymi systemami. Można również zintegrować PREMIS z procesami CI/CD, aby automatycznie generować i aktualizować argumentacje assurance case na podstawie danych z procesów DevSecOps.