FFORT: A benchmark suite for fault tree analysis

Enno Jozef Johannes Ruijters, Carlos Esteban Budde, Muhammad Chenariyan Nakhaee, Mariëlle Ida Antoinette Stoelinga, Doina Bucur, Djoerd Hiemstra, Stefano Schivo

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Downloads (Pure)

    Abstract

    This paper presents FFORT (the Fault tree FOResT): A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata. Fault trees are a common formalism in reliability engineering, and the FFORT benchmark brings together a large and representative suite of fault tree models. The benchmark provides each fault tree model in standard Galileo format, together with references to its origin, and a textual and/or graphical description of the tree. This includes quantitative information such as failure rates, and the results of quantitative analyses of standard reliability metrics, such as the system reliability, availability and mean time to failure. Thus, the FFORT benchmark provides: (1) Examples of how fault trees are used in various domains; (2) A large class of tree models to evaluate fault tree methods and tools; (3) Results of analyses to compare newly developed methods with the benchmark results. Currently, the benchmark suite contains 202 fault tree models of great diversity in terms of size, type, and application domain. The benchmark offers statistics on several relevant model features, indicating e.g. how often such features occur in the benchmark, as well as search facilities for fault tree models with the desired features. In addition to the trees already collected, the website provides a user-friendly submission page, allowing the general public to contribute with more fault trees and/or analysis results with new methods. Thereby, we aim to provide an open-access, representative collection of fault trees at the state of the art in modeling and analysis.
    Original languageEnglish
    Title of host publicationESREL 2019: Proceedings of the 29th European Safety and Reliability Conference
    EditorsMichael Beer, Enrico Zio
    PublisherResearch Publishing
    Pages22-26
    Publication statusPublished - 2019
    Event29th European Safety and Reliability Conference, ESREL 2019 - Welfenschloss, Hannover, Germany
    Duration: 22 Sep 201926 Sep 2019
    Conference number: 29
    https://esrel2019.org/#/

    Conference

    Conference29th European Safety and Reliability Conference, ESREL 2019
    Abbreviated titleESREL 2019
    CountryGermany
    CityHannover
    Period22/09/1926/09/19
    Internet address

    Fingerprint

    analysis
    metadata
    engineering
    modeling
    method
    statistics
    public
    state of the art
    rate

    Cite this

    Ruijters, E. J. J., Budde, C. E., Chenariyan Nakhaee, M., Stoelinga, M. I. A., Bucur, D., Hiemstra, D., & Schivo, S. (2019). FFORT: A benchmark suite for fault tree analysis. In M. Beer, & E. Zio (Eds.), ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference (pp. 22-26). Research Publishing.
    Ruijters, Enno Jozef Johannes ; Budde, Carlos Esteban ; Chenariyan Nakhaee, Muhammad ; Stoelinga, Mariëlle Ida Antoinette ; Bucur, Doina ; Hiemstra, Djoerd ; Schivo, Stefano . / FFORT: A benchmark suite for fault tree analysis. ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. editor / Michael Beer ; Enrico Zio. Research Publishing, 2019. pp. 22-26
    @inproceedings{41e6439cd9c54d5fb5ce9acb0f261150,
    title = "FFORT: A benchmark suite for fault tree analysis",
    abstract = "This paper presents FFORT (the Fault tree FOResT): A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata. Fault trees are a common formalism in reliability engineering, and the FFORT benchmark brings together a large and representative suite of fault tree models. The benchmark provides each fault tree model in standard Galileo format, together with references to its origin, and a textual and/or graphical description of the tree. This includes quantitative information such as failure rates, and the results of quantitative analyses of standard reliability metrics, such as the system reliability, availability and mean time to failure. Thus, the FFORT benchmark provides: (1) Examples of how fault trees are used in various domains; (2) A large class of tree models to evaluate fault tree methods and tools; (3) Results of analyses to compare newly developed methods with the benchmark results. Currently, the benchmark suite contains 202 fault tree models of great diversity in terms of size, type, and application domain. The benchmark offers statistics on several relevant model features, indicating e.g. how often such features occur in the benchmark, as well as search facilities for fault tree models with the desired features. In addition to the trees already collected, the website provides a user-friendly submission page, allowing the general public to contribute with more fault trees and/or analysis results with new methods. Thereby, we aim to provide an open-access, representative collection of fault trees at the state of the art in modeling and analysis.",
    author = "Ruijters, {Enno Jozef Johannes} and Budde, {Carlos Esteban} and {Chenariyan Nakhaee}, Muhammad and Stoelinga, {Mari{\"e}lle Ida Antoinette} and Doina Bucur and Djoerd Hiemstra and Stefano Schivo",
    year = "2019",
    language = "English",
    pages = "22--26",
    editor = "Michael Beer and Enrico Zio",
    booktitle = "ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference",
    publisher = "Research Publishing",

    }

    Ruijters, EJJ, Budde, CE, Chenariyan Nakhaee, M, Stoelinga, MIA, Bucur, D, Hiemstra, D & Schivo, S 2019, FFORT: A benchmark suite for fault tree analysis. in M Beer & E Zio (eds), ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. Research Publishing, pp. 22-26, 29th European Safety and Reliability Conference, ESREL 2019, Hannover, Germany, 22/09/19.

    FFORT: A benchmark suite for fault tree analysis. / Ruijters, Enno Jozef Johannes; Budde, Carlos Esteban; Chenariyan Nakhaee, Muhammad ; Stoelinga, Mariëlle Ida Antoinette; Bucur, Doina ; Hiemstra, Djoerd ; Schivo, Stefano .

    ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. ed. / Michael Beer; Enrico Zio. Research Publishing, 2019. p. 22-26.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - FFORT: A benchmark suite for fault tree analysis

    AU - Ruijters, Enno Jozef Johannes

    AU - Budde, Carlos Esteban

    AU - Chenariyan Nakhaee, Muhammad

    AU - Stoelinga, Mariëlle Ida Antoinette

    AU - Bucur, Doina

    AU - Hiemstra, Djoerd

    AU - Schivo, Stefano

    PY - 2019

    Y1 - 2019

    N2 - This paper presents FFORT (the Fault tree FOResT): A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata. Fault trees are a common formalism in reliability engineering, and the FFORT benchmark brings together a large and representative suite of fault tree models. The benchmark provides each fault tree model in standard Galileo format, together with references to its origin, and a textual and/or graphical description of the tree. This includes quantitative information such as failure rates, and the results of quantitative analyses of standard reliability metrics, such as the system reliability, availability and mean time to failure. Thus, the FFORT benchmark provides: (1) Examples of how fault trees are used in various domains; (2) A large class of tree models to evaluate fault tree methods and tools; (3) Results of analyses to compare newly developed methods with the benchmark results. Currently, the benchmark suite contains 202 fault tree models of great diversity in terms of size, type, and application domain. The benchmark offers statistics on several relevant model features, indicating e.g. how often such features occur in the benchmark, as well as search facilities for fault tree models with the desired features. In addition to the trees already collected, the website provides a user-friendly submission page, allowing the general public to contribute with more fault trees and/or analysis results with new methods. Thereby, we aim to provide an open-access, representative collection of fault trees at the state of the art in modeling and analysis.

    AB - This paper presents FFORT (the Fault tree FOResT): A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata. Fault trees are a common formalism in reliability engineering, and the FFORT benchmark brings together a large and representative suite of fault tree models. The benchmark provides each fault tree model in standard Galileo format, together with references to its origin, and a textual and/or graphical description of the tree. This includes quantitative information such as failure rates, and the results of quantitative analyses of standard reliability metrics, such as the system reliability, availability and mean time to failure. Thus, the FFORT benchmark provides: (1) Examples of how fault trees are used in various domains; (2) A large class of tree models to evaluate fault tree methods and tools; (3) Results of analyses to compare newly developed methods with the benchmark results. Currently, the benchmark suite contains 202 fault tree models of great diversity in terms of size, type, and application domain. The benchmark offers statistics on several relevant model features, indicating e.g. how often such features occur in the benchmark, as well as search facilities for fault tree models with the desired features. In addition to the trees already collected, the website provides a user-friendly submission page, allowing the general public to contribute with more fault trees and/or analysis results with new methods. Thereby, we aim to provide an open-access, representative collection of fault trees at the state of the art in modeling and analysis.

    M3 - Conference contribution

    SP - 22

    EP - 26

    BT - ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference

    A2 - Beer, Michael

    A2 - Zio, Enrico

    PB - Research Publishing

    ER -

    Ruijters EJJ, Budde CE, Chenariyan Nakhaee M, Stoelinga MIA, Bucur D, Hiemstra D et al. FFORT: A benchmark suite for fault tree analysis. In Beer M, Zio E, editors, ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. Research Publishing. 2019. p. 22-26