| 摘要 |
La présente invention concerne les calculateurs dont les erreurs non détectées doivent avoir un taux très faible d'occurrence (10<-9> par unité de temps). Cela concerne en particulier les calculateurs embarqués sur aéronefs exécutant des applications critiques telles que le pilote automatique, la gestion de vol, la gestion de carburant ou l'anti-collision terrain. Deux ou plusieurs voies de calcul sont prévues et les échanges sont autorisés soit à la production soit à la consommation des données par chacune des voies. On peut également prévoir un cycle prédéfini d'autorisation. L'autorisation de transfert de la donnée est donnée en fonction d'une logique de comparaison binaire dans le cas de deux voies. Dans le cas de plus de deux voies, l'autorisation peut être donnée soit par une logique de comparaison binaire soit par une logique majoritaire selon que l'on privilégie l'intégrité ou la disponibilité du système de calcul.
|
