TITRE : Procédé et calculateur de gestion d’échanges de données entre une pluralité de tâches

Domaine technique [0001] L’invention se rapporte au domaine du contrôle d’un moteur de véhicule, notamment automobile, et plus précisément à un procédé de gestion des échanges de données entre une pluralité de tâches mises en œuvre par un calculateur ainsi qu’un calculateur permettant de mettre en œuvre ce procédé.

Etat de la technique antérieure [0002] De nos jours, de nombreux véhicules sont équipés d’une pluralité d’actuateurs permettant de mettre en œuvre les fonctions de contrôle moteur du véhicule, configurées pour assurer la gestion du fonctionnement du moteur. Par exemple, les actuateurs peuvent être un injecteur de carburant, un système d’allumage du moteur ou encore un système de recirculation des gaz dans le moteur. Chaque actuateur est relié à un calculateur de contrôle moteur afin de le commander.

[0003] Un calculateur de contrôle moteur peut être monocœur ou multicœur, c’est-à-dire qu’il peut comprendre un ou plusieurs cœurs, permettant de mettre en œuvre les fonctions de contrôle moteur. Pour cela, le ou les cœurs exécutent chacun une série de tâches selon un niveau de priorité, chaque tâche mettant en œuvre une ou plusieurs fonctions dont certaines sont productrices de données et/ou consommatrices de données.

[0004] Lorsqu’une première tâche, comprenant au moins une fonction productrice d’une donnée, et une deuxième tâche, comprenant au moins une fonction consommatrice de ladite donnée, sont mises en œuvre successivement mais à des périodes d’exécutions différentes, il est nécessaire d’utiliser un module de transition afin d’adapter la période du signal correspondant à la donnée produite pour que cette donnée produite puisse être lue par la fonction consommatrice de la deuxième tâche. Ce module de transition permet ainsi de signifier au calculateur un changement de période d’exécution et de réaliser le transfert des données produites par la fonction productrice vers la fonction consommatrice.

[0005] Il est également important d’assurer la consistance des données entre la fonction productrice et la fonction consommatrice, autrement dit, de protéger les données transférées entre la fonction productrice et la fonction consommatrice, lorsque ces fonctions sont mises en œuvre par des tâches distinctes.

[0006] La consistance est définie par la stabilité et la cohérence des données. Un problème de stabilité se traduit par une modification de la valeur d’une donnée entre plusieurs lectures, autrement dit entre plusieurs restaurations et consommations de cette donnée. Ainsi les fonctions consommatrices de cette donnée ne consommeront pas toutes la même valeur de la donnée : ladite valeur est vue comme instable.

[0007] Un problème de cohérence se présente lorsque, pour une fonction consommatrice de données, l’ensemble de données consommées par ladite fonction consommatrice comprend des valeurs qui n’ont pas été modifiées simultanément. Ainsi, la fonction consommatrice utilise des données ne possédant pas la même datation et l’ensemble de données est vu comme incohérent.

[0008] Ainsi, lorsqu’il y a un problème de consistance de données, les fonctions consommatrices exécutées utilisent des données à consommer qui peuvent s’avérer incorrectes. L’utilisation de valeurs de données incorrectes par la fonction consommatrice peut entraîner des problèmes dans le contrôle du fonctionnement du moteur, qui n’aura pas le comportement attendu, voire endommager le moteur. En effet, en cas de problème de consistance, la position réelle d’un actuateur peut différer de la position commandée par le calculateur associé. Dans un tel cas, le calculateur tente de corriger continuellement cette différence mais la convergence vers la position commandée peut ne jamais être atteinte, ce qui peut par exemple provoquer des phénomènes de vibrations mécaniques nuisibles pour le matériel et gêner la conduite du véhicule.

[0009] Dans un premier exemple, le calculateur est un calculateur monocœur dit

« préemptif », permettant l’exécution de tâches dites « préemptives ». Le calculateur monocœur préemptif permet de mettre en œuvre une première solution, permettant de résoudre en partie le problème de consistance en se basant sur le niveau de priorité de chaque tâche. Autrement dit lorsqu’une première tâche d’une série de tâches est exécutée, elle sera interrompue par le système d’exploitation si une autre tâche possède un niveau de priorité plus élevé. Cependant, seule la stabilité des données est assurée. La cohérence n’étant pas vérifiée, un mécanisme de protection doit être ajouté au système pour réaliser cette vérification.

