<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01991781</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-03T17:01:18+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Free and open source fault tree analysis tools survey</title>
            <author role="aut">
              <persName>
                <forename type="first">Anis</forename>
                <surname>Baklouti</surname>
              </persName>
              <idno type="halauthorid">1224548-0</idno>
              <affiliation ref="#struct-424268"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nga</forename>
                <surname>Nguyen</surname>
              </persName>
              <email type="md5">abe969b4bbcbedd72f0291eaca058785</email>
              <email type="domain">devinci.fr</email>
              <idno type="idhal" notation="string">nga-nguyen</idno>
              <idno type="idhal" notation="numeric">16975</idno>
              <idno type="halauthorid" notation="string">795566-16975</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3273-8272</idno>
              <idno type="IDREF">https://www.idref.fr/184388937</idno>
              <affiliation ref="#struct-424268"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Yves</forename>
                <surname>Choley</surname>
              </persName>
              <email type="md5">758634e1045097224e608ed4df78f6be</email>
              <email type="domain">isae-supmeca.fr</email>
              <idno type="idhal" notation="string">jean-yves-choley</idno>
              <idno type="idhal" notation="numeric">15231</idno>
              <idno type="halauthorid" notation="string">20878-15231</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9960-6808</idno>
              <idno type="IDREF">https://www.idref.fr/087795191</idno>
              <affiliation ref="#struct-204814"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Faïda</forename>
                <surname>Mhenni</surname>
              </persName>
              <email type="md5">c562d8b9d1e4971c004a2a59b10b3ac6</email>
              <email type="domain">supmeca.fr</email>
              <idno type="idhal" notation="string">faida-mhenni</idno>
              <idno type="idhal" notation="numeric">171969</idno>
              <idno type="halauthorid" notation="string">25223-171969</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6990-6164</idno>
              <idno type="IDREF">https://www.idref.fr/184340543</idno>
              <affiliation ref="#struct-424268"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Abdelfattah</forename>
                <surname>Mlika</surname>
              </persName>
              <idno type="halauthorid">1503625-0</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Anis</forename>
                <surname>Baklouti</surname>
              </persName>
              <email type="md5">2a5aa32f2030c17040bcc41317fad6bc</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-01-24 09:34:16</date>
              <date type="whenModified">2025-10-06 17:20:04</date>
              <date type="whenReleased">2019-01-24 09:34:16</date>
              <date type="whenProduced">2017-04-24</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="690036">
                <persName>
                  <forename>Anis</forename>
                  <surname>Baklouti</surname>
                </persName>
                <email type="md5">2a5aa32f2030c17040bcc41317fad6bc</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01991781</idno>
            <idno type="halUri">https://hal.science/hal-01991781</idno>
            <idno type="halBibtex">baklouti:hal-01991781</idno>
            <idno type="halRefHtml">&lt;i&gt;Systems Conference (SysCon), 2017 Annual IEEE International&lt;/i&gt;, Apr 2017, Montreal, Canada. pp.1-8, &lt;a target="_blank" href="https://dx.doi.org/10.1109/SYSCON.2017.7934794"&gt;&amp;#x27E8;10.1109/SYSCON.2017.7934794&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Systems Conference (SysCon), 2017 Annual IEEE International, Apr 2017, Montreal, Canada. pp.1-8, &amp;#x27E8;10.1109/SYSCON.2017.7934794&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS8" corresp="UNIV-PARIS-LUMIERES">Université Paris VIII Vincennes-Saint Denis</idno>
            <idno type="stamp" n="LISMMA" corresp="UNIV-PARIS8">Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux</idno>
            <idno type="stamp" n="QUARTZ" corresp="UNIV-PARIS8">Publications du laboratoire QUARTZ - IPGP</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="SUPMECA">ISAE-SUPMECA</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Free and open source fault tree analysis tools survey</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Anis</forename>
                    <surname>Baklouti</surname>
                  </persName>
                  <idno type="halauthorid">1224548-0</idno>
                  <affiliation ref="#struct-424268"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nga</forename>
                    <surname>Nguyen</surname>
                  </persName>
                  <email type="md5">abe969b4bbcbedd72f0291eaca058785</email>
                  <email type="domain">devinci.fr</email>
                  <idno type="idhal" notation="string">nga-nguyen</idno>
                  <idno type="idhal" notation="numeric">16975</idno>
                  <idno type="halauthorid" notation="string">795566-16975</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3273-8272</idno>
                  <idno type="IDREF">https://www.idref.fr/184388937</idno>
                  <affiliation ref="#struct-424268"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Yves</forename>
                    <surname>Choley</surname>
                  </persName>
                  <email type="md5">758634e1045097224e608ed4df78f6be</email>
                  <email type="domain">isae-supmeca.fr</email>
                  <idno type="idhal" notation="string">jean-yves-choley</idno>
                  <idno type="idhal" notation="numeric">15231</idno>
                  <idno type="halauthorid" notation="string">20878-15231</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9960-6808</idno>
                  <idno type="IDREF">https://www.idref.fr/087795191</idno>
                  <affiliation ref="#struct-204814"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Faïda</forename>
                    <surname>Mhenni</surname>
                  </persName>
                  <email type="md5">c562d8b9d1e4971c004a2a59b10b3ac6</email>
                  <email type="domain">supmeca.fr</email>
                  <idno type="idhal" notation="string">faida-mhenni</idno>
                  <idno type="idhal" notation="numeric">171969</idno>
                  <idno type="halauthorid" notation="string">25223-171969</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6990-6164</idno>
                  <idno type="IDREF">https://www.idref.fr/184340543</idno>
                  <affiliation ref="#struct-424268"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Abdelfattah</forename>
                    <surname>Mlika</surname>
                  </persName>
                  <idno type="halauthorid">1503625-0</idno>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Systems Conference (SysCon), 2017 Annual IEEE International</title>
                  <date type="start">2017-04-24</date>
                  <date type="end">2017-04-27</date>
                  <settlement>Montreal</settlement>
                  <country key="CA">Canada</country>
                </meeting>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="pp">1-8</biblScope>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/SYSCON.2017.7934794</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Actuators</term>
                <term xml:lang="en">Fault trees</term>
                <term xml:lang="en">Tools</term>
                <term xml:lang="en">Logic gates</term>
                <term xml:lang="en">Statistical analysis</term>
                <term xml:lang="en">Open source software</term>
              </keywords>
              <classCode scheme="halDomain" n="spi.auto">Engineering Sciences [physics]/Automatic</classCode>
              <classCode scheme="halDomain" n="phys">Physics [physics]</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-ce">Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This paper gives an in-depth survey about some free and open source tools for Fault Tree Analysis (FTA), which is one of the most used techniques in safety and reliability engineering. We have carried out a comparative study for four different tools. Firstly, OpenFTA is an open source fault tree analysis which is based on XFTA calculation engine. Secondly, OpenAltaRica platform which is a free tool that analyzes the risk of complex systems. Thirdly, ALD Fault Tree Analyzer which is a free web-based tool that analyzes static fault trees. Finally, DFTCalc which is an open source tool that analyzes dynamic fault trees based on Stochastic Model Checking techniques. To compare these tools, three representative examples are used. The first one, modeled by OpenFTA and ALD Fault Tree Analyzer, is an Electro Mechanical Actuator (EMA) used to actuate the ailerons of an aircraft, with a static fault tree containing AND gates representing redundancy mechanism. The second, modeled by DFTCalc, is a remotely controlled lawnmower with a dynamic fault tree. The third, modeled by OpenAltaRica, is an example of fault tree generation from AltaRica code. In addition, the same example of EMA system has also been modeled by Isograph Fault Tree++ in order to compare free and open source tools with some commercial tools.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-424268" status="OLD">
          <idno type="IdRef">192287427</idno>
          <idno type="RNSR">201521793C</idno>
          <orgName>Laboratoire QUARTZ</orgName>
          <orgName type="acronym">QUARTZ</orgName>
          <date type="start">2015-01-01</date>
          <date type="end">2021-03-23</date>
          <desc>
            <address>
              <addrLine>Supméca - 3 rue Fernand Hainaut - 93400 Saint-Ouen cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.laboratoire-quartz.fr</ref>
          </desc>
          <listRelation>
            <relation name="EA7393" active="#struct-11141" type="direct"/>
            <relation name="EA7393" active="#struct-265277" type="direct"/>
            <relation name="EA7393" active="#struct-300163" type="direct"/>
            <relation name="EA7393" active="#struct-322631" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-204814" status="OLD">
          <idno type="IdRef">14961246X</idno>
          <idno type="ISNI">0000 0004 6364 6378</idno>
          <idno type="RNSR">199713887M</idno>
          <orgName>Laboratoire d'Ingénierie des Systèmes Mécaniques et des MAtériaux</orgName>
          <orgName type="acronym">LISMMA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2015-01-01</date>
          <desc>
            <address>
              <addrLine>IUT de Montreuil-Université Paris 8 - 140 rue de la Nouvelle France - 93100 Montreuil</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://lismma.supmeca.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA2336" active="#struct-11141" type="direct"/>
            <relation name="EA2336" active="#struct-300163" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-11141" status="VALID">
          <idno type="IdRef">026403552</idno>
          <idno type="ISNI">0000000121083026</idno>
          <idno type="ROR">https://ror.org/04wez5e68</idno>
          <orgName>Université Paris 8</orgName>
          <orgName type="acronym">UP8</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue de la Liberté - 93526 Saint-Denis cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris8.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-265277" status="VALID">
          <idno type="ROR">https://ror.org/03qeacd72</idno>
          <orgName>Ecole Nationale Supérieure de l'Electronique et de ses Applications</orgName>
          <orgName type="acronym">ENSEA</orgName>
          <desc>
            <address>
              <addrLine>6 avenue du Ponceau - CS 20 707 Cergy - 95014 Cergy-Pontoise Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300163" status="OLD">
          <idno type="ROR">https://ror.org/04dtfqt68</idno>
          <orgName>SUPMECA - Institut supérieur de mécanique de Paris</orgName>
          <orgName type="acronym">SUPMECA</orgName>
          <date type="end">2021-03-23</date>
          <desc>
            <address>
              <addrLine>3 rue Fernand Hainaut, 93400 Saint-Ouen</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.supmeca.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-322631" status="VALID">
          <idno type="ROR">https://ror.org/01687me48</idno>
          <orgName>Ecole Internationale des Sciences du Traitement de l'Information</orgName>
          <orgName type="acronym">EISTI</orgName>
          <desc>
            <address>
              <addrLine>Avenue du Parc, 95000 Cergy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://eisti.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>