Procedimiento de verificación del funcionamiento de un sistema.

Procedimiento de verificación de un sistema modelizado por un sistema (S) de autómatas sincronizados por un conjunto de mensajes (M),

que comprende las operaciones siguientes: se descompone el sistema en un número N de subsistemas numerados de n=1 a n=N; se facilitan parámetros que describen cada uno de los subsistemas n, 1 n N, en forma de un autómata respectivo (Sn) compuesto de un conjunto En de estados e i n del subsistema n, con un conjunto An de transiciones a j n entre pares de estados del conjunto En, estando asociada cada transición a j n del conjunto An a un subconjunto M j n del conjunto de mensajes de sincronización (M), de manera que se traduce el hecho que cada mensaje del subconjunto M j n tiene lugar cuando el subsistema describe cambio de estado de acuerdo con la transición a j n ; se construye un sistema de ecuaciones lineales (1f, 2f, 3s) que comprende, para 1 t T y 1n N, por una parte ecuaciones flotantes de forma: e i n (t 1) = X j2B i n a j n (t) para e i n 2 En y dela forma: e i n (t) = X j2C i n a j n (t) para e i n 2 En; y por otra parte ecuaciones de sincronización de la forma: m k (t) = X j2D k n a j n (t) para m k 2 Mn; en las que T indica el número de etapas sucesivas de funcionamiento del sistema, B i n designa el conjunto de los índices j tales que la transición a j n del conjunto An procede del estado e i n del conjunto En, C i n indica el conjunto de los índices j tales que la transición a j n del conjunto An conduce al estado e i n del conjunto En, Mn designa la reunión de los subconjuntos de mensajes M j n respectivamente asociados a las transiciones del conjunto An, D k n designa el conjunto de los índices j tales que un mensaje m k del conjunto Mn pertenece al subconjunto M j n asociado a la transición a j n del conjunto An, lavariablee i n (t)j 0 t T es una incógnita del sistema lineal asociado al estado e i n del conjunto En y a la etapa t, la variable a j n (t)(1 t T) es una incógnita del sistema lineal asociado a la transición a j n del conjunto An y en la etapa t, la variable m k (t), 1 t T, es una desconocida del sistema lineal asociado al mensaje m k del conjunto (M) de los mensajes de sincronización y en la etapa t; se dene una propiedad del sistema a verificar, en forma de condiciones lineales suplementarias impuestas a las incógnitas del sistema lineal; se aplica al sistema lineal sometido a las limitaciones suplementarias un método de resolución por programación lineal; y se analiza el resultado de la programación lineal para determinar si dicha propiedad es verificada por el sistema.

Tipo: Resumen de patente/invención.

Solicitante: FRANCE TELECOM EXPLOITANT PUBLIC
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)
UNIVERSITE DE CAEN.

Nacionalidad solicitante: Francia.

Dirección: 6, PLACE D'ALLERAY,75015 PARIS.

Inventor/es: DELLACHERIE, SAMUEL, BROULT, CHRISTOPHE, DEVULDER, SAMUEL, LAMBERT, JEAN-LUC.

Fecha de Publicación: 1 de Noviembre de 2002.

Fecha Solicitud PCT: 1 de Diciembre de 1998.

Fecha Concesión Europea: 20 de Marzo de 2002.

Clasificación Internacional de Patentes:

G06F11/00 FISICA. › G06 CALCULO; CONTEO. › G06F PROCESAMIENTO ELECTRICO DE DATOS DIGITALES (sistemas de computadores basados en modelos de cálculo específicos G06N). › Detección de errores; Corrección de errores; Monitorización (detección, corrección o monitorización de errores en el almacenamiento de información basado en el movimiento relativo entre el soporte de registro y el transductor G11B 20/18; monitorización, es decir, supervisión del progreso del registro o reproducción G11B 27/36; en memorias estáticas G11C 29/00).
H04M3/22 ELECTRICIDAD. › H04 TECNICA DE LAS COMUNICACIONES ELECTRICAS. › H04M COMUNICACIONES TELEFONICAS (circuitos para el control de otros aparatos vía cable telefónico y que no implican aparatos de conmutación telefónica G08). › H04M 3/00 Centrales automáticas o semiautomáticas. › Disposiciones de supervisión, de control o de ensayo.

Países PCT: Austria, Bélgica, Alemania, España, Francia, Reino Unido, Italia, Países Bajos, Suecia, Finlandia, Oficina Europea de Patentes.

Patentes similares o relacionadas:

Métodos y sistemas para verificar usuarios mediante números de teléfono, del 24 de Junio de 2020, de Sinch Mobile AB: Un método implementado por ordenador realizado por un dispositivo de comunicación controlado por software asociado con un número de teléfono de […]

Interceptación legal para objetivos en una red de protocolo de Internet móvil proxy, del 3 de Mayo de 2019, de TELEFONAKTIEBOLAGET LM ERICSSON (PUBL): Un método para usar en una red de telecomunicaciones para proporcionar a las Agencias de Cumplimiento de la Ley datos de Interceptación relacionados con un nodo móvil […]

Método y dispositivo para analizar y diagnosticar medios físicos en una red de acceso, del 19 de Febrero de 2019, de ALCATEL LUCENT: Método para analizar y/o diagnosticar medios físicos en una red de acceso , caracterizado por que el método comprende […]

Comunicación de datos, del 4 de Febrero de 2019, de BRITISH TELECOMMUNICATIONS PUBLIC LIMITED COMPANY: Método de control de una conexión de datos que incluye un primer y un segundo módems con una línea de transmisión entre ellos, comprendiendo la línea de […]

Interceptación legal de tonos de retorno de llamada personalizados, del 17 de Enero de 2018, de TELEFONAKTIEBOLAGET LM ERICSSON (PUBL): Un método para interceptar una transmisión de un tono de retorno de llamada personalizado desde una red asociada con un abonado a un usuario llamante , cuyo tono […]

Procedimiento para la interceptación legal en caso de transferencia de llamadas en una red de telecomunicación orientada por paquetes, del 20 de Diciembre de 2017, de HMD global Oy: Procedimiento para la interceptación legal en caso de transferencia de llamadas (AW_TlnB) en una red de telecomunicación orientada por paquetes (TK1, […]

Comunicación de datos, del 31 de Mayo de 2017, de BRITISH TELECOMMUNICATIONS PUBLIC LIMITED COMPANY: Método de funcionamiento de una red de acceso , que incluye una pluralidad de conexiones de datos entre unos dispositivos de usuario […]

Procedimiento y dispositivo para proporcionar un servicio de telecomunicaciones, del 8 de Febrero de 2017, de Telefónica Germany GmbH & Co. OHG: Procedimiento para la operación de un centro de llamadas, en el que en un primer modo de operación las llamadas entrantes desde una red VolP son señalizadas […]