[0010] Par ailleurs, dans le cas d’un calculateur multicœurs préemptif, le problème de consistance est dû à la concurrence de l’exécution des tâches par les différents cœurs.

[0011] Dans un deuxième exemple, le calculateur est un calculateur monocœur dit

« coopératif », permettant l’exécution de tâches dites « coopératives ». Le calculateur monocœur coopératif permet de mettre en œuvre une deuxième solution, permettant également de résoudre en partie le problème de consistance. En effet, à intervalle de temps régulier, la tâche en cours d’exécution par le calculateur monocœur coopératif, s’interrompt afin de laisser le système d’exploitation vérifier qu’il n’y ait pas une autre tâche dont le niveau de priorité est plus élevé. Auquel cas la tâche s’arrête et laisse cette autre tâche s’exécuter. De même que précédemment, des problèmes d’inconsistances peuvent se produire dans ce modèle coopératif, puisque le système d’exploitation peut introduire des incohérences et des instabilités.

[0012] L’utilisation d’un calculateur multicœur coopératif présente des inconvénients similaires à ceux présentés pour l’utilisation d’un calculateur monocœur coopératif, autrement dit, l’utilisation d’un calculateur multicœur coopératif ne permet qu’une résolution partielle du problème de consistance des données.

[0013] Ainsi, les solutions existantes ne permettent de résoudre que partiellement les problèmes de consistance de données. Il existe donc le besoin d’une solution permettant de résoudre entièrement ces inconvénients.

Exposé de l’invention

[0014] L’invention concerne un procédé de gestion d’échanges de données entre une pluralité de tâches par un calculateur d’un véhicule notamment automobile, ledit calculateur comprenant au moins un cœur, chaque tâche permettant d’exécuter au moins une fonction, chaque fonction étant désignée comme productrice et/ou consommatrice d’au moins une donnée, ledit procédé étant remarquable en ce qu’il comprend : a) une phase de regroupement par ensemble de fonctions, chaque ensemble comprenant les fonctions productrices de données, dont l’exécution est allouée dans une même première tâche, et les fonctions consommatrices des données produites par lesdites fonctions productrices de données, dont l’exécution est allouée dans une même deuxième tâche différente de la première tâche, b) pour chaque ensemble de fonctions : i) une première phase comprenant les étapes de :

1) exécution des fonctions productrices de données de l’ensemble afin de produire les données dites « produites »,

2) enregistrement d’une copie de chaque donnée produite, ii) une deuxième phase comprenant les étapes de :

1) restauration des données à consommer par les fonctions consommatrices de l’ensemble, à partir des copies enregistrées,

2) exécution des fonctions consommatrices de l’ensemble à partir des données à consommer restaurées. [0015] Avantageusement, le procédé selon l’invention permet de stabiliser les données produites, afin qu’elles restent stables, autrement dit inchangées, pendant leur consommation par une ou plusieurs fonctions, même si leur production intervient entre le début et la fin de l’exécution de cette fonction. En effet, il est nécessaire d’assurer la stabilité des données dans plusieurs cas : lorsqu’une même fonction lit une donnée plusieurs fois ou lorsque plusieurs fonctions successives lisent une même donnée une ou plusieurs fois. De plus, le procédé selon l’invention résout également les problèmes de cohérence. Les données à consommer par une fonction consommatrice sont toutes produites de telle façon que la concurrence entre les tâches ne puisse pas corrompre une partie de ces données à consommer. L'ensemble de ces données à consommer est cohérent au moment où la fonction consommatrice s’exécute à partir de ces données à consommer.

[0016] De manière préférée, l’exécution des fonctions productrices de données, par la première tâche dans laquelle l’exécution est allouée, est séquentielle.

[0017] Avantageusement, une exécution séquentielle des fonctions productrices permet d’éviter tout problème de concurrence entre les tâches et ainsi d’éviter tout problème de consistance des données.

[0018] De manière avantageuse, l’exécution des fonctions consommatrices de données par la deuxième tâche dans laquelle l’exécution est allouée, est séquentielle.

[0019] Avantageusement, une exécution séquentielle des fonctions consommatrices permet d’éviter tout problème de concurrence entre les tâches et ainsi d’éviter tout problème de consistance des données.

[0020] Avantageusement, lors de l’étape d’enregistrement, les copies sont enregistrées dans une mémoire comprenant une pluralité de zones, en affectant la valeur de chaque copie à une et une seule zone de la pluralité de zones.

[0021] Avantageusement, l’étape d’enregistrement dans la mémoire permet de figer la valeur des données produites.

