Approche synchrone et ordonnancement

Creators: Potop-Butucaru, Dumitru; Sorel, Yves

Others:: Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED) ; Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S) ; Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS) ; COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA); Maryline Chetto

Description

Les langages synchrones sont issus de la communauté temps réel, comme l'attestentles premières publications sur le sujet, datant des années 1980. Ils répondent au besoin de spécifier de manière non ambigüe les fonctionnalités de systèmes de commande complexes soumis à des contraintes de temps stictes (dures), appelés aussi systèmes temps réel critiques. Nous proposons une classificationdes langages synchrones, de leurs extensions temps réel et des langages apparentés.Nous présentons ensuite les langages synchrones ainsi que les langages apparentés.Puis nous expliquons comment faire de l'ordonnancement temps réel (analysed'ordonnancemment temps réel et génération de code embarqué) avec ces langagessynchrones. Enfin nous expliquons comment faire de l'ordonnancement temps réelavec les extensions de certains de ces langages synchrones.

Abstract

National audience

Approche synchrone et ordonnancement

Description

Abstract

Additional details