<?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-02170550</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-04-26T19:18:44+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report</title>
            <author role="aut">
              <persName>
                <forename type="first">Romina</forename>
                <surname>Eramo</surname>
              </persName>
              <idno type="halauthorid">1434766-0</idno>
              <affiliation ref="#struct-301597"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florent</forename>
                <surname>Marchand de Kerchove</surname>
              </persName>
              <email type="md5">18570dfdb57e5689c2d9a785b8f7dab4</email>
              <email type="domain">imt-atlantique.fr</email>
              <idno type="idhal" notation="string">fmdkdd</idno>
              <idno type="idhal" notation="numeric">3332</idno>
              <idno type="halauthorid" notation="string">25114-3332</idno>
              <idno type="IDREF">https://www.idref.fr/197087744</idno>
              <orgName ref="#struct-481355"/>
              <affiliation ref="#struct-525283"/>
              <affiliation ref="#struct-489559"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maximilien</forename>
                <surname>Colange</surname>
              </persName>
              <email type="md5">57e8d0800836297264e5dfc50dc93e24</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">971687</idno>
              <idno type="halauthorid" notation="string">956742-971687</idno>
              <affiliation ref="#struct-499844"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Michele</forename>
                <surname>Tucci</surname>
              </persName>
              <email type="md5">738e1a0837518bb70c4dd3e12e549c61</email>
              <email type="domain">univaq.it</email>
              <idno type="idhal" notation="numeric">1049853</idno>
              <idno type="halauthorid" notation="string">1612057-1049853</idno>
              <affiliation ref="#struct-301597"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Ouy</surname>
              </persName>
              <idno type="halauthorid">109612-0</idno>
              <affiliation ref="#struct-499844"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Hugo</forename>
                <surname>Bruneliere</surname>
              </persName>
              <email type="md5">4c9e905aa6a346efb351ac8eafbc1709</email>
              <email type="domain">imt-atlantique.fr</email>
              <idno type="idhal" notation="string">hugo-bruneliere</idno>
              <idno type="idhal" notation="numeric">17629</idno>
              <idno type="halauthorid" notation="string">36048-17629</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5987-2175</idno>
              <idno type="IDREF">https://www.idref.fr/235390429</idno>
              <idno type="GOOGLE SCHOLAR">wfT-AoEAAAAJ</idno>
              <affiliation ref="#struct-525283"/>
              <affiliation ref="#struct-489559"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Davide</forename>
                <forename type="middle">Di</forename>
                <surname>Ruscio</surname>
              </persName>
              <idno type="halauthorid">1525336-0</idno>
              <affiliation ref="#struct-301597"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hugo</forename>
                <surname>Bruneliere</surname>
              </persName>
              <email type="md5">4c9e905aa6a346efb351ac8eafbc1709</email>
              <email type="domain">imt-atlantique.fr</email>
            </editor>
            <funder ref="#projeurop-712037"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-07-02 11:36:08</date>
              <date type="whenModified">2026-01-19 16:46:19</date>
              <date type="whenReleased">2019-07-08 12:18:52</date>
              <date type="whenProduced">2019-07-01</date>
              <date type="whenEndEmbargoed">2019-07-02</date>
              <ref type="file" target="https://hal.science/hal-02170550v1/document">
                <date notBefore="2019-07-02"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://hal.science/hal-02170550v1/file/ModelDrivenDesignRuntimeInteraction_ECMFA19.pdf" id="file-2170550-2165014">
                <date notBefore="2019-07-02"/>
              </ref>
              <ref type="externalLink" target="http://www.jot.fm/issues/issue_2019_02/article1.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="155906">
                <persName>
                  <forename>Hugo</forename>
                  <surname>Bruneliere</surname>
                </persName>
                <email type="md5">4c9e905aa6a346efb351ac8eafbc1709</email>
                <email type="domain">imt-atlantique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02170550</idno>
            <idno type="halUri">https://hal.science/hal-02170550</idno>
            <idno type="halBibtex">eramo:hal-02170550</idno>
            <idno type="halRefHtml">&lt;i&gt;The Journal of Object Technology&lt;/i&gt;, 2019, The 15th European Conference on Modelling Foundations and Applications (ECMFA 2019), 18 (2), pp.1:1-22. &lt;a target="_blank" href="https://dx.doi.org/10.5381/jot.2019.18.2.a1"&gt;&amp;#x27E8;10.5381/jot.2019.18.2.a1&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">The Journal of Object Technology, 2019, The 15th European Conference on Modelling Foundations and Applications (ECMFA 2019), 18 (2), pp.1:1-22. &amp;#x27E8;10.5381/jot.2019.18.2.a1&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2170550-2165014"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="EC-NANTES">Ecole Centrale de Nantes</idno>
            <idno type="stamp" n="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="UNAM">l'unam - université nantes angers le mans</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="LS2N-NAOMOD" corresp="LS2N">LS2N - équipe NaoMod ( Nantes Software Modeling Group)</idno>
            <idno type="stamp" n="LS2N-NAOMOD-IMTA">Equipe Naomod</idno>
            <idno type="stamp" n="IMTA_DAPI">IMT Atlantique - Département automatique, productique et informatique</idno>
            <idno type="stamp" n="LS2N-IMTA">LS2N - IMT Atlantique</idno>
            <idno type="stamp" n="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="NU-CENTRALE">École Centrale de Nantes</idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Romina</forename>
                    <surname>Eramo</surname>
                  </persName>
                  <idno type="halauthorid">1434766-0</idno>
                  <affiliation ref="#struct-301597"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florent</forename>
                    <surname>Marchand de Kerchove</surname>
                  </persName>
                  <email type="md5">18570dfdb57e5689c2d9a785b8f7dab4</email>
                  <email type="domain">imt-atlantique.fr</email>
                  <idno type="idhal" notation="string">fmdkdd</idno>
                  <idno type="idhal" notation="numeric">3332</idno>
                  <idno type="halauthorid" notation="string">25114-3332</idno>
                  <idno type="IDREF">https://www.idref.fr/197087744</idno>
                  <orgName ref="#struct-481355"/>
                  <affiliation ref="#struct-525283"/>
                  <affiliation ref="#struct-489559"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maximilien</forename>
                    <surname>Colange</surname>
                  </persName>
                  <email type="md5">57e8d0800836297264e5dfc50dc93e24</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">971687</idno>
                  <idno type="halauthorid" notation="string">956742-971687</idno>
                  <affiliation ref="#struct-499844"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Michele</forename>
                    <surname>Tucci</surname>
                  </persName>
                  <email type="md5">738e1a0837518bb70c4dd3e12e549c61</email>
                  <email type="domain">univaq.it</email>
                  <idno type="idhal" notation="numeric">1049853</idno>
                  <idno type="halauthorid" notation="string">1612057-1049853</idno>
                  <affiliation ref="#struct-301597"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Ouy</surname>
                  </persName>
                  <idno type="halauthorid">109612-0</idno>
                  <affiliation ref="#struct-499844"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Hugo</forename>
                    <surname>Bruneliere</surname>
                  </persName>
                  <email type="md5">4c9e905aa6a346efb351ac8eafbc1709</email>
                  <email type="domain">imt-atlantique.fr</email>
                  <idno type="idhal" notation="string">hugo-bruneliere</idno>
                  <idno type="idhal" notation="numeric">17629</idno>
                  <idno type="halauthorid" notation="string">36048-17629</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5987-2175</idno>
                  <idno type="IDREF">https://www.idref.fr/235390429</idno>
                  <idno type="GOOGLE SCHOLAR">wfT-AoEAAAAJ</idno>
                  <affiliation ref="#struct-525283"/>
                  <affiliation ref="#struct-489559"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Davide</forename>
                    <forename type="middle">Di</forename>
                    <surname>Ruscio</surname>
                  </persName>
                  <idno type="halauthorid">1525336-0</idno>
                  <affiliation ref="#struct-301597"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">1502</idno>
                <idno type="issn">1660-1769</idno>
                <title level="j">The Journal of Object Technology</title>
                <imprint>
                  <publisher>Chair of Software Engineering</publisher>
                  <biblScope unit="serie">The 15th European Conference on Modelling Foundations and Applications (ECMFA 2019)</biblScope>
                  <biblScope unit="volume">18</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">1:1-22</biblScope>
                  <date type="datePub">2019-07-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.5381/jot.2019.18.2.a1</idno>
              <ref target="https://www.slideshare.net/HugoBruneliere/modeldriven-designruntime-interaction-in-safety-critical-system-development-an-experience-report-jot-ecmfa-2019-eindhoven-the-netherlands" type="seeAlso"/>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Traceability</term>
                <term xml:lang="en">Model-Driven Engineering</term>
                <term xml:lang="en">Critical Systems</term>
                <term xml:lang="en">Design</term>
                <term xml:lang="en">Runtime</term>
                <term xml:lang="en">Interactions</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Automotive, aerospace, industrial control, and railway systems are examples of application domains which are particularly characterized by the need for developing and managing critical systems. Model-driven engineering is recognized as an effective solution to leverage abstraction and automation while developing complex systems. One of the major and key challenges in the model-driven engineering of critical software systems is the integration of design and runtime aspects. Even though several methods and tools are available for performing measurements of runtime properties, the ability to trace them with design models is still limited. In the context of a real railway system, this paper presents a model-based approach that has been conceived to analyze runtime data (coming from different sensors), to produce corresponding traceability models and to automatically infer from them potential design issues that might need to be fixed in order to solve detected system malfunctionings.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-301597" status="VALID">
          <idno type="IdRef">03353411X</idno>
          <idno type="ISNI">0000000417572611</idno>
          <idno type="ROR">https://ror.org/01j9p1r26</idno>
          <idno type="Wikidata">Q1494671</idno>
          <orgName>Università degli Studi dell'Aquila = University of L'Aquila = Université de L'Aquila</orgName>
          <orgName type="acronym">UNIVAQ</orgName>
          <date type="start">1952-01-01</date>
          <desc>
            <address>
              <addrLine>Via Giovanni Di Vincenzo 16/B, 67100 L'Aquila</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.univaq.it/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-525283" status="OLD">
          <orgName>NaoMod - Nantes Software Modeling Group</orgName>
          <orgName type="acronym">LS2N - équipe NaoMod</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-473973" type="direct"/>
            <relation active="#struct-97058" type="indirect"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="indirect"/>
            <relation name="UMR6004" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-489559" status="VALID">
          <orgName>Département Automatique, Productique et Informatique</orgName>
          <orgName type="acronym">IMT Atlantique - DAPI</orgName>
          <date type="start">2017-03-21</date>
          <desc>
            <address>
              <addrLine>IMT Atlantique - Campus de Nantes - La Chantrerie - 4, rue Alfred Kastler - CS 20722 - 44307 NANTES Cedex 3</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-499844" status="VALID">
          <orgName>ClearSy Systems Engineering</orgName>
          <desc>
            <address>
              <addrLine>Parc de la Duranne320 Av. Archimède – Les Pléiades III13100 Aix-en-Provence</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.clearsy.com/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-473973" status="OLD">
          <idno type="IdRef">203637585</idno>
          <idno type="RNSR">201722241F</idno>
          <idno type="ROR">https://ror.org/02snf8m58</idno>
          <orgName>Laboratoire des Sciences du Numérique de Nantes</orgName>
          <orgName type="acronym">LS2N</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>Université de Nantes – faculté des Sciences et Techniques (FST)2 Chemin de la HoussinièreBP 92208, 44322 Nantes Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ls2n.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation active="#struct-111023" type="direct"/>
            <relation name="UMR6004" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-97058" status="OLD">
          <orgName>Université de Nantes - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">UN UFR ST</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-111023" status="OLD">
          <idno type="IdRef">03063525X</idno>
          <idno type="ISNI">0000000122039289</idno>
          <idno type="ROR">https://ror.org/03nh7d505</idno>
          <orgName>École Centrale de Nantes</orgName>
          <orgName type="acronym">ECN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-nantes.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-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="europeanProject" xml:id="projeurop-712037" status="VALID">
          <idno type="number">737494</idno>
          <idno type="program">H2020-ECSEL-2016-1-RIA-two-stage</idno>
          <idno type="call">H2020-ECSEL-2016-1-RIA-two-stage</idno>
          <orgName>MegaMaRt2</orgName>
          <desc>MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems.</desc>
          <date type="start">2017-04-01</date>
          <date type="end">2020-03-31</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>