[0022] De préférence, lors de l’étape de restauration, la valeur de chaque copie enregistrée dans une zone de la mémoire est respectivement affectée à une donnée à consommer. Une telle restauration, en miroir d’enregistrement, dite lecture en mémoire d’écriture permet de copier la valeur d’une donnée enregistrée vers la donnée à consommer par la fonction cible, c’est-à-dire la fonction destinée à consommer la donnée lors de son exécution. [0023] Avantageusement, l’étape d’enregistrement et l’étape de restauration permettent d’assurer la stabilité et la cohérence des données produites, afin que les données à consommer, auxquelles sont affectées les valeurs de la copie de chaque donnée produite, restent stables et donc inchangées avant consommation par la fonction consommatrice.

[0024] L’invention concerne également un calculateur de gestion d’échanges de données entre une pluralité de tâches pour véhicule, notamment automobile, ledit calculateur comprenant au moins un cœur, chaque tâche permettant d’exécuter au moins une fonction, chaque fonction étant désignée comme productrice et/ou consommatrice d’au moins une donnée, ledit calculateur étant remarquable en ce qu’il est configuré pour : a) regrouper par ensemble de fonctions, chaque ensemble comprenant les fonctions productrices de données, dont l’exécution est allouée dans une même première tâche, et les fonctions consommatrices des données produites par lesdites fonctions productrices de données, dont l’exécution est allouée dans une même deuxième tâche différente de la première tâche, b) pour chaque ensemble de fonctions :

1) exécuter les fonctions productrices de données de l’ensemble afin de produire les données dites « produites »,

2) enregistrer une copie de chaque donnée produite,

3) restaurer les données à consommer par les fonctions consommatrices de l’ensemble à partir des copies enregistrées,

4) exécuter les fonctions consommatrices de l’ensemble à partir des données à consommer restaurées.

[0025] Avantageusement, le calculateur selon l’invention permet de stabiliser les données produites, afin qu’elles restent stables, autrement dit inchangées, pendant leur consommation par une fonction, même si leur production intervient entre le début et la fin de l’exécution de cette fonction.

[0026] De plus, le calculateur selon l’invention résout également les problèmes de cohérence. Les données à consommer par une fonction consommatrice sont toutes produites de telle façon que la concurrence entre les tâches ne puisse pas corrompre une partie de ces données à consommer. L'ensemble de ces données à consommer est cohérent au moment où la fonction consommatrice s’exécute à partir de ces données à consommer.

[0027] De manière préférée, le calculateur exécute séquentiellement les fonctions productrices de données par la première tâche dans laquelle l’exécution est allouée. [0028] Avantageusement, une exécution séquentielle des fonctions productrices par le calculateur permet d’éviter tout problème de concurrence entre les tâches et ainsi d’éviter tout problème de consistance des données.

[0029] De manière préférée, le calculateur exécute séquentiellement les fonctions consommatrices de données par la deuxième tâche dans laquelle l’exécution est allouée.

[0030] Avantageusement, une exécution séquentielle des fonctions consommatrices par le calculateur permet d’éviter tout problème de concurrence entre les tâches et ainsi d’éviter tout problème de consistance des données.

[0031] Avantageusement, le calculateur est configuré pour enregistrer une copie de chaque donnée produite dans une mémoire comprenant une pluralité de zones, en affectant la valeur de chaque copie à une zone de la pluralité de zones.

[0032] Avantageusement, l’enregistrement des données produites par le calculateur dans la mémoire permet de figer la valeur des données produites.

[0033] De préférence encore, le calculateur est configuré pour restaurer les données à consommer en affectant la valeur de chaque copie enregistrée dans une zone de la mémoire à une donnée à consommer.

[0034] De préférence, l’enregistrement des données produites et la restauration des données à consommer sont réalisés dans le mécanisme de protection du calculateur.

[0035] Avantageusement, le calculateur permet d’assurer la stabilité des données produites, afin que les données à consommer, auxquelles sont affectées les copies des valeurs des données produites, restent stables avant consommation par la tâche consommatrice.

[0036] L’invention concerne également un véhicule comprenant un calculateur tel que présenté précédemment.

Description des dessins

[0037] D’autres caractéristiques et avantages de l’invention apparaîtront encore à la lecture de la description qui va suivre. Celle-ci est purement illustrative et doit être lue en regard des dessins annexés sur lesquels :

