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

Autores
Acosta, Araceli; Aguirre, Nazareno Matías
Año de publicación
2009
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
VI Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Fault tolerance
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21062

id SEDICI_6464a868d5abf7af5728b7f94daa8382
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21062
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivosAcosta, AraceliAguirre, Nazareno MatíasCiencias InformáticasFault toleranceEn 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.VI Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI)2009-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf850-859http://sedici.unlp.edu.ar/handle/10915/21062spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:54:30Zoai:sedici.unlp.edu.ar:10915/21062Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:54:31.234SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
title Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
spellingShingle Hacia una formalizaciónon de sistemas tolerantes a fallas basada en grafos reactivos
Acosta, Araceli
Ciencias Informáticas
Fault tolerance
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
dc.creator.none.fl_str_mv Acosta, Araceli
Aguirre, Nazareno Matías
author Acosta, Araceli
author_facet Acosta, Araceli
Aguirre, Nazareno Matías
author_role author
author2 Aguirre, Nazareno Matías
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Fault tolerance
topic Ciencias Informáticas
Fault tolerance
dc.description.none.fl_txt_mv 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.
VI Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2009
dc.date.none.fl_str_mv 2009-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21062
url http://sedici.unlp.edu.ar/handle/10915/21062
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
850-859
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615802570932224
score 13.070432