W odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów przyczyn, których spełnienie prowadzi do wystąpienia hazardu. Na tej podstawie można opracować czasowe wymagania bezpieczeństwa dla analizowanego systemu, jednak przy dużej liczbie minimalnych zbiorów przyczyn może to okazać się zbyt pracochłonne. W artykule zaprezentowane jest rozwiązanie mające na celu ograniczenie tego problemu poprzez automatyzację procesu określania wymagań.
Authors
Additional information
- Category
- Publikacja w czasopiśmie
- Type
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Language
- polski
- Publication year
- 2006