[Fig. 1] : la figure 1 représente un exemple d’exécutions d’une pluralité de tâches par un calculateur selon l’invention,

[Fig. 2] : la figure 2 illustre une transition correspondant à l’exécution de deux tâches consécutives par un calculateur selon l’invention, [Fig. 3] : la figure 3 représente un exemple de mise en œuvre du procédé de gestion de tâches selon l’invention.

Description des modes de réalisation

[0038] CALCULATEUR

[0039] Il va maintenant être décrit un calculateur de gestion d’échanges de données entre une pluralité de tâches, ledit calculateur étant destiné à être monté dans un véhicule, notamment automobile, et configuré pour exécuter des tâches, permettant la mise en œuvre d’une fonction de contrôle moteur dudit véhicule, telle que l’allumage, l’injection de carburant ou encore la recirculation des gaz, par un actuateur.

[0040] Le calculateur comprend au moins un cœur permettant d’exécuter au moins une tâche comprenant au moins une fonction, notamment une fonction de calcul et/ou détermination de données. Le calculateur comprend également un mécanisme de protection de la concurrence entre l’exécution de différentes tâches.

[0041] Cœur

[0042] Comme expliqué précédemment, chaque cœur est notamment configuré pour exécuter une tâche, une pluralité de tâches indépendantes ou une série de tâches interdépendantes qui lui sont allouées, via son système d’exploitation. Chaque tâche permet d’exécuter une séquence d’une ou plusieurs fonctions et se caractérise par un schéma d'activation, un schéma d'allocation et un niveau de priorité.

[0043] Le schéma d’activation d’une tâche définit le type d’activation de l’exécution de ladite tâche. L’activation de la tâche peut être synchrone, et donc la période d’exécution de la tâche est constante, ou asynchrone, et donc la période d’exécution de la tâche est variable, ou événementielle, autrement dit, après détection d’un état du système qui nécessite d’exécuter la tâche.

[0044] Le schéma d’allocation d’une tâche définit le ou les cœurs auxquels ladite tâche est allouée. En effet, une tâche peut être exécutée sur un unique cœur ou de façon répartie sur plusieurs cœurs.

[0045] Le niveau de priorité de chaque tâche est dépendant du schéma d'activation et du schéma d'allocation sur un ou plusieurs cœurs. Par exemple, le niveau de priorité est défini en fonction de la période d’exécution, et est inversement proportionnel à ladite période d’exécution. Autrement dit, selon cet exemple, plus la période d’exécution d’une tâche est faible plus le niveau de priorité est élevé. Il existe évidemment d’autres modes de détermination du niveau de priorité de chaque tâche. [0046] Le système d’exploitation permet de choisir à chaque instant quelle tâche doit être exécutée et dans quel ordre en fonction du schéma d’activation des tâches et de leur niveau de priorité.

[0047] Chaque fonction est dite « productrice » et/ou « consommatrice » d’au moins une donnée. En effet, chaque fonction productrice s’exécute et permet de déterminer une ou plusieurs données, dites « produites », et chaque fonction consommatrice s’exécute à partir d’une ou plusieurs données, dites « à consommer ».

[0048] Par ailleurs, chaque fonction est également caractérisée par son schéma d’activation et donc par sa période d’exécution.

[0049] Mécanisme de protection

[0050] Le mécanisme de protection est configuré pour enregistrer une copie de la valeur des données produites par une tâche et pour restaurer des données à consommer par une autre tâche, à partir des copies enregistrées.

[0051] Ainsi, le mécanisme de protection empêche temporairement la concurrence entre les tâches, et donc stoppe temporairement la concurrence entre l’exécution de chaque tâche pendant l’enregistrement des données produites et la restauration des données à consommer.

[0052] Dans le cas présent, le mécanisme de protection comprend un module de transition et une mémoire physique.

[0053] a) Module de transition RT

[0054] Le module de transition RT gère le transfert de données entre des tâches concurrentes en fonction du niveau de priorité des tâches, afin d’éviter tout problème de concurrence entre l’exécution de tâches. La gestion du transfert des données dépend du schéma d'activation, du niveau de priorité, et du schéma d’allocation, c’est-à-dire du cœur auquel la tâche est allouée.

[0055] Le module de transition RT est configuré pour agréger le transfert des données des fonctions productrices vers les fonctions consommatrices via une fonction d’enregistrement des données produites par les fonctions productrices et une fonction de restauration des données à consommer par les fonctions consommatrices.

