FR 3108993 A1 20211008 FR 2003473 A 20200407 - Procédé et système de synchronisation d’unités de calcul d’un aéronef. - Le système de synchronisation (1) comporte une unité de génération (12) pour générer une impulsion de synchronisation à partir de données d’une horloge (13) indépendante, l’impulsion de synchronisation étant générée de façon périodique, des liaisons de transmission (22A) pour transmettre l’impulsion de synchronisation à chacune des unités de calcul (3) et dans chacune des unités de calcul (3), un élément de contrôle (23A) pour comparer l’impulsion de synchronisation reçue à une impulsion générée par une horloge interne (9A) de cette unité de calcul (3) et pour en conclure à une conformité ou à une absence de conformité, un ordonnanceur (7A) de chacune des unités de calcul (3) déclenchant une séquence de mise en œuvre de partitions (P1A à PNA) à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’élément de contrôle (23A) de l’unité de calcul (3) correspondante conclut à une conformité, le système de synchronisation (1) étant ainsi en mesure de synchroniser de façon fiable et précise les unités de calcul (3) tout en apportant une contribution à la sûreté de fonctionnement de ces unités de calcul (3). Figure pour l’abrégé : Fig. 3. Procédé et système de synchronisation d’unités de calcul d’un aéronef. La présente invention concerne un procédé et un système de synchronisation d’unités de calcul d’un aéronef, en particulier d’un avion de transport, lesdites unités de calcul étant regroupées dans un ensemble d’unités de calcul. ETAT DE LA TECHNIQUE Dans le cadre de la présente invention, les unités de calcul : - peuvent correspondre chacune à un calculateur, l’ensemble d’unités de calcul représentant alors un ensemble de calculateurs, comprenant par exemple un calculateur maître et un calculateur esclave ; ou - peuvent correspondre à différentes voies ou différents modules d’un unique calculateur, l’ensemble (d’unités de calcul) représentant alors le calculateur et les unités de calcul correspondant à ces voies ou modules. De plus, dans le cadre de la présente invention, les unités de calcul de l’ensemble d’unités de calcul mettent en œuvre, au moins en partie, les mêmes types de partitions. Chaque partition met en œuvre au moins une fonction (logicielle), par exemple pour commander des actionneurs d’une gouverne dans le cas d’un calculateur de commande de vol. On sait qu’un aéronef, en particulier un avion de transport, comporte en général plusieurs ensembles d’unités de calcul, et en particulier un ensemble de calculateurs de commande de vol qui calculent des ordres de contrôle d’actionneurs de gouvernes de l’aéronef. Généralement, une partie des calculateurs sont utilisés en mode commande (COM) et les autres calculateurs sont utilisés en mode moniteur (MON), un calculateur en mode moniteur surveillant le fonctionnement d’un calculateur en mode commande. Les calculateurs sont ainsi répartis selon des couples COM/MON. En outre, certains des calculateurs de l’aéronef peuvent être de type duplex, c’est-à-dire qu’ils comprennent deux modules formant par exemple une voie A et une voie B. Chaque fonction mise en œuvre par le calculateur est dupliquée sur chacune des voies A et B, l’une des voies agissant en mode commande (COM) et l’autre en mode moniteur (MON). Cela permet de réaliser une surveillance de type COM/MON au cours de laquelle, pour chaque fonction mise en œuvre par le calculateur, la voie agissant en mode moniteur surveille la voie agissant en mode commande de façon à détecter une éventuelle défaillance du couple de voies. Quelle que soit l’architecture considérée, il est nécessaire que les unités de calcul d’un tel ensemble d’unités de calcul puissent être synchronisées de façon précise et fiable, tout en prévoyant des moyens de sécurité. Il existe donc un besoin pour une telle synchronisation. La présente invention a pour objet de répondre à ce besoin. Elle concerne un système de synchronisation d’au moins deux unités de calcul d’un aéronef, ces deux unités de calcul étant aptes à mettre en œuvre une pluralité de mêmes partitions, chacune desdites unités de calcul comportant au moins un ordonnanceur, une horloge interne et une plateforme logicielle comprenant ladite pluralité de partitions. Selon l’invention, ledit système de synchronisation comporte : - une unité de génération configurée pour générer une impulsion de synchronisation, ladite unité de génération étant associée à une horloge indépendante et comprenant un générateur de forme pour générer une impulsion de synchronisation calibrée à partir de données de ladite horloge, ladite impulsion de synchronisation étant générée de façon périodique ; - des liaisons de transmission configurées pour transmettre l’impulsion de synchronisation à chacune desdites unités de calcul ; et - dans chacune desdites unités de calcul, un élément de contrôle configuré pour comparer l’impulsion de synchronisation reçue par l’unité de calcul à une impulsion générée par l’horloge interne de cette unité de calcul, et pour en conclure à une conformité ou à une absence de conformité en fonction de cette comparaison, et l’ordonnanceur de chacune desdites unités de calcul est configuré pour déclencher une séquence de mise en œuvre d’au moins certaines desdites partitions à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’élément de contrôle de l’unité de calcul correspondante conclut à une conformité. Ainsi, le système de synchronisation est en mesure de synchroniser de façon fiable et précise les unités de calcul (notamment à l’aide d’une horloge qui est indépendante des horloges internes des unités de calcul). De plus, grâce à l’élément de contrôle, la synchronisation est uniquement prise en compte en cas de conformité de l’impulsion de synchronisation, ce qui apporte une contribution à la sûreté de fonctionnement des unités de calcul. En effet, avantageusement, le système de synchronisation est configuré pour arrêter la prise en compte des traitements d’une desdites unités de calcul lorsque l’élément de contrôle de cette unité de calcul conclut à une absence de conformité. En outre, de façon avantageuse, l’unité de génération est configurée pour générer la première impulsion de synchronisation après réception d’une information de disponibilité de chacune desdites unités de calcul. Par ailleurs, dans un mode de réalisation particulier, le système de synchronisation comporte un générateur de retard agencé entre l’unité de génération et lesdites unités de calcul et configuré pour ajouter des délais à l’impulsion de synchronisation, les délais étant différents en fonction des unités de calcul destinataires de l’impulsion de synchronisation, chacune desdites unités de calcul prenant en compte l’impulsion de synchronisation avec le délai correspondant, telle que reçue du générateur de retard. En outre, dans un mode de réalisation particulier, le système de synchronisation comporte des éléments de synchronisation directe configurés pour réaliser une synchronisation entre les unités de calcul afin de synchroniser une ou plusieurs partitions à l’intérieur de la séquence de partitions. La présente invention concerne également un procédé de synchronisation d’au moins deux unités de calcul d’un aéronef, ces deux unités de calcul étant aptes à mettre en œuvre une pluralité de mêmes partitions, chacune desdites unités de calcul comportant au moins un ordonnanceur, une horloge interne et une plateforme logicielle comprenant ladite pluralité de partitions. Selon l’invention, ledit procédé de synchronisation comprend au moins la suite d’étapes suivantes, ladite suite d’étapes étant mise en œuvre de façon répétitive : - une étape de génération, mise en œuvre par une unité de génération, consistant à générer une impulsion de synchronisation, ladite impulsion de synchronisation étant générée à partir de données d’une horloge indépendante associée à l’unité de génération ; - une étape de transmission, mise en œuvre par des liaisons de transmission, consistant à transmettre l’impulsion de synchronisation à chacune desdites unités de calcul ; - des étapes de contrôle, à savoir une étape de contrôle pour chacune desdites unités de calcul, chacune desdites étapes de contrôle qui est mise en œuvre par une unité de contrôle, consistant à comparer l’impulsion de synchronisation reçue par l’unité de calcul à une impulsion générée par l’horloge interne de cette unité de calcul, et à en conclure à une conformité ou à une absence de conformité en fonction de cette comparaison ; et - des étapes de déclenchement, à savoir une étape de déclenchement pour chacune desdites unités de calcul, chacune desdites étapes de déclenchement qui est mise en œuvre par l’ordonnanceur de l’unité de calcul correspondante, consistant à déclencher une séquence de mise en œuvre d’au moins certaines desdites partitions à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’étape de contrôle correspondante conclut à une conformité. Avantageusement, le procédé de synchronisation comprend une étape d’arrêt consistant à arrêter la prise en compte des traitements d’une desdites unités de calcul lorsque l’étape de contrôle relative à cette unité de calcul conclut à une absence de conformité. En outre, de façon avantageuse, l’étape de génération génère la première impulsion de synchronisation après réception d’une information de disponibilité de chacune desdites unités de calcul. Par ailleurs, dans un mode de réalisation particulier, le procédé de synchronisation comprend une étape de génération de retard, mise en œuvre par un générateur de retard, consistant à ajouter des délais à l’impulsion de synchronisation, les délais étant différents en fonction des unités de calcul destinataires de l’impulsion de synchronisation, l’étape de contrôle et l’étape de déclenchement prenant en compte à chaque fois l’impulsion de synchronisation avec le délai correspondant, telle que reçue par l’unité de calcul correspondante. En outre, dans un mode de réalisation particulier, le procédé de synchronisation comprend au moins une étape de synchronisation directe consistant à réaliser une synchronisation entre les unités de calcul afin de synchroniser une ou plusieurs partitions à l’intérieur de la séquence de partitions. La présente invention concerne en outre : - un ensemble d’unités de calcul comportant au moins deux unités de calcul et un système de synchronisation tel que celui décrit ci-dessus, chacune desdites unités de calcul comprenant au moins un ordonnanceur, une horloge interne et une plateforme logicielle ; et/ou - un aéronef, en particulier un avion de transport, comprenant un tel ensemble d’unités de calcul. BRÈVE DESCRIPTION DES FIGURES Les figures annexées feront bien comprendre comment l'invention peut être réalisée. Sur ces figures, des références identiques désignent des éléments semblables. La figure 1 est une vue schématique, en perspective, d’un aéronef équipé d’un ensemble d’unités de calcul, pourvu d’un système de synchronisation. La figure 2 est le schéma synoptique d’un exemple d’un ensemble de deux unités de calcul. La figure 3 est le schéma synoptique d’un mode réalisation particulier d'une unité de calcul de type maître, pourvue d’un système de synchronisation. La figure 4 est le schéma synoptique d’un mode réalisation particulier d'une unité de calcul de type esclave, faisant partie du même ensemble d’unités de calcul que l’unité de calcul maître de la figure 3. La figure 5 illustre schématiquement les étapes principales d’un procédé de synchronisation. DESCRIPTION DÉTAILLÉE Le système de synchronisation 1, illustrant l'invention et tel que décrit ci-dessous en référence aux figures 3 et 4, fait partie d’un ensemble 2 d’unités de calcul d’un aéronef AC, en particulier d’un avion de transport comme représenté à titre d’exemple sur la figure 1. L’ensemble 2 est représenté sur la figure 2, dans un mode de réalisation particulier, avec deux unités de calcul 3 et 4, sous forme d’une plateforme duale. La description suivante est relative à un tel exemple à deux unités de calcul 3 et 4, bien que dans le cadre de la présente invention, l’ensemble 2 puisse comporter plus de deux unités de calcul, par exemple trois, quatre,…, unités de calcul. Dans l’exemple représenté sur les figures 2 à 4, l’unité de calcul 3 est considérée comme une unité maître et l’unité de calcul 4 est considérée comme une unité esclave. Dans le cadre de l’invention, les unités de calcul peuvent correspondre chacune : - à un calculateur, l’ensemble d’unités de calcul représentant alors un ensemble de calculateurs ; ou - à une voie ou à un module d’un seul et même calculateur, l’ensemble (d’unités de calcul) représentant alors le calculateur et les unités de calcul correspondant à ces voies ou modules. L’unité de calcul 3 comporte notamment, comme représenté sur la figure 3 : - une plateforme 5A comprenant un système d’exploitation 6A destiné notamment à gérer l'exécution de programmes et un ordonnanceur 7A relié par une liaison 8A au système d’exploitation 6A, l’ordonnanceur 7A (« scheduler » en anglais) permettant notamment d’établir et de commander une séquence de mise en œuvre de partitions ; - une horloge interne 9A reliée par une liaison 10A au système d’exploitation 6A ; et - une plateforme logicielle 11A. La plateforme logicielle 11A comporte des partitions P1A, P2A, …, PNA, N étant un entier supérieur à 1. En outre, l’unité de calcul 4 comporte notamment, comme représenté sur la figure 4 : - une plateforme 5B comprenant un système d’exploitation 6B destiné notamment à gérer l'exécution de programmes et un ordonnanceur 7B relié par une liaison 8B au système d’exploitation 6B, l’ordonnanceur 7B permettant notamment d’établir et de commander une séquence de mise en œuvre de partitions ; - une horloge interne 9B reliée par une liaison 10B au système d’exploitation 6B ; et - une plateforme logicielle 11B. La plateforme logicielle 11B comporte des partitions P1B, P2B, …, PNB, N étant un entier supérieur à 1. Les partitions P1B à PNB de la plateforme logicielle 11B sont, respectivement, identiques aux partitions P1A à PNA de la plateforme logicielle 11A. Ces partitions P1A à PNA et P1B à PNB réalisent des traitements relatifs à des fonctions usuelles que doit mettre en œuvre l’ensemble 2 d’unités de calcul 3 et 4 sur l’aéronef AC, telles que la génération d’ordres de commande de gouvernes de l’aéronef AC par exemple. Par ailleurs, le système de synchronisation 1 comporte, comme représenté sur la figure 3, une unité de génération 12 configurée pour générer une impulsion de synchronisation qui est une impulsion en tension. L’unité de génération 12 est associée à une horloge 13 à laquelle elle est reliée par une liaison 14. L’horloge 13 est indépendante des horloges 9A et 9B internes des unités de calcul 3 et 4. L’unité de génération 12 comprend un générateur de forme 15 pour générer une impulsion de synchronisation calibrée, à partir de données de ladite horloge 13. L’unité de génération 12 comprend également : - un élément de réception 16 lié par des liaisons 17A et 17B aux plateformes 5A et 5B des unités de calcul 3 et 4 et configuré pour recevoir une information de disponibilité de chacune des unités de calcul 3 et 4. Cette information de disponibilité indique que l’unité de calcul correspondante est prête à recevoir une impulsion de synchronisation ; et - un générateur d’impulsion 19 relié respectivement par des liaisons 20 et 21 à l’élément de réception 16 et au générateur de forme 15. Le générateur d’impulsion 19 génère une impulsion qui est mise en forme (ou calibrée) par le générateur de forme 15, avant d’être transmise comme précisé ci-dessous. Le générateur de forme 15 génère une impulsion de synchronisation présentant une forme électrique et temporelle donnée, pour corriger la dérive temporelle d’exécution des partitions des unités de calcul 3 et 4 qui sont asynchrones. Cette impulsion de synchronisation est émise par l’unité de génération 12. Le générateur d’impulsion 19 génère une impulsion lorsqu’il a reçu une information de disponibilité de toutes les unités de calcul 3 et 4. Dans un mode de réalisation particulier, le générateur d’impulsion 19 prévoit un délai supplémentaire pour garantir la bonne réception de toutes les informations de disponibilité. L’unité de génération 12 est configurée pour générer : - la première impulsion de synchronisation après réception d’une information de disponibilité de chacune des unités de calcul 3 et 4 ; et - les impulsions de synchronisation suivantes (autres que ladite première impulsion de synchronisation), de façon périodique, c’est-à-dire à des intervalles de temps identiques, par exemple toutes les 5 millisecondes. Le système de synchronisation 1 comporte de plus : - des liaisons de transmission 22A et 22B configurées pour transmettre (de façon périodique) une impulsion de synchronisation à chacune desdites unités de calcul 3 et 4 ; et - dans chacune desdites unités de calcul 3 et 4, un élément de contrôle 23A, 23B. L’élément de contrôle 23A de l’unité de calcul 3 compare l’impulsion de synchronisation, générée par l’unité de génération 12 et reçue par l’intermédiaire de la liaison de transmission 22A, à une impulsion générée par l’horloge interne 9A de l’unité de calcul 3. A partir cette comparaison, l’élément de contrôle 23A conclut à une conformité ou à une absence de conformité comme précisé ci-dessous. De même, l’élément de contrôle 23B de l’unité de calcul 4 compare l’impulsion de synchronisation, générée par l’unité de génération 12 et reçue par l’intermédiaire de la liaison de transmission 22B, à une impulsion générée par l’horloge interne 9B de l’unité de calcul 4. A partir cette comparaison, l’élément de contrôle 23AB conclut à une conformité ou à une absence de conformité. Dans le cadre de la présente invention, on considère : - qu’il y a conformité, si l’impulsion de synchronisation et l’impulsion générée par l’horloge interne sont de même forme (temporelle) ; et - qu’il y a absence de conformité, si l’impulsion de synchronisation et l’impulsion générée par l’horloge interne sont de formes (temporelles) différentes. De plus, l’ordonnanceur 7A de l’unité de calcul 3 est configuré pour déclencher une séquence de mise en œuvre d’au moins certaines des partitions P1A à PNA, via une liaison 25A, à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’élément de contrôle 23A de l’unité de calcul 3 conclut à une conformité. De même, l’ordonnanceur 7B de l’unité de calcul 4 est configuré pour déclencher une séquence de mise en œuvre d’au moins certaines des partitions P1B à PNB, via une liaison 25B, à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’élément de contrôle 23B de l’unité de calcul 4 conclut à une conformité. Par conséquent, chaque ordonnanceur 7A, 7B déclenche la séquence de mise en œuvre des partitions dès la réception de l’impulsion de synchronisation. Quand la séquence est réalisée, l’ordonnanceur 7A, 7B se met en attente de la réception de l’impulsion de synchronisation suivante pour déclencher de nouveau une séquence de mise en œuvre de partitions. En outre, le système de synchronisation 1 est configuré : - pour arrêter la prise en compte des traitements de l’unité de calcul 3 lorsque l’élément de contrôle 23A de cette unité de calcul 3 conclut à une absence de conformité. Cette information peut être transmise par l’intermédiaire d’une liaison 18A à un système dédié (non représenté) ; et - pour arrêter la prise en compte des traitements de l’unité de calcul 4 et lorsque l’élément de contrôle 23B de cette unité de calcul 4 conclut à une absence de conformité. Cette information peut être transmise par l’intermédiaire d’une liaison 18B à un système dédié (non représenté). L’arrêt de la prise en compte des traitements d’une unité de calcul peut être réalisé de différentes manières, par exemple en arrêtant le fonctionnement de l’unité de calcul ou en ne prenant pas en compte les informations qu’elle génère. Cet arrêt apporte une contribution importante à la sûreté de l’ensemble 2 d’unités de calcul, en particulier lorsqu’il s’agit d’unités de calcul (ou calculateurs) ayant un impact sur la sécurité de vol de l’aéronef AC, tel qu’un calculateur de commande de vol par exemple. Le système de synchronisation 1, tel que décrit ci-dessus, est donc en mesure de réaliser une synchronisation fiable et efficace des unités de calcul 3 et 4 de l’ensemble 2 (notamment grâce à l’horloge 13 qui est indépendante des horloges internes 9A et 9B des unités de calcul 3 et 4). De plus, grâce notamment à l’élément de contrôle 23A, 23B, la synchronisation est uniquement prise en compte en cas de conformité de l’impulsion de synchronisation, ce qui contribue à augmenter la sûreté de fonctionnement de l’ensemble 2 (duquel fait partie le système de synchronisation 1). Dans le mode de réalisation particulier représenté sur les figures 3 et 4, le système de synchronisation 1 est agencé à proximité de l’unité de calcul 3. Il est également envisageable de l’intégrer dans l’unité de calcul 3, ou bien de l’agencer à proximité ou dans de l’unité de calcul 4. En outre, dans un mode de réalisation particulier, le système de synchronisation 1 peut être logé dans un module dédié, différent desdites unités de calcul 3 et 4. Par ailleurs, dans un mode de réalisation particulier, le système de synchronisation 1 comporte un générateur de retard 26 agencé entre l’unité de génération 12 et les unités de calcul 3 et 4. Ce générateur de retard 26 est configuré pour ajouter des délais à l’impulsion de synchronisation, reçue via une liaison 27 de l’unité de génération 12. Les délais ajoutés sont différents en fonction des unités de calcul 3 et 4 destinataires de l’impulsion de synchronisation. Chacune des unités de calcul 3 et 4 prend en compte l’impulsion de synchronisation avec le délai correspondant, telle que reçue du générateur de retard 26, par l’intermédiaire de la liaison 22A, 22B. Ceci permet de désynchroniser les unités de calcul 3 et 4, tout en permettant de déclencher les séquences de partitions à la même périodicité. Cette caractéristique permet, notamment, d’éviter qu’un évènement (notamment extérieur) susceptible de perturber les unités de calcul 3 et 4 intervienne exactement au même instant lors de la mise en œuvre de la même partition et génère un traitement erroné de cette partition sur toutes les unités de calcul 3 et 4 de l’ensemble 2. Cette caractéristique (générant un décalage temporel) apporte ainsi une aide supplémentaire à la sûreté de l’ensemble 2. De préférence, ce dernier mode de réalisation particulier (qui consomme des ressources de calcul) est uniquement implémenté si les conditions de sûreté de fonctionnement exigent une telle protection supplémentaire. En outre, dans un mode de réalisation particulier, le système de synchronisation 1 comporte des éléments de synchronisation directe (non représentés). Ces éléments de synchronisation directe sont configurés pour réaliser une synchronisation directe entre les unités de calcul 3 et 4 de l’ensemble 2, via une liaison 28 liant ensemble les systèmes d’exploitation 6A et 6B des unités de calcul 3 et 4. Ces éléments de synchronisation directe ont pour but de synchroniser le déclenchement à un instant donné d’une ou plusieurs partitions à l’intérieur de la séquence de partitions, la séquence de partitions étant quant à elle déclenchée à chaque nouvelle impulsion de synchronisation. Cette synchronisation directe (de partitions) est donc réalisée à des intervalles de temps faibles à l’intérieur de la période de génération de l’impulsion de synchronisation. Le système de synchronisation 1 de l’ensemble 2 d’unités de calcul 3 et 4, tel que décrit ci-dessus, est apte à mettre en œuvre un procédé de synchronisation représenté sur la figure 5 Ce procédé de synchronisation comprend au moins la suite d’étapes suivantes, ladite suite d’étapes étant mise en œuvre de façon répétitive : - une étape de génération E1, mise en œuvre par l’unité de génération 12, consistant à générer une impulsion de synchronisation. L’impulsion de synchronisation est générée à partir de données de l’horloge 13 associée à l’unité de génération 12. L’étape de génération E1 génère la première impulsion de synchronisation après réception d’une information de disponibilité de chacune des unités de calcul 3 et 4, et les impulsions de synchronisation suivantes de façon périodique ; - une étape de transmission E2, mise en œuvre par les liaisons de transmission 22A et 22B, consistant à transmettre l’impulsion de synchronisation à chacune des unités de calcul 3 et 4 ; - des étapes de contrôle E3A et E3B, à savoir une étape de contrôle E3A, E3B pour chacune des unités de calcul 3 et 4. Chacune des étapes de contrôle E3A et E3B qui est mise en œuvre par l’unité de contrôle 23A, 23B, consiste à comparer l’impulsion de synchronisation reçue par l’unité de calcul 3, 4 à une impulsion générée par l’horloge interne 9A, 9B de l’unité de calcul 3, 4, et à en conclure à une conformité ou à une absence de conformité en fonction de cette comparaison ; et : • une ou des étapes de déclenchement E4A et E4B, à savoir une étape de déclenchement pour chacune des unités de calcul 3 et 4. Chacune des étapes de déclenchement E4A et E4B qui est mise en œuvre par l’ordonnanceur 7A, 7B de l’unité de calcul 3, 4, consiste à déclencher une séquence de mise en œuvre d’au moins certaines des partitions PA1 à PNA, PB1 à PNB à la réception de l’impulsion de synchronisation, lorsque l’étape de contrôle E3A, E3B correspondante conclut à une conformité ; ou • une ou des étapes d’arrêt E5A, E5B consistant à arrêter la prise en compte des traitements d’une des unités de calcul 3 et 4, lorsque l’étape de contrôle E3A, E3B relative à cette unité de calcul 3, 4 conclut à une absence de conformité. Par ailleurs, dans un mode de réalisation particulier, le procédé de synchronisation comprend une étape de génération de retard E6A, E6B, mise en œuvre (par le générateur de retard 26) entre l’étape génération E1 et l’étape de transmission E2. Comme cette étape de génération de retard E6A, E6 est optionnelle, elle est représentée en tirets sur la figure 5. Cette étape de génération de retard E6A, E6B consiste à ajouter des délais à l’impulsion de synchronisation. Les délais sont différents en fonction des unités de calcul 3 et 4 destinataires de l’impulsion de synchronisation, L’étape de contrôle E3A, E3B et l’étape de déclenchement E4A, E4B prennent en compte à chaque fois l’impulsion de synchronisation avec un délai correspondant, telle que reçue par l’unité de calcul 3, 4 correspondante. En outre, dans un mode de réalisation particulier, le procédé de synchronisation comprend au moins une étape de synchronisation directe (non représentée) consistant à réaliser une synchronisation entre les unités de calcul 3 et 4 afin de synchroniser une ou plusieurs partitions à l’intérieur de la séquence de partitions. Système de synchronisation d’au moins deux unités de calcul d’un aéronef, ces deux unités de calcul (3, 4) étant aptes à mettre en œuvre une pluralité de mêmes partitions (P1A à PNA, P1B à PNB), chacune desdites unités de calcul (3, 4) comportant au moins un ordonnanceur (7A, 7B), une horloge interne (9A, 9B) et une plateforme logicielle (11A, 11B) comprenant ladite pluralité de partitions (P1A à PNA, P1B à PNB), caractérisé en ce qu’il comporte : - une unité de génération (12) configurée pour générer une impulsion de synchronisation, ladite unité de génération (12) étant associée à une horloge (13) indépendante et comprenant un générateur de forme (15) pour générer une impulsion de synchronisation calibrée à partir de données de ladite horloge (13), ladite impulsion de synchronisation étant générée de façon périodique ; - des liaisons de transmission (22A, 22B) configurées pour transmettre l’impulsion de synchronisation à chacune desdites unités de calcul (3, 4) ; et - dans chacune desdites unités de calcul (3, 4), un élément de contrôle (23A, 23B) configuré pour comparer l’impulsion de synchronisation reçue par l’unité de calcul (3, 4) à une impulsion générée par l’horloge interne (9A, 9B) de cette unité de calcul (3, 4), et pour en conclure à une conformité ou à une absence de conformité en fonction de cette comparaison, et en ce que l’ordonnanceur (7A, 7B) de chacune desdites unités de calcul (3, 4) est configuré pour déclencher une séquence de mise en œuvre d’au moins certaines desdites partitions (P1A à PNA, P1B à PNB) à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’élément de contrôle (23A, 23B) de l’unité de calcul (3, 4) correspondante conclut à une conformité. Système selon la revendication 1, caractérisé en ce qu’il est configuré pour arrêter la prise en compte des traitements d’une desdites unités de calcul (3, 4) lorsque l’élément de contrôle (23A, 23B) de cette unité de calcul (3, 4) conclut à une absence de conformité. Système selon l’une des revendications 1 et 2, caractérisé en ce que l’unité de génération (12) est configurée pour générer la première impulsion de synchronisation après réception d’une information de disponibilité de chacune desdites unités de calcul (3, 4). Système selon l’une quelconque des revendications 1 à 3, caractérisé en ce qu’il comporte un générateur de retard (26) agencé entre l’unité de génération (12) et lesdites unités de calcul (3, 4) et configuré pour ajouter des délais à l’impulsion de synchronisation, les délais étant différents en fonction des unités de calcul (3, 4) destinataires de l’impulsion de synchronisation, chacune desdites unités de calcul (3, 4) prenant en compte l’impulsion de synchronisation avec le délai correspondant, telle que reçue du générateur de retard (26). Système selon l’une quelconque des revendications 1 à 4, caractérisé en ce qu’il comporte des éléments de synchronisation directe configurés pour réaliser une synchronisation entre les unités de calcul (3, 4) afin de synchroniser une ou plusieurs partitions à l’intérieur de la séquence de partitions. Procédé de synchronisation d’au moins deux unités de calcul d’un aéronef, ces deux unités de calcul (3, 4) étant aptes à mettre en œuvre une pluralité de mêmes partitions (P1A à PNA, P1B à PNB), chacune desdites unités de calcul (3, 4) comportant au moins un ordonnanceur (7A, 7B), une horloge interne (9A, 9B) et une plateforme logicielle (11A, 11B) comprenant ladite pluralité de partitions (P1A à PNA, P1B à PNB), caractérisé en ce qu’il comprend au moins la suite d’étapes suivantes, ladite suite d’étapes étant mise en œuvre de façon répétitive : - une étape de génération (E1), mise en œuvre par une unité de génération (12), consistant à générer une impulsion de synchronisation, ladite impulsion de synchronisation étant générée à partir de données d’une horloge (13) indépendante associée à l’unité de génération (12) ; - une étape de transmission (E2), mise en œuvre par des liaisons de transmission (22A, 22B) consistant à transmettre l’impulsion de synchronisation à chacune desdites unités de calcul (3, 4) ; - des étapes de contrôle (E3A, E3B), à savoir une étape de contrôle (E3A, E3B) pour chacune desdites unités de calcul (3, 4), chacune desdites étapes de contrôle (E3A, E3B) qui est mise en œuvre par une unité de contrôle (23A, 23B), consistant à comparer l’impulsion de synchronisation reçue par l’unité de calcul (3, 4) à une impulsion générée par l’horloge interne (9A, 9B) de cette unité de calcul (3, 4), et à en conclure à une conformité ou à une absence de conformité en fonction de cette comparaison ; et - des étapes de déclenchement (E4A, E4B), à savoir une étape de déclenchement (E4A, E4B) pour chacune desdites unités de calcul (3, 4), chacune desdites étapes de déclenchement (E4A, E4B) qui est mise en œuvre par l’ordonnanceur (7A, 7B) de l’unité de calcul (3, 4) correspondante, consistant à déclencher une séquence de mise en œuvre d’au moins certaines desdites partitions (P1A à PNA, P1B à PNB) à la réception de l’impulsion de synchronisation, et ceci uniquement lorsque l’étape de contrôle (E3A, E3B) correspondante conclut à une conformité. Procédé selon la revendication 6, caractérisé en ce qu’il comprend une étape d’arrêt (E5A, E5B) consistant à arrêter la prise en compte des traitements d’une desdites unités de calcul (3, 4) lorsque l’étape de contrôle (E3A, E3B) relative à cette unité de calcul (3, 4) conclut à une absence de conformité. Procédé selon l’une des revendications 6 et 7, caractérisé en ce que l’étape de génération (E1) génère la première impulsion de synchronisation après réception d’une information de disponibilité de chacune desdites unités de calcul (3, 4). Procédé selon l’une quelconque des revendications 6 à 8, caractérisé en ce qu’il comprend une étape de génération de retard (E6A, E6B), mise en œuvre par un générateur de retard (26), consistant à ajouter des délais à l’impulsion de synchronisation, les délais étant différents en fonction des unités de calcul (3, 4) destinataires de l’impulsion de synchronisation, l’étape de contrôle (E3A, E3B) et l’étape de déclenchement (E4A, E4B) prenant en compte à chaque fois l’impulsion de synchronisation avec un délai correspondant, telle que reçue par l’unité de calcul (3, 4) correspondante. Procédé selon l’une quelconque des revendications 6 à 9, caractérisé en ce qu’il comprend au moins une étape de synchronisation directe consistant à réaliser une synchronisation entre les unités de calcul (3, 4) afin de synchroniser une ou plusieurs partitions à l’intérieur de la séquence de partitions. Ensemble d’unités de calcul, caractérisé en ce qu’il comporte au moins deux unités de calcul (3, 4) et un système de synchronisation (1) selon l’une quelconque des revendications 1 à 5, chacune desdites unités de calcul (3, 4) comportant au moins un ordonnanceur (7A, 7B), une horloge interne (9A, 9B) et une plateforme logicielle (11A, 11B). Aéronef, caractérisé en ce qu’il comporte un ensemble (2) d’unités de calcul (3, 4) selon la revendication 11.