METODO Y APARATO PARA ANALIZAR UN MODELO DE SISTEMA BASADO EN ESTADOS.

Método para analizar un modelo de sistema basado en estados que comprende un conjunto de máquinas

(MI, Mn), cada una de dichas máquinas comprendiendo al menos un estado posible y cada máquina estando en uno de sus estados previstos en un momento dado, el comportamiento dinámico de dichas máquinas (MI, Mn) estando definido por transiciones predefinidas entre los estados de cada máquina (MI;...;Mn) y por condiciones predefinidas (C) para las transiciones, dicho método comprendiendo las fases de: - selección de un conjunto objetivo de estados (A) dentro de un subconjunto de máquinas (MI); - repetición de las fases de iteración hasta que se satisface un criterio de terminación; caracterizado por el hecho de que las fases de iteración comprenden las fases de: (a) selección de un conjunto de estados (X) que tienen transiciones hacia el conjunto objetivo (a), donde las transiciones tienen condiciones (C), si las hay, que se refieren a máquinas dentro del conjunto de máquinas (MI) únicamente; (b) expansión del conjunto objetivo (A) incluyendo el conjunto de estados (X) en el conjunto objetivo (A); (c) expansión del subconjunto de máquinas (MI) incluyendo otro subconjunto de máquinas, mientras se mantiene el conjunto objetivo (A) construido en dicha fase de expansión del conjunto objetivo (A).

Tipo: Resumen de patente/invención.

Solicitante: IAR SYSTEMS A/S.

Nacionalidad solicitante: Dinamarca.

Dirección: ELKJAERVEJ 30-32,8230 ABYHOJ.

Inventor/es: LEERBERG, HENRIK, HULGAARD, HENRIK, LIND-NIELSEN, JORN, BO, ANDERSEN, HENRIK, REIF, LARSEN, KIM, GULDSTRAND, KRISTOFFERSEN, KARE, JELLING, BEHRMANN, GERD.

Fecha de Publicación: .

Fecha Solicitud PCT: 26 de Marzo de 1999.

Fecha Concesión Europea: 4 de Agosto de 2004.

Clasificación Internacional de Patentes:

  • SECCION G — FISICA > COMPUTO; CALCULO; CONTEO > TRATAMIENTO DE DATOS DIGITALES ELECTRICOS (computadores... > Equipo o métodos de tratamiento de datos o de cálculo... > G06F17/50 (Diseño asistido por computador (para el diseño de circuitos de ensayo para memorias estáticas G11C 29/54))
  • SECCION G — FISICA > COMPUTO; CALCULO; CONTEO > TRATAMIENTO DE DATOS DIGITALES ELECTRICOS (computadores... > G06F11/00 (Detección de errores; Corrección de errores; Monitorización del funcionamiento (métodos o disposiciones para verificar la exactitud del marcado sobre un soporte de registro G06K 5/00; en el registro de información basado en un movimiento relativo entre el soporte de registro y el transductor G11B, p. ej. G11B 20/18; en las memorias estáticas G11C 29/00))

Países PCT: Austria, Bélgica, Suiza, Alemania, Dinamarca, España, Francia, Reino Unido, Grecia, Italia, Liechtensein, Países Bajos, Suecia, Portugal, Finlandia, Oficina Europea de Patentes, Armenia, Azerbayán, Bielorusia, Ghana, Gambia, Kenya, Kirguistán, Kazajstán, Lesotho, República del Moldova, Malawi, Federación de Rusia, Sudán, Sierra Leona, Tayikistán, Turkmenistán, Uganda, Zimbabwe, Burkina Faso, Benin, República Centroafricana, Congo, Costa de Marfil, Camerún, Gabón, Guinea, Malí, Mauritania, Niger, Senegal, Chad, Togo, Organización Regional Africana de la Propiedad Industrial, Swazilandia, Guinea-Bissau, Organización Africana de la Propiedad Intelectual, Organización Eurasiática de Patentes.

google+ twitter facebookPin it
METODO Y APARATO PARA ANALIZAR UN MODELO DE SISTEMA BASADO EN ESTADOS.