2025

  • Szablony assurance case bazujące na modelach

    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 […]

  • Model-based assurance case templates

    We are working on extending GSN patterns with references to system context models. GSN patterns support argument abstraction but the details of how it works are not specified. You 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 […]