Fault tolerance aspects in computerized systems

Adlemo, Anders; Andreasson, Sven Arne

doi:10.1109/melcon.1994.380926

Cited by 3 publications

(3 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…A continuación, se describen tipos de errores tradicionales en diagramas de secuencia UML, y también se mencionan las acciones de corrección mediante la aplicación de los principios de detector y corrector, un enfoque muy relevante para dar soporte de tolerancia a fallos en sistemas distribuidos (Adlemo, 1994): i) Cuando se realiza una acción no permitida: considerando que las acciones básicas en un diagrama de secuencia UML son los mensajes de envío y recepción, esta falla se modela mediante la inclusión de mensajes nuevos cuando no se los espera. Esta situación puede ser viable en escenarios distribuidos en los que los objetos participantes no conocen de restricciones acerca de los mensajes aun no recibidos cuyas características no han sido informadas.…”

Section: Tipos De Errores En Diagramas De Secuencia Umlunclassified

“…Tal y como enuncian Adlemo (1994) y Sukumar (2007), la tolerancia a fallas es una característica para mejorar la confiabilidad de un sistema computacional. Según (Dubrova, 2013), la tolerancia a fallas es la propiedad que le permite a un sistema seguir funcionando correctamente en caso de falla de uno o varios de sus componentes.…”

Section: Introductionunclassified

“…Según (Dubrova, 2013), la tolerancia a fallas es la propiedad que le permite a un sistema seguir funcionando correctamente en caso de falla de uno o varios de sus componentes. En un principio, la tolerancia a fallas se aplicaba principalmente en cuestiones de hardware, pero ya desde hace años también se aplica en contextos de software (Adlemo, 1994). El desarrollo de sistemas computacionales con un enfoque orientado a objetos requiere el uso de un lenguaje de modelamiento como UML.…”

Section: Introductionunclassified

See 2 more Smart Citations

Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML

et al. 2019

View full text Add to dashboard Cite

Este trabajo describe las principales características de diagramas de secuencia UML, la noción de falla o error y tolerancia a fallas, y algunos tipos de fallas comunes y sus acciones de corrección en un diagrama de secuencias UML. Así, el principal objetivo de este trabajo es proponer un algoritmo para la transformación de diagramas de secuencia UML en código Spin / Promela, una herramienta de verificación formal y de detección de errores en el chequeo de modelos para un sistema de tolerancia a fallas, y así entregar explicaciones de los pasos necesarios para ajustar y corregir los diagramas afectados. El algoritmo para transformar diagramas de secuencia UML en código Spin / Promela es útil para la detección de fallas en secuencias de mensajes. Se aplica la solución propuesta sobre un diagrama simple y general de secuencias UML para analizar su código Promela y garantizar la efectividad del chequeo de modelos sobre diagramas de secuencia UML. Además, se presentan ideas de extensión de la propuesta para el análisis de diagramas de secuencias UML con la inclusión de fragmentos combinados de iteraciones.

show abstract

Section: Tipos De Errores En Diagramas De Secuencia Umlunclassified

Section: Introductionunclassified

See 1 more Smart Citation

Una Propuesta de Algoritmo Spin / Promela para el Análisis y Diagnóstico de Errores en Diagramas de Secuencia UML

et al. 2019

View full text Add to dashboard Cite

show abstract

Dependability in distributed computerized manufacturing systems

Adlemo

Andreasson²

Proceedings of MELECON '94. Mediterranean Electrotechnical Conference

Self Cite

View full text Add to dashboard Cite

In order to achieve full dependability in computerized manufacturing systems there must be an automated fault detection and an automated reconfiguration of the system. However, for practical reasons there will often be enough to use a semi-automatic fault detection and reconfiguration, where a human operator can intervene in the system decisions. To be able to do automated reconfiguration the manufacturing system must be flexible. We will present a model suited for describing such manufacturing systems. Different reconfiguration methods will be described. Examples from a real system will be given.-We will also give examples how automated fault detection can be achieved in manufacturing systems. This is influenced by the level of ambition that is chosen when designing the subsystems of the whole system. We will have to define a failure semantics for each subsystem. A third means for achieving dependability is to use buffering in the system. Here we need a strategy for the different subsystems, and also how to act when there is an emergency.

show abstract