Minimal Cut-Sets Analyzer
© 2026 Wolfgang Freese, Overath (Germany)
Anonim
LITE
· maks. 3 analiz dziennie
Zaloguj się, aby uzyskać nieograniczone analizy Lite
Logowanie przez magic-link e-mailem — bez hasła.
Wyślij link
Plik wejściowy (.txt)
lub załaduj przykład:
SensorVoting
WMCU
DWR
CardioSys
SmartGrid
AEB
BMS
ETCS_OBU
RBC
FADEC
Autoland
StockPrice
ACC
LKA
Rząd (opcjonalnie, 1–10)
Uruchom analizę
Podgląd (diagram architektury)
Podgląd (drzewo błędów)
Analiza w toku ·
0
kandydatów cut-set
Krok
–
· maks. rząd
–
Liczba kandydatów zmienia się podczas etapów łączenia — to normalne zachowanie algorytmu, nie błąd.
Pobierz wyniki (ZIP)
