February 8, 2021 Dataset Open Access

André, Étienne; Coquard, Emmanuel; Fribourg, Laurent; Jerray, Jawher; Lesens, David

MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="999" ind1="C" ind2="5">
    <subfield code="x">É. André, E. Coquard, L. Fribourg, J. Jerray and D. Lesens (2021). Parametric schedulability analysis of a launcher flight control system under reactivity constraints.</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">model checking</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">verification</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">parameter synthesis</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">schedulability analysis</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">real-time systems</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">parametric timed automata</subfield>
  </datafield>
  <datafield tag="653" ind1=" " ind2=" ">
    <subfield code="a">IMITATOR</subfield>
  </datafield>
  <controlfield tag="005">20210630014820.0</controlfield>
  <controlfield tag="001">5042059</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">ArianeGroup SAS, Les Mureaux, France</subfield>
    <subfield code="a">Coquard, Emmanuel</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université Paris-Saclay, LSV, CNRS, ENS Paris-Saclay, France</subfield>
    <subfield code="a">Fribourg, Laurent</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France</subfield>
    <subfield code="0">(orcid)0000-0001-6170-7489</subfield>
    <subfield code="a">Jerray, Jawher</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">ArianeGroup SAS, Les Mureaux, France</subfield>
    <subfield code="a">Lesens, David</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">LORIA, Université de Lorraine, Inria, CNRS</subfield>
    <subfield code="0">(orcid)0000-0001-8473-9555</subfield>
    <subfield code="4">res</subfield>
    <subfield code="a">André, Étienne</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Université Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France</subfield>
    <subfield code="0">(orcid)0000-0001-6170-7489</subfield>
    <subfield code="4">res</subfield>
    <subfield code="a">Jerray, Jawher</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2335668</subfield>
    <subfield code="z">md5:cc63b5d842bafb807657399496dd8bfe</subfield>
    <subfield code="u">https://zenodo.org/record/5042059/files/parametric-schedulability-analysis-FI2021.tar.gz</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2021-02-08</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire_data</subfield>
    <subfield code="o">oai:zenodo.org:5042059</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="4">
    <subfield code="p">Fundamentica Informaticae</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">LORIA, Université de Lorraine, Inria, CNRS</subfield>
    <subfield code="0">(orcid)0000-0001-8473-9555</subfield>
    <subfield code="a">André, Étienne</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"</subfield>
  </datafield>
  <datafield tag="536" ind1=" " ind2=" ">
    <subfield code="c">ANR-14-CE28-0002</subfield>
    <subfield code="a">Parametric Analysis of Concurrent Systems</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;This is the data set (models, sources and results) for the paper &amp;quot;Parametric schedulability analysis of a launcher flight control system under reactivity constraints&amp;quot; published in Informatica Fundamentae in 2021.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">url</subfield>
    <subfield code="i">isIdenticalTo</subfield>
    <subfield code="a">https://www.imitator.fr/static/FI2021/</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.5042058</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.5042059</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">dataset</subfield>
  </datafield>
</record>