<?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-04191802</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-25T01:24:09+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future Works</title>
            <author role="aut">
              <persName>
                <forename type="first">Théo</forename>
                <surname>Serru</surname>
              </persName>
              <email type="md5">09ff63bbf306ac7c5d43e322acf21180</email>
              <email type="domain">ensea.fr</email>
              <idno type="idhal" notation="numeric">1274070</idno>
              <idno type="halauthorid" notation="string">2295305-1274070</idno>
              <affiliation ref="#struct-265277"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nga</forename>
                <forename type="middle">Thi Viet</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">33914-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-322631"/>
              <affiliation ref="#struct-96176"/>
              <affiliation ref="#struct-424268"/>
              <affiliation ref="#struct-1003474"/>
              <affiliation ref="#struct-467022"/>
            </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-1172101"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>António</forename>
                <surname>Casimiro</surname>
              </persName>
              <email type="md5">44ccf4405374d137cf66f3f6b13caf90</email>
              <email type="domain">ciencias.ulisboa.pt</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-08-30 17:09:51</date>
              <date type="whenModified">2026-01-09 09:50:02</date>
              <date type="whenReleased">2023-09-01 15:25:22</date>
              <date type="whenProduced">2023-09-19</date>
              <date type="whenEndEmbargoed">2023-08-30</date>
              <ref type="file" target="https://hal.science/hal-04191802v1/document">
                <date notBefore="2023-08-30"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04191802v1/file/SAFECOMP_2023_paper_9652.pdf" id="file-4191802-3654292">
                <date notBefore="2023-08-30"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1445257">
                <persName>
                  <forename>António</forename>
                  <surname>Casimiro</surname>
                </persName>
                <email type="md5">44ccf4405374d137cf66f3f6b13caf90</email>
                <email type="domain">ciencias.ulisboa.pt</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04191802</idno>
            <idno type="halUri">https://hal.science/hal-04191802</idno>
            <idno type="halBibtex">serru:hal-04191802</idno>
            <idno type="halRefHtml">&lt;i&gt;SAFECOMP 2023, Position Paper&lt;/i&gt;, Sep 2023, Toulouse, France</idno>
            <idno type="halRef">SAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4191802-3654292"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENSMP" corresp="PARISTECH">MINES ParisTech</idno>
            <idno type="stamp" n="UNIV-PARIS8" corresp="UNIV-PARIS-LUMIERES">Université Paris VIII Vincennes-Saint Denis</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-CERGY">Université de Cergy Pontoise</idno>
            <idno type="stamp" n="LAAS">Laboratoire d'analyse et d'architecture des systèmes</idno>
            <idno type="stamp" n="ENSMP_CRI" corresp="ENSMP">Recherche en informatique (CRI) </idno>
            <idno type="stamp" n="PARISTECH">ParisTech</idno>
            <idno type="stamp" n="ETIS" corresp="UNIV-CERGY">Equipes Traitement de l'Information et Systèmes</idno>
            <idno type="stamp" n="QUARTZ" corresp="UNIV-PARIS8">Publications du laboratoire QUARTZ - IPGP</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="SUPMECA">ISAE-SUPMECA</idno>
            <idno type="stamp" n="ENSMP_DEP_MS">Département Mathématiques et systèmes</idno>
            <idno type="stamp" n="ENSMP_DR" corresp="ENSMP">ENSMP_DR</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="ENSMP-PSL" corresp="PSL">MINES ParisTech - École nationale supérieure des mines de Paris - PSL</idno>
            <idno type="stamp" n="CY-TECH-SM" corresp="UNIV-CERGY">CY TECH : Sciences de la modélisation</idno>
            <idno type="stamp" n="UNIV-PARIS8-OA" corresp="UNIV-PARIS8">HAL UNIV-PARIS8 - open access</idno>
            <idno type="stamp" n="SAFECOMP2023" corresp="LAAS">42nd International Conference on Computer Safety, Reliability and Security</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">Modeling Cyberattacks Affecting Systems' Safety with AltaRica: Achievements and Future Works</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Théo</forename>
                    <surname>Serru</surname>
                  </persName>
                  <email type="md5">09ff63bbf306ac7c5d43e322acf21180</email>
                  <email type="domain">ensea.fr</email>
                  <idno type="idhal" notation="numeric">1274070</idno>
                  <idno type="halauthorid" notation="string">2295305-1274070</idno>
                  <affiliation ref="#struct-265277"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nga</forename>
                    <forename type="middle">Thi Viet</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">33914-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-322631"/>
                  <affiliation ref="#struct-96176"/>
                  <affiliation ref="#struct-424268"/>
                  <affiliation ref="#struct-1003474"/>
                  <affiliation ref="#struct-467022"/>
                </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-1172101"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>SAFECOMP 2023, Position Paper</title>
                  <date type="start">2023-09-19</date>
                  <date type="end">2023-09-22</date>
                  <settlement>Toulouse</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">SimfiaNeo</term>
                <term xml:lang="en">Al-taRica</term>
                <term xml:lang="en">Sequences of Events</term>
                <term xml:lang="en">Safety</term>
                <term xml:lang="en">Cyberattacks</term>
                <term xml:lang="en">Cyberattacks Safety Sequences of Events Al-taRica SimfiaNeo</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Cyber-physical systems are safety and securitycritical because of their close interactions with humans and the environment. For this reason, their failures may have effects on humans, making them safety-critical. On the other hand, the integration of computational capabilities brings the risks of cyberattacks that may have effects on confidentiality, integrity, availability, and also safety. In the industry, the cybersecurity risk analysis of cyber-physical systems is insufficiently automatized and error-prone. To tackle this open issue, we propose a modelbased approach using the formal language AltaRica and the industrial tool SimfiaNeo, to model systems, their behaviors in case of cyberattacks, and automatically generate the full set of attack scenarios leading to a safety-critical situation. In addition to the modeling, we propose a heuristic cutoff to reduce the state-space explosion. We end this position paper by evoking the remaining issues and future challenges of this work.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <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-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>
        <org type="laboratory" xml:id="struct-96176" status="VALID">
          <idno type="IdRef">154122696</idno>
          <idno type="ROR">https://ror.org/020cdve92</idno>
          <orgName>Centre de Recherche en Informatique</orgName>
          <orgName type="acronym">CRI</orgName>
          <desc>
            <address>
              <addrLine>35 rue Saint-Honoré 77305 Fontainebleau cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cri.mines-paristech.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301492" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
          </listRelation>
        </org>
        <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-1003474" status="VALID">
          <idno type="IdRef">129737623</idno>
          <idno type="RNSR">200212719W</idno>
          <idno type="ROR">https://ror.org/0592ata02</idno>
          <orgName>Equipes Traitement de l'Information et Systèmes</orgName>
          <orgName type="acronym">ETIS - UMR 8051</orgName>
          <date type="start">2019-10-29</date>
          <desc>
            <address>
              <addrLine>6, avenue du Ponceau. F 95014 CERGY-PONTOISE CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.etis-lab.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-265277" type="direct"/>
            <relation name="UMR8051" active="#struct-441569" type="direct"/>
            <relation active="#struct-1003413" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-467022" status="VALID">
          <orgName>De Vinci Research Center</orgName>
          <orgName type="acronym">DVRC</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>92 916 Paris-La Défense</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.devinci.fr/research-center/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1226805" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1172101" status="INCOMING">
          <orgName>Systemic Intelligence</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301492" status="VALID">
          <idno type="IdRef">026375249</idno>
          <idno type="ROR">https://ror.org/04y8cs423</idno>
          <orgName>Mines Paris - PSL (École nationale supérieure des mines de Paris)</orgName>
          <date type="start">1783-01-01</date>
          <desc>
            <address>
              <addrLine>60, boulevard Saint-Michel 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.minesparis.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </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-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="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-1003413" status="VALID">
          <idno type="IdRef">241871808</idno>
          <idno type="ROR">https://ror.org/043htjv09</idno>
          <orgName>CY Cergy Paris Université</orgName>
          <orgName type="acronym">CY</orgName>
          <date type="start">2019-10-29</date>
          <desc>
            <address>
              <addrLine>33 boulevard du port, 95015 Cergy-Pontoise Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cyu.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1226805" status="VALID">
          <orgName>De Vinci Higher Education</orgName>
          <orgName type="acronym">DVHE</orgName>
          <date type="start">1995-01-01</date>
          <desc>
            <address>
              <addrLine>2 avenue Léonard de Vinci</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.devinci.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>