2025

  • Szablony assurance case bazujące na modelach

    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 SACM, ale nie ma takich informacji w Standardzie GSN. Pracujemy nad […]

  • Model-based assurance case templates

    GSN patterns support argument abstraction but the details of how it works are not specified. We can specify a claim “{System S} is sufficiently safe”, but the GSN standard doesn’t say how to manage the parameter S. You can find some guidance on model-based assurance cases for SACM, but this is not available in the […]