2017

  • Integracja argumentacji bezpieczeństwa z modelami systemów

      Argumentacje wiarygodności, a w szczególności bezpieczeństwa, systemów odnoszą się często do elementów tych systemów, co powinno być zawsze realizowane w sposób jednoznaczny. Rozwiązaniem zapewniającym kompletność i poprawność relacji argumentacji do system jest formalne jej powiązanie z modelami systemu. 12 września odbyła się na warsztatach ASSURE (5th International Workshop on Assurance Cases for Software-intensive Systems) […]