February 8, 2021 Dataset Open Access

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

JSON-LD (schema.org) Export

{
  "description": "<p>This is the data set (models, sources and results) for the paper &quot;Parametric schedulability analysis of a launcher flight control system under reactivity constraints&quot; published in Informatica Fundamentae in 2021.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "LORIA, Universit\u00e9 de Lorraine, Inria, CNRS", 
      "@id": "https://orcid.org/0000-0001-8473-9555", 
      "@type": "Person", 
      "name": "Andr\u00e9, \u00c9tienne"
    }, 
    {
      "affiliation": "ArianeGroup SAS, Les Mureaux, France", 
      "@type": "Person", 
      "name": "Coquard, Emmanuel"
    }, 
    {
      "affiliation": "Universit\u00e9 Paris-Saclay, LSV, CNRS, ENS Paris-Saclay, France", 
      "@type": "Person", 
      "name": "Fribourg, Laurent"
    }, 
    {
      "affiliation": "Universit\u00e9 Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France", 
      "@id": "https://orcid.org/0000-0001-6170-7489", 
      "@type": "Person", 
      "name": "Jerray, Jawher"
    }, 
    {
      "affiliation": "ArianeGroup SAS, Les Mureaux, France", 
      "@type": "Person", 
      "name": "Lesens, David"
    }
  ], 
  "sameAs": [
    "https://www.imitator.fr/static/FI2021/"
  ], 
  "datePublished": "2021-02-08", 
  "keywords": [
    "model checking", 
    "verification", 
    "parameter synthesis", 
    "schedulability analysis", 
    "real-time systems", 
    "parametric timed automata", 
    "IMITATOR"
  ], 
  "url": "https://zenodo.org/record/5042059", 
  "contributor": [
    {
      "affiliation": "LORIA, Universit\u00e9 de Lorraine, Inria, CNRS", 
      "@id": "https://orcid.org/0000-0001-8473-9555", 
      "@type": "Person", 
      "name": "Andr\u00e9, \u00c9tienne"
    }, 
    {
      "affiliation": "Universit\u00e9 Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France", 
      "@id": "https://orcid.org/0000-0001-6170-7489", 
      "@type": "Person", 
      "name": "Jerray, Jawher"
    }
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/c7d96a70-285d-47ad-9b1d-7b361a91dedb/parametric-schedulability-analysis-FI2021.tar.gz", 
      "encodingFormat": "gz", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.5042059", 
  "@id": "https://doi.org/10.5281/zenodo.5042059", 
  "@type": "Dataset", 
  "name": "Data for paper \"Parametric schedulability analysis of a launcher flight control system under reactivity constraints\""
}