[0056] Le module de transition RT, via sa fonction d’enregistrement, permet de déterminer la copie d’une donnée produite et est implémenté pour enregistrer cette copie. [0057] Le module de transition RT, via sa fonction de restauration, permet de déterminer les données à consommer à partir de la valeur d’une copie enregistrée. Autrement dit, le module de transition RT est implémenté pour restaurer les données à consommer.

[0058] b) Mémoire

[0059] La mémoire physique du mécanisme de protection comprend une pluralité de zones, permettant de stocker les données produites par une tâche ou par une série de tâches ou par plusieurs tâches indépendantes et de restaurer les données en assurant la cohérence et la stabilité.

[0060] Selon d’autres formes de réalisation, le mécanisme de protection peut par exemple consister en des sémaphores ou des files d’attente ou à imposer une séquentialité forcée entre les tâches.

[0061] Exemple 1

[0062] En référence à la figure 1 , il va être présenté un premier exemple d’exécution d’une pluralité de fonctions A, B, C, D, productrices et consommatrices. Dans cet exemple, les fonctions A et C sont des fonctions dites « productrices » et sont exécutées par une première tâche 1, dite « source », dont la période d’exécution est égale à 5 millisecondes, et les fonctions B et D sont des fonctions dites « consommatrices » et sont exécutées par une deuxième tâche 2, dite « cible », dont la période d’exécution est égale à 10 millisecondes. La première tâche 1 et la deuxième tâche 2, respectivement, à 5 millisecondes et à 10 millisecondes, peuvent être allouées dans le même cœur ou dans une pluralité de cœurs différents.

[0063] Le nombre de tâches, de fonctions et de cœurs n’est pas limitatif dans l’invention.

[0064] Les fonctions productrices A et C sont donc exécutées séquentiellement par la première tâche 1 et les fonctions consommatrices B et D sont également exécutées séquentiellement par la deuxième tâche 2.

[0065] Un unique module de transition RT est configuré pour agréger le transfert des données de la fonction productrice A, respectivement la fonction productrice C, vers la fonction consommatrice B, respectivement la fonction consommatrice D, via la fonction d’enregistrement et la fonction de restauration.

[0066] Exemple 2

[0067] En référence à la figure 2, il est représenté un transfert de données de la première tâche 1 exécutant les fonctions productrices A, C vers la deuxième tâche 2 exécutant les fonctions consommatrices B, D. Pour simplifier la description, on se limitera à la description d’un transfert entre la fonction productrice A et la fonction consommatrice B des données produites par la tâche productrice A.

[0068] Un module de transition RT est relié entre la première tâche 1 et la deuxième tâche 2. Autrement dit, le module de transition RT relie la fonction productrice A à la fonction consommatrice B, et la fonction productrice C à la fonction consommatrice D.

[0069] Comme détaillé précédemment dans le premier exemple, la première tâche 1 possède une période d’exécution égale à 5 millisecondes et la deuxième tâche 2 possède une période d’exécution égale à 10 millisecondes. Ainsi, la première tâche 1 comprend un niveau de priorité plus élevé que la deuxième tâche 2. C’est pourquoi la fonction productrice A est réalisée avant la fonction consommatrice B.

[0070] La fonction productrice A est configurée pour s’exécuter à partir d’une valeur d’entrée étant par exemple définie par un dispositif ou une fonction extérieure à la pluralité de fonctions A, B, C, D et permet de déterminer une donnée produite VI _A après exécution de la fonction productrice A.

[0071] Le module de transition RT est configuré pour assurer le transfert de la donnée produite VI _A par la fonction productrice A vers la fonction consommatrice B. Ainsi, la module de transition RT permet de déterminer une copie Vi _Ajnt de la donnée produite VI _A et d’enregistrer cette copie Vi _Ajnt.

[0072] Le mécanisme de protection utilise la mémoire MEM pour enregistrer, autrement dit pour écrire, la copie Vi _Ajnt dans une zone comprise dans ladite mémoire MEM.

[0073] La fonction consommatrice B est configurée pour lire la donnée à consommer V2 _B , à partir de la copie Vi _Ajnt enregistrée et pour s’exécuter à partir de la donnée à consommer V2B.

[0074] PROCEDE

[0075] En référence à la figure 3, il va maintenant être présenté un mode de réalisation du procédé de gestion d’échanges de données entre une pluralité de tâches par un calculateur tel que présenté précédemment, dans lequel seront considérées les quatre fonctions A, B, C, D, décrites en référence à la figure 1.

