<?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-01789435</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-15T13:01:49+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The AltaRica 3.0 Project for Model-Based Safety Assessment</title>
            <author role="aut">
              <persName>
                <forename type="first">Tatiana</forename>
                <surname>Prosvirnova</surname>
              </persName>
              <email type="md5">6e8e506d179ac7cd62fbc8e15dff0749</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">tatiana-prosvirnova</idno>
              <idno type="idhal" notation="numeric">19341</idno>
              <idno type="halauthorid" notation="string">39019-19341</idno>
              <idno type="ORCID">https://orcid.org/0009-0007-9658-3501</idno>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michel</forename>
                <surname>Batteux</surname>
              </persName>
              <email type="md5">64f67ffd087873f883b635538547c292</email>
              <email type="domain">laposte.net</email>
              <idno type="idhal" notation="string">michel-batteux</idno>
              <idno type="idhal" notation="numeric">183108</idno>
              <idno type="halauthorid" notation="string">28036-183108</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5269-994X</idno>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre-Antoine</forename>
                <surname>Brameret</surname>
              </persName>
              <idno type="halauthorid">732018-0</idno>
              <affiliation ref="#struct-30464"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Abraham</forename>
                <surname>Cherfi</surname>
              </persName>
              <email type="md5">60d02e2843773dc6481d2c9b74436551</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">970809</idno>
              <idno type="halauthorid" notation="string">949223-970809</idno>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Friedlhuber</surname>
              </persName>
              <email type="md5">ad59d3a8603630892134348f850cb9f7</email>
              <email type="domain">googlemail.com</email>
              <idno type="idhal" notation="numeric">963526</idno>
              <idno type="halauthorid" notation="string">885318-963526</idno>
              <orgName ref="#struct-302313"/>
              <affiliation ref="#struct-2071"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Marc</forename>
                <surname>Roussel</surname>
              </persName>
              <email type="md5">3f40bd4b2fb449ac8bfff5184acc2e2e</email>
              <email type="domain">lurpa.ens-cachan.fr</email>
              <idno type="idhal" notation="string">jean-marc-roussel</idno>
              <idno type="idhal" notation="numeric">6996</idno>
              <idno type="halauthorid" notation="string">7488-6996</idno>
              <idno type="IDREF">https://www.idref.fr/129584630</idno>
              <affiliation ref="#struct-30464"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antoine</forename>
                <surname>Rauzy</surname>
              </persName>
              <email type="md5">ca5f2ff58dcfad936a4e1fd3c8ede2d0</email>
              <email type="domain">ntnu.no</email>
              <idno type="idhal" notation="numeric">973298</idno>
              <idno type="halauthorid" notation="string">237616-973298</idno>
              <affiliation ref="#struct-2071"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Tatiana</forename>
                <surname>Prosvirnova</surname>
              </persName>
              <email type="md5">6e8e506d179ac7cd62fbc8e15dff0749</email>
              <email type="domain">gmail.com</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-05-10 22:21:09</date>
              <date type="whenModified">2025-08-20 10:41:54</date>
              <date type="whenReleased">2018-05-23 10:27:35</date>
              <date type="whenProduced">2013-09</date>
              <date type="whenEndEmbargoed">2018-05-10</date>
              <ref type="file" target="https://hal.science/hal-01789435v1/document">
                <date notBefore="2018-05-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01789435v1/file/PBB13_DCDS2013_AltaRica3_0.pdf" id="file-1789435-1816325">
                <date notBefore="2018-05-10"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="308669">
                <persName>
                  <forename>Tatiana</forename>
                  <surname>Prosvirnova</surname>
                </persName>
                <email type="md5">6e8e506d179ac7cd62fbc8e15dff0749</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01789435</idno>
            <idno type="halUri">https://hal.science/hal-01789435</idno>
            <idno type="halBibtex">prosvirnova:hal-01789435</idno>
            <idno type="halRefHtml">&lt;i&gt;4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013&lt;/i&gt;, Sep 2013, York, United Kingdom</idno>
            <idno type="halRef">4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, Sep 2013, York, United Kingdom</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1789435-1816325"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="ENS-CACHAN">Ecole Normale Supérieure de Cachan</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</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="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="LURPA">Laboratoire Universitaire de Recherche en Production Automatisée</idno>
            <idno type="stamp" n="FARMAN">Institut Farman</idno>
            <idno type="stamp" n="ENS-PARIS-SACLAY">Ecole Normale Supérieure paris-Saclay</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
          </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">The AltaRica 3.0 Project for Model-Based Safety Assessment</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Tatiana</forename>
                    <surname>Prosvirnova</surname>
                  </persName>
                  <email type="md5">6e8e506d179ac7cd62fbc8e15dff0749</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">tatiana-prosvirnova</idno>
                  <idno type="idhal" notation="numeric">19341</idno>
                  <idno type="halauthorid" notation="string">39019-19341</idno>
                  <idno type="ORCID">https://orcid.org/0009-0007-9658-3501</idno>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michel</forename>
                    <surname>Batteux</surname>
                  </persName>
                  <email type="md5">64f67ffd087873f883b635538547c292</email>
                  <email type="domain">laposte.net</email>
                  <idno type="idhal" notation="string">michel-batteux</idno>
                  <idno type="idhal" notation="numeric">183108</idno>
                  <idno type="halauthorid" notation="string">28036-183108</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5269-994X</idno>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre-Antoine</forename>
                    <surname>Brameret</surname>
                  </persName>
                  <idno type="halauthorid">732018-0</idno>
                  <affiliation ref="#struct-30464"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Abraham</forename>
                    <surname>Cherfi</surname>
                  </persName>
                  <email type="md5">60d02e2843773dc6481d2c9b74436551</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">970809</idno>
                  <idno type="halauthorid" notation="string">949223-970809</idno>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Friedlhuber</surname>
                  </persName>
                  <email type="md5">ad59d3a8603630892134348f850cb9f7</email>
                  <email type="domain">googlemail.com</email>
                  <idno type="idhal" notation="numeric">963526</idno>
                  <idno type="halauthorid" notation="string">885318-963526</idno>
                  <orgName ref="#struct-302313"/>
                  <affiliation ref="#struct-2071"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Marc</forename>
                    <surname>Roussel</surname>
                  </persName>
                  <email type="md5">3f40bd4b2fb449ac8bfff5184acc2e2e</email>
                  <email type="domain">lurpa.ens-cachan.fr</email>
                  <idno type="idhal" notation="string">jean-marc-roussel</idno>
                  <idno type="idhal" notation="numeric">6996</idno>
                  <idno type="halauthorid" notation="string">7488-6996</idno>
                  <idno type="IDREF">https://www.idref.fr/129584630</idno>
                  <affiliation ref="#struct-30464"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antoine</forename>
                    <surname>Rauzy</surname>
                  </persName>
                  <email type="md5">ca5f2ff58dcfad936a4e1fd3c8ede2d0</email>
                  <email type="domain">ntnu.no</email>
                  <idno type="idhal" notation="numeric">973298</idno>
                  <idno type="halauthorid" notation="string">237616-973298</idno>
                  <affiliation ref="#struct-2071"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013</title>
                  <date type="start">2013-09</date>
                  <settlement>York</settlement>
                  <country key="GB">United Kingdom</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halDomain" n="info.info-pf">Computer Science [cs]/Performance [cs.PF]</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>The aim of this article is to present the AltaRica 3.0 project. " Traditional " risk modeling formalisms (e.g. Fault Trees, Markov Processes, etc.) are well mastered by safety analysts. Efficient assessment algorithms and tools are available. However, models designed with these formalisms are far from the specifications of the systems under study. They are consequently hard to design and to maintain throughout the life cycle of systems. The high-level modeling language AltaRica has been created to tackle this problem. The objective of the AltaRica 3.0 project is to design a new version of AltaRica and to develop a complete set of authoring and assessment tools for this new version of the language. AltaRica 3.0 improves significantly the expressive power of AltaRica Data-Flow without decreasing the efficiency of assessment algorithms. Prototypes of a compiler to Fault Trees, a compiler to Markov chains, stochastic and stepwise simulators have been already developed. Other tools are under specification or implementation.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-30464" status="OLD">
          <orgName>Laboratoire Universitaire de Recherche en Production Automatisée</orgName>
          <orgName type="acronym">LURPA</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>61, avenue du Président-Wilson 94235 CACHAN Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lurpa.ens-cachan.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-6862" type="direct"/>
            <relation active="#struct-92966" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-6862" status="VALID">
          <orgName>École normale supérieure - Cachan</orgName>
          <orgName type="acronym">ENS Cachan</orgName>
          <desc>
            <address>
              <addrLine>61, avenue du Président Wilson - 94230 Cachan</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-cachan.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>