Brevet FR3025628A1 — publié le 20160311

Système embarqué mettant en oeuvre des fonctions avioniques critiques La présente invention concerne un système embarqué mettant en oeuvre des fonctions avioniques critiques et comprenant : - une pluralité de ressources matérielles ; - une pluralité de ressources logicielles associées à ces ressources matérielles ; - un module d'ordonnancement permettant de distribuer les ressources matérielles entre les différentes ressources logicielles en mettant à disposition de chaque ressource logicielle au moins certaines des ressources matérielles ; chaque ressource logicielle comportant une pluralité de partitions, chaque partition étant propre à être exécutée par au moins une ressource matérielle associée à la ressource logicielle correspondante et mises à disposition de cette partition par le module d'ordonnancement pour mettre en oeuvre au moins une fonction avionique d'une criticité donnée, l'ensemble des partitions constituant un partitionnement temporel et spatial des ressources logicielles ; - un module de pilotage permettant de commander le fonctionnement du système embarqué selon un mode de fonctionnement pire-cas dans lequel le module d'ordonnancement est apte à mettre à disposition de chaque partition, des ressources matérielles selon un schéma figé de distribution des ressources matérielles. Dans le domaine de systèmes embarqués, notamment pour des applications avioniques, il est connu l'utilisation du partitionnement spatial et temporel des ressources logicielles (TSP, de l'anglais Time and Space Partitionning). Un tel partitionnement est défini par exemple par la norme ARINC 653. Dans ce cas, l'ensemble du logiciel embarqué est découpé en une pluralité de partitions étant aptes à fonctionner indépendamment l'une de l'autre au sein d'un même calculateur embarqué. Une telle technologie de partitionnement permet d'assurer l'exécution des partitions correspondant à des fonctions avioniques de niveaux de criticité différents sans avoir besoin de dégrader les niveaux de criticité d'au moins certaines de ces fonctions. Afin de répondre aux critères de robustesses exigés par les normes aéronautiques ou aérospatiales, chaque partition doit pouvoir être développée et validée indépendamment des autres partitions avant que ces dernières soient finalement toutes hébergées dans le système embarqué hôte. De manière générale, cette validation s'effectue séparément pour chacune des partitions sur un processeur mono-coeur ou sur un coeur d'un processeur multi-coeurs (« standalone mode »). Ceci est possible grâce à la propriété de partitionnement spatial et 3025628 2 temporel qui permet de garantir un fonctionnement identique d'une partition, que ses partitions voisines soient présentes ou non dans le calculateur (hors échanges fonctionnels). La phase de conception permet aussi de déterminer un ensemble de ressources 5 matérielles nécessaires pour exécuter une ressource logicielle donnée dans le pire-cas, c'est-à-dire dans le cas où la ressource logicielle met en oeuvre la totalité des fonctions avioniques associées à cette partition. Un tel ensemble est ensuite mémorisé par le module d'ordonnancement et lors du fonctionnement du système embarqué, il est systématiquement mis à disposition de la 10 ressource logicielle correspondante, garantissant ainsi que chaque partition disposera toujours des ressources matérielles nécessaires et suffisantes à son bon fonctionnement, et ce même dans les pires cas. Outre le fait de répondre aux exigences des normes aéronautiques ou aérospatiales, les systèmes embarqués doivent suivre la conception générale de 15 diminution des poids ainsi que des coûts de leur exploitation. Ces problèmes sont souvent liés à une consommation énergétique importante de tels systèmes embarqués. La présente invention a pour but de proposer un système embarqué relativement peu onéreux en consommation énergétique. 20 À cet effet, l'invention a pour objet un système embarqué du type précité, dans lequel le module de pilotage permet en outre de commander le fonctionnement du système embarqué selon un mode de fonctionnement économique dans lequel le module d'ordonnancement est apte à mettre à disposition de chaque partition, des ressources matérielles selon un schéma dynamique de distribution des ressources matérielles, le 25 module d'ordonnancement comportant des moyens d'analyse permettant de déterminer le schéma dynamique en temps réel. Suivant d'autres aspects avantageux de l'invention, le système embarqué selon l'invention comprend une ou plusieurs des caractéristiques suivantes, prise(s) isolément ou suivant toutes les combinaisons techniquement possibles : 30 - le schéma figé de distribution des ressources matérielles est déterminé lors d'une phase de conception du système ; - dans le mode de fonctionnement économique, le module d'ordonnancement est apte à gérer dynamiquement le nombre de partions exécutées simultanément par une ou plusieurs ressources matérielles en effectuant un ordonnancement temporel d'au moins 35 certaines de ces partitions ; 3025628 3 - les ressources matérielles comprennent au moins un calculateur embarqué comportant une pluralité de processeurs, chaque processeur étant apte à exécuter une ou plusieurs partitions d'une ou des plusieurs ressources logicielles avec une fréquence d'horloge opérationnelle ; 5 - dans le mode de fonctionnement économique, le module d'ordonnancement est apte à déterminer le nombre de processeurs mis à disposition de chacune des partitions ; - dans le mode de fonctionnement économique, le module d'ordonnancement est apte à déterminer la fréquence d'horloge opérationnelle de chacun des processeurs mis à disposition de chacune des partitions ; 10 - les ressources matérielles comprennent au moins un calculateur embarqué comportant au moins un processeur multi-coeurs, chaque coeur étant apte à exécuter une ou plusieurs partitions d'une ou des plusieurs ressources logicielles avec une fréquence d'horloge opérationnelle ; - dans le mode de fonctionnement économique, le module d'ordonnancement est 15 apte à déterminer le nombre de coeurs de l'au moins un processeur multi-coeurs, mis à disposition de chacune des partitions ; - dans le mode de fonctionnement économique, le module d'ordonnancement est apte à déterminer la fréquence d'horloge opérationnelle de chacune des coeurs de l'au moins un processeur multi-coeurs, mis à disposition de chacune des partitions ; 20 - les ressources matérielles comprennent au moins un calculateur embarqué comportant au moins un processeur mono-coeur apte à exécuter une ou plusieurs partitions d'une ou des plusieurs ressources logicielles avec une fréquence d'horloge opérationnelle ; - le module d'ordonnancement est apte à déterminer la fréquence d'horloge 25 opérationnelle du processeur mono-coeur mis à disposition de chacune des partitions ; et - le module d'ordonnancement et le module de pilotage sont réalisés sous la forme d'un logiciel. Ces caractéristiques et avantages de l'invention apparaîtront à la lecture de la description qui va suivre, donnée uniquement à titre d'exemple non limitatif, et faite en 30 référence aux dessins annexés, sur lesquels : - la figure 1 est une vue schématique d'un système embarqué selon l'invention, comportant des ressources matérielles et des ressources logicielles ; - les figures 2 à 5 sont de différents schémas de distribution des ressources matérielles entre les ressources logicielles de la figure 1. 35 Dans le sens de la présente description, une fonction avionique est une tâche permettant de piloter au moins en partie un aéronef ou astronef. 3025628 4 Le système embarqué 10 illustré sur la figure 1 comprend une pluralité de ressources matérielles 12, une pluralité de ressources logicielles 14, un module 16 d'ordonnancement et un module 18 de pilotage. Le système 10 est embarqué à bord d'un aéronef et d'un astronef et permet de 5 mettre en oeuvre des fonctions avioniques critiques liées par exemple au pilotage de cet aéronef ou astronef. En variante, le système embarqué 10 est embarqué à bord de tout autre type de véhicule comme par exemple une automobile. Dans ce dernier cas, le système embarqué 10 permet de mettre en oeuvre des fonctions de pilotage de ce véhicule, et notamment 10 des fonctions de pilotage critiques. Avantageusement, le système 10 est embarqué au bord d'un satellite. Chaque fonction avionique mise en oeuvre par le système 10 répond à un certain niveau de criticité. Ce niveau de criticité est par exemple imposé par des normes aéronautiques ou aérospatiales. 15 Un exemple d'un tel système embarqué est un système de communication du satellite avec la Terre, ou encore un système de pilotage automatique d'un avion civil. Le fonctionnement du système embarqué 10 comprend une phase de conception et une phase d'exploitation. La phase de conception comprend la validation de l'ensemble des ressources 20 matérielles 12 et logicielles 14 du système conformément par exemple à l'une ou plusieurs normes aéronautiques ou aérospatiales. Autrement dit, cette phase correspond à la certification du système 10 ou au moins de certains de ses composants. La phase d'exploitation suivant la phase de conception, comprend toute exploitation du système 10 à des fins de mise en oeuvre d'une ou de plusieurs fonctions 25 avioniques. Les ressources matérielles 12 comprennent un calculateur embarqué 20 et une unité 22 de stockage reliée au calculateur 20 et apte à stocker par exemple les ressources logicielles 14. Le calculateur 20 est relié à une source d'alimentation 23 et comporte un 30 processeur multi-coeurs 24 formé par exemple de deux coeurs C. Chacun de ces coeurs C, est apte à fonctionner à une fréquence d'horloge opérationnelle Fol, ,. Cette fréquence d'horloge opérationnelle Fol, , est avantageusement inférieure ou égale à une fréquence d'horloge maximale F'x , prédéterminée et correspondant à une fréquence maximale avec laquelle le coeur C, correspondant est apte à fonctionner. La fréquence d'horloge 35 maximale F'x , est égale par exemple à 80 MHz. 3025628 5 Chaque ressource logicielle 14 comporte une pluralité de partitions PJ, l'ensemble des partitions P, implémentant un partitionnement temporel et spatial de la ressource logicielle 14 correspondante. Chaque partition Pi est une partie indépendante de la ressource logicielle 14 5 correspondante pour mettre en oeuvre au moins une fonction avionique d'une criticité donnée en utilisant au moins certaines des ressources matérielles, et notamment une ou plusieurs coeurs C, du calculateur embarqué 20. L'ensemble des partitions Pi permet ainsi la coexistence des fonctions avioniques de niveaux de criticité différents au sein du même calculateur 20. 10 Le partitionnement temporel et spatial de chaque ressource logicielle 14 assure ainsi l'exécution de plusieurs partitions Pi associées à des fonctions avioniques de niveaux de criticité différents au sein du même calculateur 20, ou plus globalement au sein d'une même plateforme avionique. Le module d'ordonnancement 16 permet de distribuer les ressources matérielles 15 entre les différentes ressources logicielles 14 et notamment, entre les différentes partitions Pi de ces ressources logicielles 14. Plus particulièrement, le module d'ordonnancement 16 permet d'allouer le temps d'un ou plusieurs coeurs C, à l'exécution de différentes partitions Pi de manière séquentielle et selon des besoins de ces partitions PJ, comme ceci sera expliqué par la suite. 20 Le module d'ordonnancement 16 est réalisé par exemple sous la forme d'un logiciel stocké dans l'unité de stockage 22. Selon l'invention, le module de pilotage 18 permet de déterminer le mode de fonctionnement du système embarqué 10 parmi un mode de fonctionnement pire-cas FP correspondant au mode de fonctionnement habituel des systèmes embarqué de l'état de 25 la technique, et un mode de fonctionnement économique FE permettant de réduire la consommation électrique du système 10. Le choix entre les deux modes de fonctionnement du système 10 est effectué par le module de pilotage 18 en analysant par exemple des évènements internes ou externes du système 10. 30 Une telle analyse consiste par exemple à déterminer la proportion du nombre de fonctions avioniques mises en oeuvre par le système 10 en temps réel au nombre total de fonctions avioniques que le système 10 est apte à mettre en oeuvre. Ainsi, le module de pilotage 18 est apte à comparer cette proportion avec un seuil de déclenchement prédéterminé. 3025628 6 En variante, le module de pilotage 18 est apte à recevoir de l'extérieur une information relative à un évènement déclencheur pour faire basculer le système de l'un des modes de fonctionnement à l'autre. Le module de pilotage 18 est réalisé par exemple sous la forme d'un logiciel 5 stocké dans l'unité de stockage 22. Dans le mode de fonctionnement pire-cas FP, le module d'ordonnancement est apte à mettre à disposition de chaque partition Pi, des ressources matérielles 12 selon un schéma figé SF de distribution des ressources matérielles. Ce schéma figé SF est déterminé lors de la phase de conception du système 10 et 10 reste sensiblement inchangé lors de la phase d'exploitation du système. Ce schéma figé SF permet à chacune des ressources logicielles 14 de fonctionner dans le « pire-cas », c'est-à-dire dans le cas quand l'exécution de l'ensemble des partitions Pi correspondant à cette ressource logicielle 14 est requise. En particulier, le schéma figé SF comprend pour chaque ressource logicielle 14, 15 une liste L des partitions Pi associées à cette ressource logicielle 14. Cette liste L comprend une sous-liste LQ correspondant à l'ordre d'exécution de ces partitions Pi et une sous-liste LM de ressources matérielles exigées par chacune des partitions Pi afin de mettre en oeuvre la ou les fonctions avioniques correspondant à ces partitions P. La sous-liste LM de ressources matérielles exigées par une partition Pi donnée, 20 comprend par exemple le nombre des coeurs C, ou la fréquence d'horloge opérationnelle Fop, exigés par la partition PJ, ou encore toute autre information relative à l'usage des ressources matérielles 12 par la partition P, lorsque la ressource logicielle 14 correspondant à cette partition P. Dans ce cas de fonctionnement, la fréquence d'horloge opérationnelle Fop, exigée est avantageusement égale à la fréquence maximale F'x , du 25 coeur C, correspondant. La liste LM et chacune des sous-listes LQ et LM précitées sont par exemple établies lors de la validation de chaque partition Pi indépendamment des autres partitions Pi selon des techniques connues en soi. Lors de cette validation, la partition Pi est exécutée par exemple dans le mode « mono-coeur », autrement dit, par un seul coeur C. 30 Dans le mode de fonctionnement économique FE, le module d'ordonnancement est apte à mettre à disposition de chaque partition PJ, des ressources matérielles 12 selon un schéma dynamique SD de distribution des ressources matérielles afin de diminuer la consommation électrique d'au moins certaines des ressources matérielles 12 et notamment du calculateur 20. 3025628 7 Pour ce faire, le module d'ordonnancement 16 comporte des moyens d'analyse permettant de déterminer le schéma dynamique SD en temps réel lors de la phase d'exploitation du système 10 en fonction des règles prédéterminées. Ces règles permettent notamment de gérer l'exécution des partitions P, 5 correspondant à une même ressource logicielle 14 et la distribution des ressources matérielles 12 entre ces partitions en fonction de besoins réels du système 10. Ainsi, par exemple, une de ces règles consiste à commander l'exécution uniquement des partitions Pi correspondant à des fonctions avioniques nécessaires en temps réel par le système 10. Ceci permet par exemple d'exclure l'exécution des partions 10 Pi se trouvant en veille. Une autre règle consiste à ordonnancer des partitions Pi correspondant à une même ressource avionique 14 de façon à réduire le nombre des coeurs exigés simultanément par cette ressource logicielle 14. Autrement dit, cette règle permet de « déparalléliser » l'exécution de certaines partitions P. 15 Encore une règle consiste à réduire la fréquence opérationnelle de chacune des coeurs C, utilisés par les partitions P. Dans tous ces cas, le module d'ordonnancement 16 est apte à adapter le schéma dynamique SD au contexte du nombre de coeurs C, actifs et de leur fréquence opérationnelle le nombre de coeurs C, actifs simultanément influant sur les 20 performances des partitions PJ, de même que leur fréquence opérationnelle Le fonctionnement du système embarqué 10 va désormais être expliqué en référence aux figures 2 à 5 sur lesquelles différents schémas de distribution des ressources matérielles entre les partitions P1 à P6 correspondant à une même ressource logicielle 14, sont illustrés. 25 Lors de la phase de conception du système 10, chacune des partitions Pi est validée indépendamment des autres sur un coeur C. Lors de la même étape, un schéma figé SF de distribution des ressources matérielles entre ces partitions Pi est établi. Ainsi, la figure 2 montre le temps d'exécution de la partition P1 sur le coeur C2 fonctionnant à sa fréquence d'horloge opérationnelle F0p2 égale à la fréquence d'horloge 30 maximale Fmax 25 ce temps étant déterminé lors de la phase de validation de cette partition. Lors de la phase d'exploitation du système 10 dans son mode de fonctionnement pire-cas, l'ensemble des partitions P1 à P6 est exécutée selon le schéma figé SF. Ainsi, dans l'exemple illustré sur la figure 3, les partitions PPPP et P2 sont 1, P2, P6, 1 - - 2 exécutées de manière consécutive sur le coeur C2 fonctionnant à sa fréquence d'horloge 35 opérationnelle F,,,p 2 égale à la fréquence d'horloge maximale Fmax 25 et les partitions P3, P4, 3025628 8 P3 et P5 sont exécutées de manière consécutive sur le coeur Cl fonctionnant à sa fréquence d'horloge opérationnelle F0p, égale à la fréquence d'horloge maximale Fmax 1 - Lorsque le module de pilotage 18 détecte que la proportion des fonctions avioniques utilisés dévient inférieure au seuil de déclenchement, il bascule du mode de 5 fonctionnement pire-cas au mode de fonctionnement économique. Dans ce mode de fonctionnement, le module d'ordonnancement utilise un schéma dynamique SD de distribution de ressources matérielles 12 selon l'une des règles décrites précédemment. Ainsi, dans l'exemple illustré sur la figure 4, seules les partitions PPPPP 1, P2, P4, P5, 15 10 P2 et P4 sont exécutées de manière consécutive sur le coeur C2 fonctionnant à sa fréquence d'horloge opérationnelle F0p 2 égale à la fréquence d'horloge maximale Fmax 2 est à noter que dans cette figure, les partitions P3 et P6 sont considérées comme étant en veille. Dans l'exemple illustré sur la figure 5, seules les partitions Pl, P4 et P1 sont 15 exécutées de manière consécutive sur le coeur C2 fonctionnant à sa fréquence d'horloge opérationnelle F0p 2 réduite par rapport à la fréquence d'horloge maximale Fmax 2 et égale à Fmax 2/2. Il est à noter que le temps d'exécution de chacune des partitions P1 et P4 s'allonge de deux fois par rapport à celui dans l'exemple illustré sur la figure 4. Lorsque le module de pilotage 18 détecte que la proportion des fonctions 20 avioniques utilisés dévient supérieur au seuil de déclenchement, il bascule du mode de fonctionnement économique au mode de fonctionnement pire-cas. D'autres modes de réalisation de l'invention sont également possibles. Ainsi, selon un mode de réalisation, le schéma figé SF de distribution de ressources matérielles 12 est déterminé dynamiquement et correspond à un schéma dynamique SD pire-cas selon 25 lequel l'ensemble des fonctions avioniques est sollicité. On conçoit alors que la présente invention comporte un certain nombre d'avantages. Le système embarqué 10 selon l'invention permet de gérer efficacement la consommation électrique de ses ressources matérielles 12 en appliquant un schéma 30 dynamique de distribution de ressources matérielles 12 entre les différentes partitions P, en temps réel. Ceci est particulièrement avantageux lorsque certaines de ces partitions Pi sont dans le mode veille et n'ont pas besoin d'au moins certaines des ressources matérielles 12 pour être exécutées. 35 De plus, comme chacune des partitions Pi est validée indépendamment des autres, le changement du schéma de distribution des ressources matérielles 12 entre les 3025628 9 différentes partitions P, n'a pas d'influence sur la validation des ressources logicielles 14 correspondantes. Ainsi, l'utilisation des ressources logicielles 14 est adaptée à des schémas de distribution différents sans avoir nécessité de revalider ces ressources logicielles. 5 Le point majeur ici consiste dans la propriété du calculateur à garantir que la validation d'une partition Pi en mode « fonctionnement isolé » (« standalone » en anglais) à une fréquence donnée reste valide si le nombre de coeurs C, actifs augmente ou si la fréquence change, moyennant la prise en compte adéquate dans le schéma dynamique SD. 10 Finalement, chacun du module d'ordonnancement et du module de pilotage est réalisé sous la forme d'un logiciel ce qui diminue considérablement les coûts liés à l'intégration de tels modules dans des systèmes embarqués déjà existants. Selon une autre variante de réalisation, le calculateur 20 comporte un ou plusieurs processeurs mono-coeurs apte à fonctionner chacun à une fréquence d'horloge 15 opérationnelle F0p, inférieure ou égale à une fréquence d'horloge maximale F'x , prédéterminée. Dans ce cas, lorsque le système embarqué 10 fonctionne dans le mode de fonctionnement économique FE, les règles de détermination du schéma dynamique SD consistent par exemple à réduire le nombre de processeurs mono-coeurs exigés 20 simultanément par une ressource logicielle 14. Encore un autre type de règles consiste par exemple à réduire la fréquence d'horloge opérationnelle F0p, du ou de chaque processeur mono-coeur utilisé par les partitions P. Bien entendu, d'autres variantes et exemples de réalisation sont également possibles. 25 REVENDICATIONS1.- Système (10) embarqué mettant en oeuvre des fonctions avioniques critiques et comprenant : - une pluralité de ressources matérielles (12) ; - une pluralité de ressources logicielles (14) associées à ces ressources matérielles (12) ; - un module (16) d'ordonnancement permettant de distribuer les ressources matérielles, (12) entre les différentes ressources logicielles (14) en mettant à disposition de chaque ressource logicielle (14) au moins certaines des ressources matérielles (12) ; chaque ressource logicielle (14) comportant une pluralité de partitions (Pi), chaque partition (Pi) étant propre à être exécutée par au moins une ressource matérielle (12) associée à la ressource logicielle (14) correspondante et mises à disposition de cette partition (Pj) par le module d'ordonnancement (16) pour mettre en oeuvre au moins une fonction avionique d'une criticité donnée, l'ensemble des partitions (Pj) constituant un partitionnement temporel et spatial des ressources logicielles (14) ; - un module (18) de pilotage permettant de commander le fonctionnement du système embarqué (10) selon un mode de fonctionnement pire-cas (FN) dans lequel le module d'ordonnancement (16) est apte à mettre à disposition de chaque partition (Pi), des ressources matérielles (12) selon un schéma figé (SF) de distribution des ressources matérielles (12) caractérisé en ce que le module de pilotage (18) permet en outre de commander le fonctionnement du système embarqué (10) selon un mode de fonctionnement économique (FE) dans lequel le module d'ordonnancement (16) est apte à mettre à disposition de chaque partition (Pi), des ressources matérielles selon un schéma dynamique (SD) de distribution des ressources matérielles (12), le module d'ordonnancement (16) comportant des moyens d'analyse permettant de déterminer le schéma dynamique (SD) en temps réel. 2.- Système (10) selon la revendication 1, caractérisé en ce que le schéma figé (SF) de distribution des ressources matérielles est déterminé lors d'une phase de conception du système (10) et reste sensiblement inchangé lors d'une phase d'exploitation du système (10). 3.- Système (10) selon la revendication 1 ou 2, caractérisé en ce que dans le mode de fonctionnement économique (FE), le module d'ordonnancement (16) est apte à 3025628 11 gérer dynamiquement le nombre de partions (Pj) exécutées simultanément par une ou plusieurs ressources matérielles (12) en effectuant un ordonnancement temporel d'au moins certaines de ces partitions (Pj). 4.- Système (10) selon l'une quelconque des revendications précédentes, caractérisé en ce que les ressources matérielles (12) comprennent au moins un calculateur (20) embarqué comportant une pluralité de processeurs, chaque processeur étant apte à exécuter une ou plusieurs partitions (Pi) d'une ou des plusieurs ressources logicielles (14) avec une fréquence d'horloge opérationnelle (Fopi). 10 5.- Système (10) selon la revendication 4, caractérisé en ce que dans le mode de fonctionnement économique (FE), le module d'ordonnancement (16) est apte à déterminer le nombre de processeurs mis à disposition de chacune des partitions (Pj). 15 6.- Système (10) selon la revendication 4 ou 5, caractérisé en ce que dans le mode de fonctionnement économique (FE), le module d'ordonnancement (16) est apte à déterminer la fréquence d'horloge opérationnelle (F0' ,) de chacun des processeurs mis à disposition de chacune des partitions (Pi). 20 7.- Système (10) selon l'une quelconque des revendications précédentes, caractérisé en ce que les ressources matérielles (12) comprennent au moins un calculateur (20) embarqué comportant au moins un processeur multi-coeurs (24), chaque coeur (C,) étant apte à exécuter une ou plusieurs partitions (Pi) d'une ou des plusieurs ressources logicielles (14) avec une fréquence d'horloge opérationnelle (Fc,p,). 25 8.- Système (10) selon la revendication 7, caractérisé en ce que dans le mode de fonctionnement économique (FE), le module d'ordonnancement (16) est apte à déterminer le nombre de coeurs (C,) de l'au moins un processeur multi-cceurs {24), mis à disposition de chacune des partitions {Pi). 30 9.- Système (10) selon la revendication 7 ou 8, caractérisé en ce que dans le mode de fonctionnement économique (FE), le module d'ordonnancement (16) est apte à déterminer la fréquence d'horloge opérationnelle (F,'p ,) de chacune des coeurs (C,) de l'au moins un processeur multi-coeurs (24), mis à disposition de chacune des partitions (Pi). 35 3025628 12 10.- Système (10) selon l'une quelconque des revendications précédentes, caractérisé - en ce que les ressources matérielles (12) comprennent au moins un calculateur (20) embarqué comportant au moins un processeur mono-cceur apte à exécuter une ou plusieurs partitions (13j) d'une ou des plusieurs ressources logicielles (14) avec une fréquence d'horloge opérationnelle (F0) ; et - en ce que le module d'ordonnancement (16) est apte à déterminer la fréquence d'horloge opérationnelle (Fo ,) du processeur mono-coeur mis à disposition de chacune des partitions (PJ). 11.- Système (10) selon l'une quelconque des revendications précédentes, caractérisé en ce que le module d'ordonnancement (16) et le module de pilotage (18) sont réalisés sous la forme d'un logiciel. 10 15