A system and method for enhancing the integrity of a system which uses a
high performance, low assurance, general purpose microprocessor to execute
an avionics software application and uses a high assurance, low
performance microprocessor to monitor the output of the general purpose
microprocessor, without the need for comparison of outputs from parallel
processors executing functionally equivalent versions of the avionics
software application. The monitoring microprocessor is used to analyze
state transitions of the first microprocessor and to analyze the computed
values output by said general purpose microprocessor, against
predetermined limitations based upon aircraft limitations.
Un système et une méthode pour augmenter l'intégrité d'un système qui emploie un rendement élevé, basse assurance, microprocesseur tout usage pour exécuter une application et des utilisations de logiciel de l'avionique une assurance élevée, bas microprocesseur d'exécution pour surveiller le rendement du microprocesseur tout usage, sans besoin de comparaison des sorties des processeurs parallèles exécutant des versions fonctionellement équivalentes de l'application de logiciel de l'avionique. Le microprocesseur de surveillance est utilisé pour analyser des transitions d'état du premier microprocesseur et pour analyser les valeurs calculées produites par ledit microprocesseur tout usage, contre des limitations prédéterminées basées sur des limitations d'avion.
