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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21062
Ver los metadatos del registro completo
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 |