PROTOCOLO DE GESTION, PROCEDIMIENTO DE VERIFICACION Y DE TRANSFORMACION DE UN FRAGMENTO DE PROGRAMA DESCARGADO Y SISTEMAS CORRESPONDIENTES.
Protocolo de gestión de un fragmento de programa descargado en un sistema portable reprogramable,
tal como una tarjeta con microprocesador provisto de una memoria de lectura - escritura, el mencionado fragmento de programa está constituido por un código objeto, secuencia de instrucciones, ejecutable por el microprocesador del sistema portable por medio de una máquina virtual provista de una pila de ejecución y de registros o variables locales manipulados por estas instrucciones y que permiten interpretar este código objeto, el mencionado sistema portable está interconectado a un terminal, caracterizado por el hecho de que este protocolo consiste al menos, al nivel del mencionado sistema portable: a) en detectar un comando de descarga de este fragmento de programa; y con una respuesta positiva en esta etapa que consiste en detectar un comando de descarga, b) en leer el código objetivo que constituye este fragmento de programa y en memorizar temporalmente este código objeto; c) en someter el conjunto del código objeto memorizado temporalmente a un proceso de verificación instrucción por instrucción, este proceso de verificación consiste al menos en una etapa de inicialización de la pila de los tipos en un estado de vacío y de la tabla de los tipos de registros a un tipo que representa la intersección de todos los tipos de datos, que representan el estado de la mencionada máquina virtual al principio de la ejecución del código objeto memorizado temporalmente y en una sucesión de etapas de verificación, instrucción por instrucción, por discriminación de la existencia, para cada instrucción corriente, de un objetivo, objetivo de instrucción de conexión, objetivo de una llamada de un gestor de excepciones u objetivo de una llamada de sub-rutina y por una verificación y una actualización del efecto de la mencionada instrucción corriente sobre la pila de los tipos y sobre la tabla de los tipos de registros, y, en el caso de una verificación lograda del mencionado código objeto, d) en registrar el fragmento de programa descargado en un repertorio de fragmentos de programas disponibles, y, en el caso de una verificación no lograda del mencionado código objeto, e) en inhibir la ejecución, en el sistema portable, del mencionado fragmento de programa.
Tipo: Resumen de patente/invención.
Solicitante: TRUSTED LOGIC.
Nacionalidad solicitante: Francia.
Dirección: 5, RUE DU BAILLIAGE,78000 VERSAILLES.
Inventor/es: LEROY, XAVIER.
Fecha de Publicación: .
Fecha Solicitud PCT: 21 de Agosto de 2000.
Fecha Concesión Europea: 22 de Octubre de 2003.
Clasificación Internacional de Patentes:
- G06F9/445 FISICA. › G06 CALCULO; CONTEO. › G06F PROCESAMIENTO ELECTRICO DE DATOS DIGITALES (sistemas de computadores basados en modelos de cálculo específicos G06N). › G06F 9/00 Disposiciones para el control por programa, p. ej. unidades de control (control por programa para dispositivos periféricos G06F 13/10). › Carga o inicio de programas (arranque G06F 9/4401; disposiciones de seguridad para la carga o inicio de programas G06F 21/57).
- G06F9/45
Países PCT: Austria, Bélgica, Suiza, Alemania, Dinamarca, España, Francia, Reino Unido, Grecia, Italia, Liechtensein, Luxemburgo, Países Bajos, Suecia, Mónaco, Portugal, Irlanda, Finlandia, Chipre, Oficina Europea de Patentes.
Patentes similares o relacionadas:
Procedimiento de gestión de módulos de software integrados para una computadora electrónica de un dispositivo de conmutación eléctrica, del 17 de Junio de 2020, de SCHNEIDER ELECTRIC INDUSTRIES SAS: Procedimiento de gestión de módulos de software integrados para una computadora electrónica integrada de un dispositivo eléctrico de conmutación de […]
Comunicación de datos de recompensa entre aplicaciones, del 10 de Junio de 2020, de Outfit7 Limited: Método de comunicación de datos de recompensa desde una primera aplicación que se ejecuta en un dispositivo de procesamiento de datos hasta una segunda aplicación […]
Compartición de objetos de primera clase a través de múltiples lenguajes de programación interpretados, del 29 de Abril de 2020, de THE BOEING COMPANY: Un método para compartir construcciones de lenguaje entre diferentes lenguajes de secuencias de comandos basados en Java, en el que las construcciones del […]
Sistema de control de acceso al servicio y procedimiento que usa un agente del navegador integrado, del 15 de Abril de 2020, de SAMSUNG ELECTRONICS CO., LTD.: Un sistema de control de acceso al servicio que usa un agente del navegador integrado, comprendiendo el sistema: un servidor que proporciona […]
Menú y configuración aumentada de búsqueda para aplicaciones informáticas, del 18 de Marzo de 2020, de Microsoft Technology Licensing, LLC: Un sistema, que comprende: un componente de referencia configurado para acceder a un conjunto de metadatos almacenados en un archivo […]
Sistemas y métodos para sincronización de datos y gestión de conmutación por error, del 19 de Febrero de 2020, de IEX Group, Inc: Un método para ejecutar una aplicación de forma expeditiva en al menos un procesador informático, comprendiendo el método: ejecutar simultáneamente una pluralidad de instancias […]
Aparatos y procedimientos de ampliación de servicios de aplicaciones, del 12 de Febrero de 2020, de QUALCOMM INCORPORATED: Un procedimiento para ampliar servicios de un dispositivo de usuario, que comprende: identificar una primera aplicación residente en el dispositivo […]
Método para transmitir y verificar la validez de los datos de configuración en un sistema electrónico, sistema electrónico asociado y producto de programa informático, del 29 de Enero de 2020, de ALSTOM Transport Technologies: Método para transmitir y verificar la validez de los datos de configuración en un sistema electrónico con almacenamiento centralizado de los […]