UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.

Dataset Open Access

Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"

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

DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.5042059">
    <rdf:type rdf:resource="http://www.w3.org/ns/dcat#Dataset"/>
    <dct:type rdf:resource="http://purl.org/dc/dcmitype/Dataset"/>
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.5042059</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.5042059"/>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-8473-9555">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-8473-9555</dct:identifier>
        <foaf:name>André, Étienne</foaf:name>
        <foaf:givenName>Étienne</foaf:givenName>
        <foaf:familyName>André</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>LORIA, Université de Lorraine, Inria, CNRS</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Coquard, Emmanuel</foaf:name>
        <foaf:givenName>Emmanuel</foaf:givenName>
        <foaf:familyName>Coquard</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>ArianeGroup SAS, Les Mureaux, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Fribourg, Laurent</foaf:name>
        <foaf:givenName>Laurent</foaf:givenName>
        <foaf:familyName>Fribourg</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université Paris-Saclay, LSV, CNRS, ENS Paris-Saclay, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-6170-7489">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-6170-7489</dct:identifier>
        <foaf:name>Jerray, Jawher</foaf:name>
        <foaf:givenName>Jawher</foaf:givenName>
        <foaf:familyName>Jerray</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Lesens, David</foaf:name>
        <foaf:givenName>David</foaf:givenName>
        <foaf:familyName>Lesens</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>ArianeGroup SAS, Les Mureaux, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2021</dct:issued>
    <dcat:keyword>model checking</dcat:keyword>
    <dcat:keyword>verification</dcat:keyword>
    <dcat:keyword>parameter synthesis</dcat:keyword>
    <dcat:keyword>schedulability analysis</dcat:keyword>
    <dcat:keyword>real-time systems</dcat:keyword>
    <dcat:keyword>parametric timed automata</dcat:keyword>
    <dcat:keyword>IMITATOR</dcat:keyword>
    <frapo:isFundedBy rdf:resource="info:eu-repo/grantAgreement/ANR//ANR-14-CE28-0002/"/>
    <schema:funder>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/501100001665</dct:identifier>
        <foaf:name>Agence Nationale de la Recherche</foaf:name>
      </foaf:Organization>
    </schema:funder>
    <dct:contributor>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-8473-9555">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-8473-9555</dct:identifier>
        <foaf:name>André, Étienne</foaf:name>
        <foaf:givenName>Étienne</foaf:givenName>
        <foaf:familyName>André</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>LORIA, Université de Lorraine, Inria, CNRS</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:contributor>
    <dct:contributor>
      <rdf:Description rdf:about="http://orcid.org/0000-0001-6170-7489">
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">0000-0001-6170-7489</dct:identifier>
        <foaf:name>Jerray, Jawher</foaf:name>
        <foaf:givenName>Jawher</foaf:givenName>
        <foaf:familyName>Jerray</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Université Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:contributor>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2021-02-08</dct:issued>
    <owl:sameAs rdf:resource="https://zenodo.org/record/5042059"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/5042059</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <owl:sameAs rdf:resource="https://www.imitator.fr/static/FI2021/"/>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.5042058"/>
    <dct:description>&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;</dct:description>
    <dct:description>{"references": ["\u00c9. Andr\u00e9, E. Coquard, L. Fribourg, J. Jerray and D. Lesens (2021). Parametric schedulability analysis of a launcher flight control system under reactivity constraints."]}</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dcat:distribution>
      <dcat:Distribution>
        <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.5042059"/>
      </dcat:Distribution>
    </dcat:distribution>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.5042059"/>
        <dcat:byteSize>2335668</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/5042059/files/parametric-schedulability-analysis-FI2021.tar.gz"/>
        <dcat:mediaType>application/x-tar</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
  <foaf:Project rdf:about="info:eu-repo/grantAgreement/ANR//ANR-14-CE28-0002/">
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">ANR-14-CE28-0002</dct:identifier>
    <dct:title>Parametric Analysis of Concurrent Systems</dct:title>
    <frapo:isAwardedBy>
      <foaf:Organization>
        <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#string">10.13039/501100001665</dct:identifier>
        <foaf:name>Agence Nationale de la Recherche</foaf:name>
      </foaf:Organization>
    </frapo:isAwardedBy>
  </foaf:Project>
</rdf:RDF>
45
2
views
downloads
All versions This version
Views 4545
Downloads 22
Data volume 4.7 MB4.7 MB
Unique views 3636
Unique downloads 22
More info on how stats are collected.
Indexed in
Publication date:
February 8, 2021
DOI:
10.5281/zenodo.5042059

Zenodo DOI Badge

DOI 

10.5281/zenodo.5042059

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5042059.svg)](https://doi.org/10.5281/zenodo.5042059)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5042059.svg
   :target: https://doi.org/10.5281/zenodo.5042059

HTML 

<a href="https://doi.org/10.5281/zenodo.5042059"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5042059.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5042059.svg

Target URL 

https://doi.org/10.5281/zenodo.5042059

Keyword(s):
model checking verification parameter synthesis schedulability analysis real-time systems parametric timed automata IMITATOR
Published in:
Fundamentica Informaticae:.
Grants:
Agence Nationale de la Recherche:
  • PACS - Parametric Analysis of Concurrent Systems (ANR-14-CE28-0002)
Related identifiers:
Identical to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.5042059 Feb 8, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5042058. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export