SISTEMA INFORMATICO ASEGURADO.

摘要

Sistema informático que comprende por lo menos un calculador con procesador (10) que trabaja bajo el control de un programa, que trabaja sobre unos datos de entrada asociables cada uno a un código y que proporciona unos datos de salida asociables a un código, destinados a ser transmitidos o a ser aplicados a unos órganos de salida, caracterizado porque comprende por lo menos un periférico (12) exterior al procesador, conectado al procesador para recibir por lo menos los códigos de los datos de entrada, teniendo los operandos y la naturaleza de la operación de cada operación elemental efectuada por el procesador (10), una arquitectura aseguradora que calcula un código a cada operación elemental efectuada por el procesador y que verifica la buena ejecución de todo o parte del programa ejecutado, mientras que el procesador sólo efectúa unos cálculos sobre los valores funcionales de los datos codificados.