Numer: 09/2010 Str. 179
Autorzy: Marian Jureczko , Paweł Skrobanek :
Tytuł: Oprogramowanie wspomagające analizę drzew niezdatności z zależnościami czasowymi
Streszczenie: Analiza drzew niezdatności jest często stosowaną techniką wspomagającą analizę bezpieczeństwa systemów. Jednym z obszarów zastosowań są systemy czasu rzeczywistego, dla których istotne są nie tylko informacje o tym, czy hazard może wystąpić, ale również informacje związane z aspektami czasowymi. W niniejszej pracy zebrane zostały modele bramek, zaproponowano notację zdarzeń dla potrzeb generacji pliku XML oraz przedstawiono aplikację do analizy drzew niezdatności z zależnościami czasowymi podanymi zarówno numerycznie jak i parametrycznie.
Słowa kluczowe: drzewa niezdatności z zależnościami czasowymi, oprogramowanie do analizy drzew niezdatności