[0076] Le procédé selon l’invention comprend tout d’abord une phase de regroupement d’ensembles ET de fonctions. Dans chaque ensemble ET sont regroupées les fonctions productrices, dont l’exécution est effectuée par une même première tâche 1, et les fonctions consommatrices des données produites par lesdites fonctions productrices, dont l’exécution est effectuée par une même deuxième tâche 2. Dans l’exemple présenté ici, l’ensemble ET comprend donc les fonctions productrices A et C, et les fonctions consommatrices B et D des données produites par lesdites fonctions productrices A, C.

[0077] Chaque fonction productrice A et C peut comprendre une pluralité de valeurs d’entrée.

[0078] Pour chaque ensemble ET de fonctions regroupées, le procédé comprend une première phase PH1 comprenant une étape d’exécution E1 séquentielle des fonctions productrices A et C. Autrement dit, les fonctions productrices A et C sont exécutées l’une après l’autre. La fonction productrice A est exécutée et permet de déterminer une donnée produite VI _A . De même, la fonction productrice C est exécutée et permet de déterminer une donnée produite V2 _C .

[0079] Enfin, la première phase PH1 comprend une étape d’enregistrement E2 des données produites VI _A et Vie, autrement dit une étape d’écriture de la donnée produite VI _A, respectivement de la donnée produite Vie, par le module de transition RT. Le module de transition RT permet, via sa fonction d’enregistrement des données produites VI _A , Vie, de déterminer une copie ViAjnt de la donnée produite VI _A et une copie Vicjnt de la donnée produite Vic et d’enregistrer lesdites copies Vi _Ajnt , Vic _jnt dans la mémoire MEM.

[0080] Le procédé comprend également une deuxième phase PH2, réalisée à la suite de la première phase PH1, comprenant une étape de restauration E3 des données à consommer V2 _B, V2 _D par les fonctions consommatrices B et D. Autrement dit, la fonction de restauration du module de transition RT permet d’affecter la valeur de la copie Vi _Ajnt, respectivement de la copie Vicjnt, enregistrée dans la mémoire MEM, à la valeur de la donnée à consommer V2 _B, respectivement de la donnée à consommer V2 _D .

[0081] Une telle restauration, en miroir d’enregistrement, dite lecture en mémoire d’écriture, permet donc de copier la valeur d’une donnée enregistrée dans la mémoire MEM, ici la valeur de la copie ViAjnt, respectivement de la copie Vicjnt, vers la donnée à consommer V2 _B, respectivement la donnée à consommer V2 _D , par la fonction consommatrice B, respectivement la fonction consommatrice D, lors de son exécution.

[0082] La deuxième phase PH2 comprend ensuite une étape d’exécution E4 séquentielle des fonctions consommatrices B et D de l’ensemble ET à partir des données à consommer V2B _, V2 _D, restaurées. Autrement dit, la fonction consommatrice B est exécutée à partir de la donnée à consommer V2 _B et ensuite, la fonction consommatrice D est exécutée à partir de la donnée à consommer V2 _D .

[0083] Ainsi, le mécanisme de protection empêche une exécution simultanée de l’étape d’enregistrement E2 et de l’étape de restauration E3, permettant ainsi de figer la valeur des copies ViAjnt, Vl cjnt. Ainsi la stabilité de la valeur des copies ViAjnt, V2cjnt, qui deviendront ensuite les données à consommer V _{I B,} V2 _D, est assurée.

[0084] Cependant, l’exécution des fonctions productrices A, C et des fonctions consommatrices B, D peut être simultanée. [0085] Dans le procédé présenté précédemment, la deuxième phase PH2 est réalisée après la première phase PH1. Cependant, en variante, il est possible que la deuxième phase PH2 soit réalisée avant la première phase PH1, en exécutant les tâches consommatrices à partir de données déjà enregistrées ou pré-enregistrées dans la mémoire MEM lors d’une itération précédemment réalisée. [0086] La stabilité et la cohérence des données sont assurées en même temps. La stabilité est assurée parce que chaque copie ViAjnt, Vicjnt de données produites V _IA et V1 c n’est enregistrée qu’en fin d’exécution des fonctions productrices A, C et parce que la restauration est réalisée avant le début de l’exécution des fonctions consommatrices B, D.

[0087] La cohérence des données est assurée puisque les données sont traitées de façon agrégées et triées par ensemble E _T de fonctions productrices A, C et de fonctions consommatrices B, D. Par ailleurs, le procédé est automatisable et réalisable.