Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos

En este artículo, presentamos una formalización de fallas y sistemas tolerantes a fallas basada en un nuevo formalismo denominado sistemas reactivos de transiciones etiquetadas de estados. La formalización difiere de propuestas anteriores en varios aspectos: (i) separa la descripción del sistema de...

Descripción completa

Detalles Bibliográficos
Autores principales: Acosta, Araceli, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2009
Materias:
Ciencias Informáticas
Fault tolerance
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21062
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21062
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Fault tolerance
spellingShingle Ciencias Informáticas
Fault tolerance
Acosta, Araceli
Aguirre, Nazareno Matías
Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
topic_facet Ciencias Informáticas
Fault tolerance
description En este artículo, presentamos una formalización de fallas y sistemas tolerantes a fallas basada en un nuevo formalismo denominado sistemas reactivos de transiciones etiquetadas de estados. La formalización difiere de propuestas anteriores en varios aspectos: (i) separa la descripción del sistema de aquella asociada con el comportamiento de la falla (la cual es superimpuesta sobre el comportamiento del sistema), (ii) provee un significado preciso de la noción de "sistema tolerante a fallas", la cual es dependiente de falla, y requiere una especificación de requisitos del sistema.
format Objeto de conferencia
Objeto de conferencia
author Acosta, Araceli
Aguirre, Nazareno Matías
author_facet Acosta, Araceli
Aguirre, Nazareno Matías
author_sort Acosta, Araceli
title Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
title_short Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
title_full Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
title_fullStr Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
title_full_unstemmed Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
title_sort hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
publishDate 2009
url http://sedici.unlp.edu.ar/handle/10915/21062
work_keys_str_mv AT acostaaraceli haciaunaformalizacionondesistemastolerantesafallasbasadaengrafosreactivos
AT aguirrenazarenomatias haciaunaformalizacionondesistemastolerantesafallasbasadaengrafosreactivos
bdutipo_str Repositorios
_version_ 1764820465385209857

Ejemplares similares