Naslov
Benchmark tests of a new fault tree engine BDDCUT

Autori
Banov, Reni ; Šimić, Zdenko ; Mikuličić, Vladimir

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the International Conference on Probabilistic Saftey Assesssment and Management (Vol. 4) / Kondo, S. ; Furuta, K. - Osaka : Universal Academy Press, 2000, 2659-2663

Skup
PSAM5 - International Conference on Probabilistic Saftey Assesssment and Management

Mjesto i datum
Osaka, Japan, 27.11.2000. - 01.12.2000

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
fault tree; probability; nuclear industry

Sažetak
During the development of the BDD package our implementations have been tested thoroughly to ensure both correctness and efficiency. Many of the proposed data structures and algorithms were discarded as they turned out to be either inefficient or insufficient. In this paper we will discuss the efficiency of some of the implementations in the BDD package. Firstly we briefly describe the problems we have used in the test with the BDD package. In the next section we present the results of the tests we have performed, and in the last section we analyse the results. We will use fault trees, which come from the nuclear industry to examine the efficiency of the BDD package we have implemented. We will study the running time for calculation of the probability of top event from the BDD representing the fault tree we test, and after that the running time to do calculations of different configurations.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA