Grafy niezdatności z zależnościami czasowymi

W pracy wprowadzono grafy niezdatności z zależnościami czasowymi. Pokazano, w których kierunkach są one rozwinięciem drzew niezdatności z zależnościami czasowymi. Grafy te użyto do zamodelowania systemu tramwajowego Miejskiego Przedsiębiorstwa Komunikacyjnego (MPK) we Wrocławiu. W tym systemie są tramwaje rezerwy zimnej. Tramwaj uszkodzony jest zastępowany rezerwowym lub jeśli zostanie naprawiony przed zakończeniem wymiany, to naprawiony podejmuje pracę, a rezerwowy jest zwalniany. Rezerwa czasowa określa długość przedziału czasu, w którym powinna być zakończona naprawa uszkodzonego tramwaju lub wymiana uszkodzonego na rezerwowy.

Fault Graphs with Time Dependencies (FGTDs), having roots in Probabilistic Fault Trees with Time Dependencies (PFTTDs), are defined in the paper. New constructs of FGTDs in comparison with PFTTDs are parametric events, parametric gates, and transitions. The transitions are based on Petri nets. The graphs were employed to model the dependability of a transportation system in which a cold spare tram acts on behalf of a damaged one after replacement time. Once the damaged tram has been repaired, the spare one returns to the pool. A time resource delimits a time interval, in which replacement with a spare tram or delivery of the damaged tram after repair should take place.