No/VOL: 09/2010 Page no. 179
Authors: Marian Jureczko , Paweł Skrobanek :
Title: Oprogramowanie wspomagające analizę drzew niezdatności z zależnościami czasowymi
Abstract: 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.
Key words: drzewa niezdatności z zależnościami czasowymi, oprogramowanie do analizy drzew niezdatności