Le Centre pour la Communication Scientifique Directe - HAL - Diderot, Dec 9, 1997
Nous présentons l'application d'une méthodologie de détermination de l'ensemble des séquences opt... more Nous présentons l'application d'une méthodologie de détermination de l'ensemble des séquences optimales d'ordonnancement de systèmes de tâches temps−réel partageant des ressources et se synchronisant. Les critères d'optimalité proposés sont la minimisation du temps de réponse, du taux de réaction ou la maximisation de la latence des tâches, ainsi que l'importance d'un ensemble de tâches par rapport à un autre. La méthodologie utilisée se base sur une représentation du système de tâches par des réseaux de Petri colorés à contraintes de successeur avec ensemble terminal.
Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems
Lecture Notes in Computer Science, 2019
This paper presents an approach to support multiple permanent node failures in multicore real tim... more This paper presents an approach to support multiple permanent node failures in multicore real time systems. In the absence of failures, the system is scheduled with the PFair algorithm PD2. To overcome failures, a single spare core is provided and two protocols based on task importance are defined: The Recovery Time Distribution Protocol (RTDP) and the Graceful Degradation Protocol (GDP). When a single core fails, RTDP sets the system parameters such that all the tasks still meet their deadlines, although after a bounded delay. When several cores fail, GDP defines several modes corresponding to degraded execution. Different strategies are provided to decide which tasks are dropped in degraded modes. The experimentation of both protocols shows conclusive results. Tasks recover from the failure in a bounded delay with RTDP, whereas there are some missed deadlines with GDP. However, we exploit the experimental results to guide the designer on which elimination strategy to use.
L'industrie 4.0 implique la mise en réseau des équipements de production grâce à l'ensemble de no... more L'industrie 4.0 implique la mise en réseau des équipements de production grâce à l'ensemble de normes réseau Time-Sensitive Networking (TSN) basé sur Ethernet commuté. Ces mécanismes sont configurables dynamiquement. Cet article présente une première architecture permettant la configuration dynamique sous TSN en utilisant l'intelligence artificielle.
We consider the scheduling problem for real time applications with variable processor utilization... more We consider the scheduling problem for real time applications with variable processor utilization factor. Th ey are composed of a set kernel of periodic tasks and of a flow of aperiodic tasks, all with firm deadlines. Periodic tasks are scheduled according to a PFair policy. We propose an efficient acceptance test for aperiodic traffic, which guarantees steady and predictable periodic scheduling, a very small error rate and which has a low complexity. We then compare its performances to the performances of challenger acceptance tests.
This paper concerns sets of periodic independent real-time tasks with hard deadlines, in a multip... more This paper concerns sets of periodic independent real-time tasks with hard deadlines, in a multiprocessor context. We address the cyclicity problem for global multiprocessor schedul- ing. Our aim is to prove the existence of a steady state after a transcient state in valid sched- ules. This could be helpfull for performing exact schedulability tests as well as for the sake of simulation. First, we underline the main differences between the uniprocessor and the multiprocessor cases. Then we consider the case of fixed-pri ority scheduling strategies, and finally, we extend our results to a wider class of scheduli ng algorithms. And finally, we present some amazing results as to the date of the begining of the steady state.
In this paper, we focus on the use of discrete geometry for the sake of real-time modeling and an... more In this paper, we focus on the use of discrete geometry for the sake of real-time modeling and analysis. We consider multiprocessor context, and we determine the geometrical characterization of PFair scheduling algorithms, which are known to be very performant strategies. A feasability test can then be deduced from the geometrical properties.
Nous presentons une methodologie d'etude hors ligne d'applications temps reel, constituee... more Nous presentons une methodologie d'etude hors ligne d'applications temps reel, constituees de tâches interagissantes, soumises a des contraintes temporelles strictes. A l'aide d'une modelisation par reseau de Petri avec ensemble terminal, fonctionnant sous la regle de tir maximal, nous calculons l'ensemble de toutes les sequences valides et nous presentons des techniques d'extraction de sequences optimales au vu de certains criteres de performances de l'application (temps de reponse...). Notre approche permet de traiter des systemes de tâches a departs differes, de prendre en compte des ressources de type lecteur-ecrivain. De plus, les tâches se synchronisant peuvent avoir des periodes differentes, Ceci constitue la classe la plus large de systemes temps reel etudiee jusqu'alors dans les approches hors ligne.
Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéaires
Presentation des outils d'analyse pour les reseaux a files (reseaux a files a choix libre top... more Presentation des outils d'analyse pour les reseaux a files (reseaux a files a choix libre topologique et reseaux lineaires). Utilisation du reseau colore associe permettant de decider la quasi-vivacite, la terminaison infinie et la vivacite. Determination du centre des reseaux. Forme generale du langage d'entree des files. Description du langage d'un systeme de deux processus communiquant par files (langage d'un reseau de Petri)
We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task... more We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task, either periodic or aperiodic, has a firm deadline. An aperiodic task is accepted within the system only if it can be completed before its deadline, without causing temporal failures for the periodic tasks or for the previously accepted aperiodic tasks. We propose an acceptance test, linear in the number of pending accepted aperiodic tasks. This protocol can be used provided the idle slots left by the periodic tasks are fairly distributed. We then propose a model-driven approach, based on Petri nets, to produce schedules with a fair distribution of the idle slots for systems of non independent periodic tasks.
Pfair scheduling has usually been applied in the context of synchronous periodic task systems wit... more Pfair scheduling has usually been applied in the context of synchronous periodic task systems with implicit deadlines. This paper addresses the problem of scheduling asynchronous hard real-time tasks with constrained deadlines using a Pfair strategy on multiprocessor systems. First, we extend the notion of Pfairness to the context of asynchronous tasks with constrained deadline. Then we investigate feasibility conditions, we propose a rather efficient one and we illustrate the relevance of our criteria through some simulations. RÉSUMÉ. Les ordonnancements P-équitables ont jusque là été étudiés pour des systèmes de tâches à départs simultanés et à échéances sur requêtes. Notre objectif dans ce papier est d’étendre la définition de la P-équité aux systèmes de tâches à départs différés et à échéances contraintes puis de dégager une condition suffisante d’ordonnançabilité. Enfin, des simulations que nous avons effectuées ont permis d’illustrer la pertinence de nos résultats et de mesure...
We present a formal description of the logical links in an unbounded net of processors. This desc... more We present a formal description of the logical links in an unbounded net of processors. This description is provided by a finite transducer. We prove some syntactical properties of the net : we give decision algorithms for its coherence and connectivity.
Detection of deadlocks in an infinite family of nets
STACS 91, 1991
... transition systems. Note that the basic idea of this algorithm is not new and has been alread... more ... transition systems. Note that the basic idea of this algorithm is not new and has been already applied to deadlock detection in some subclasses of Petri nets and in networks of communicating process [Brookes, Roscoe 1985]. Using ...
Mesures de l'équité d'une application temps-réel à l'aide de géométrie discrète
Journal Européen des Systèmes Automatisés, 2009
... Annie Choquet-Geniet* — Gaëlle Largeteau-Skapin** Abdoulaye Ouattara*** ... Dans le cas génér... more ... Annie Choquet-Geniet* — Gaëlle Largeteau-Skapin** Abdoulaye Ouattara*** ... Dans le cas général, déterminer l'existence d'une séquence valide en environnement multiprocesseur est un problème NP-difficile (Andersson et al., 2000; Leung et al., 1982). ...
Nous présentons un outil d'aide au choix de séquences d'ordonnancement, optimales au vu de certai... more Nous présentons un outil d'aide au choix de séquences d'ordonnancement, optimales au vu de certains critères, de systèmes de tâches temps réel. La méthodologie d'ordonnancement sousjacente permettant la détermination de l'ensemble des séquences optimales est basée sur une modélisation par réseaux de Petri colorés à contraintes de successeur avec ensemble terminal. Les systèmes de tâches considérés peuvent partager des ressources et se synchroniser.
Le Centre pour la Communication Scientifique Directe - HAL - Diderot, Dec 9, 1997
Nous présentons l'application d'une méthodologie de détermination de l'ensemble des séquences opt... more Nous présentons l'application d'une méthodologie de détermination de l'ensemble des séquences optimales d'ordonnancement de systèmes de tâches temps−réel partageant des ressources et se synchronisant. Les critères d'optimalité proposés sont la minimisation du temps de réponse, du taux de réaction ou la maximisation de la latence des tâches, ainsi que l'importance d'un ensemble de tâches par rapport à un autre. La méthodologie utilisée se base sur une représentation du système de tâches par des réseaux de Petri colorés à contraintes de successeur avec ensemble terminal.
Importance-Based Scheduling to Manage Multiple Core Defection in Real-Time Systems
Lecture Notes in Computer Science, 2019
This paper presents an approach to support multiple permanent node failures in multicore real tim... more This paper presents an approach to support multiple permanent node failures in multicore real time systems. In the absence of failures, the system is scheduled with the PFair algorithm PD2. To overcome failures, a single spare core is provided and two protocols based on task importance are defined: The Recovery Time Distribution Protocol (RTDP) and the Graceful Degradation Protocol (GDP). When a single core fails, RTDP sets the system parameters such that all the tasks still meet their deadlines, although after a bounded delay. When several cores fail, GDP defines several modes corresponding to degraded execution. Different strategies are provided to decide which tasks are dropped in degraded modes. The experimentation of both protocols shows conclusive results. Tasks recover from the failure in a bounded delay with RTDP, whereas there are some missed deadlines with GDP. However, we exploit the experimental results to guide the designer on which elimination strategy to use.
L'industrie 4.0 implique la mise en réseau des équipements de production grâce à l'ensemble de no... more L'industrie 4.0 implique la mise en réseau des équipements de production grâce à l'ensemble de normes réseau Time-Sensitive Networking (TSN) basé sur Ethernet commuté. Ces mécanismes sont configurables dynamiquement. Cet article présente une première architecture permettant la configuration dynamique sous TSN en utilisant l'intelligence artificielle.
We consider the scheduling problem for real time applications with variable processor utilization... more We consider the scheduling problem for real time applications with variable processor utilization factor. Th ey are composed of a set kernel of periodic tasks and of a flow of aperiodic tasks, all with firm deadlines. Periodic tasks are scheduled according to a PFair policy. We propose an efficient acceptance test for aperiodic traffic, which guarantees steady and predictable periodic scheduling, a very small error rate and which has a low complexity. We then compare its performances to the performances of challenger acceptance tests.
This paper concerns sets of periodic independent real-time tasks with hard deadlines, in a multip... more This paper concerns sets of periodic independent real-time tasks with hard deadlines, in a multiprocessor context. We address the cyclicity problem for global multiprocessor schedul- ing. Our aim is to prove the existence of a steady state after a transcient state in valid sched- ules. This could be helpfull for performing exact schedulability tests as well as for the sake of simulation. First, we underline the main differences between the uniprocessor and the multiprocessor cases. Then we consider the case of fixed-pri ority scheduling strategies, and finally, we extend our results to a wider class of scheduli ng algorithms. And finally, we present some amazing results as to the date of the begining of the steady state.
In this paper, we focus on the use of discrete geometry for the sake of real-time modeling and an... more In this paper, we focus on the use of discrete geometry for the sake of real-time modeling and analysis. We consider multiprocessor context, and we determine the geometrical characterization of PFair scheduling algorithms, which are known to be very performant strategies. A feasability test can then be deduced from the geometrical properties.
Nous presentons une methodologie d'etude hors ligne d'applications temps reel, constituee... more Nous presentons une methodologie d'etude hors ligne d'applications temps reel, constituees de tâches interagissantes, soumises a des contraintes temporelles strictes. A l'aide d'une modelisation par reseau de Petri avec ensemble terminal, fonctionnant sous la regle de tir maximal, nous calculons l'ensemble de toutes les sequences valides et nous presentons des techniques d'extraction de sequences optimales au vu de certains criteres de performances de l'application (temps de reponse...). Notre approche permet de traiter des systemes de tâches a departs differes, de prendre en compte des ressources de type lecteur-ecrivain. De plus, les tâches se synchronisant peuvent avoir des periodes differentes, Ceci constitue la classe la plus large de systemes temps reel etudiee jusqu'alors dans les approches hors ligne.
Analyse et propriétés des processus communiquant par files fifo : réseaux à files à choix libre topologique et réseaux à files linéaires
Presentation des outils d'analyse pour les reseaux a files (reseaux a files a choix libre top... more Presentation des outils d'analyse pour les reseaux a files (reseaux a files a choix libre topologique et reseaux lineaires). Utilisation du reseau colore associe permettant de decider la quasi-vivacite, la terminaison infinie et la vivacite. Determination du centre des reseaux. Forme generale du langage d'entree des files. Description du langage d'un systeme de deux processus communiquant par files (langage d'un reseau de Petri)
We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task... more We consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task, either periodic or aperiodic, has a firm deadline. An aperiodic task is accepted within the system only if it can be completed before its deadline, without causing temporal failures for the periodic tasks or for the previously accepted aperiodic tasks. We propose an acceptance test, linear in the number of pending accepted aperiodic tasks. This protocol can be used provided the idle slots left by the periodic tasks are fairly distributed. We then propose a model-driven approach, based on Petri nets, to produce schedules with a fair distribution of the idle slots for systems of non independent periodic tasks.
Pfair scheduling has usually been applied in the context of synchronous periodic task systems wit... more Pfair scheduling has usually been applied in the context of synchronous periodic task systems with implicit deadlines. This paper addresses the problem of scheduling asynchronous hard real-time tasks with constrained deadlines using a Pfair strategy on multiprocessor systems. First, we extend the notion of Pfairness to the context of asynchronous tasks with constrained deadline. Then we investigate feasibility conditions, we propose a rather efficient one and we illustrate the relevance of our criteria through some simulations. RÉSUMÉ. Les ordonnancements P-équitables ont jusque là été étudiés pour des systèmes de tâches à départs simultanés et à échéances sur requêtes. Notre objectif dans ce papier est d’étendre la définition de la P-équité aux systèmes de tâches à départs différés et à échéances contraintes puis de dégager une condition suffisante d’ordonnançabilité. Enfin, des simulations que nous avons effectuées ont permis d’illustrer la pertinence de nos résultats et de mesure...
We present a formal description of the logical links in an unbounded net of processors. This desc... more We present a formal description of the logical links in an unbounded net of processors. This description is provided by a finite transducer. We prove some syntactical properties of the net : we give decision algorithms for its coherence and connectivity.
Detection of deadlocks in an infinite family of nets
STACS 91, 1991
... transition systems. Note that the basic idea of this algorithm is not new and has been alread... more ... transition systems. Note that the basic idea of this algorithm is not new and has been already applied to deadlock detection in some subclasses of Petri nets and in networks of communicating process [Brookes, Roscoe 1985]. Using ...
Mesures de l'équité d'une application temps-réel à l'aide de géométrie discrète
Journal Européen des Systèmes Automatisés, 2009
... Annie Choquet-Geniet* — Gaëlle Largeteau-Skapin** Abdoulaye Ouattara*** ... Dans le cas génér... more ... Annie Choquet-Geniet* — Gaëlle Largeteau-Skapin** Abdoulaye Ouattara*** ... Dans le cas général, déterminer l'existence d'une séquence valide en environnement multiprocesseur est un problème NP-difficile (Andersson et al., 2000; Leung et al., 1982). ...
Nous présentons un outil d'aide au choix de séquences d'ordonnancement, optimales au vu de certai... more Nous présentons un outil d'aide au choix de séquences d'ordonnancement, optimales au vu de certains critères, de systèmes de tâches temps réel. La méthodologie d'ordonnancement sousjacente permettant la détermination de l'ensemble des séquences optimales est basée sur une modélisation par réseaux de Petri colorés à contraintes de successeur avec ensemble terminal. Les systèmes de tâches considérés peuvent partager des ressources et se synchroniser.
Uploads
Papers by Annie Geniet