Resumen

La fiabilidad es una cuestión crítica para los sistemas informáticos distribuidos basados en componentes, ya que algunos programas informáticos distribuidos permiten la existencia de un gran número de componentes potencialmente defectuosos en una red abierta. Los fallos son inevitables en este entorno de componentes distribuidos, complejos y a gran escala, que puede incluir muchas partes poco fiables. Cómo proporcionar sistemas distribuidos basados en componentes altamente fiables es un problema desafiante y una investigación crítica. Por lo general, la redundancia y la replicación se utilizan para alcanzar el objetivo de la tolerancia a fallos. En este artículo, proponemos una técnica de redundancia CFI (critical fault iterative), mediante la cual se puede garantizar la eficiencia para hacer uso de los recursos (por ejemplo, computación y almacenamiento) y crear aplicaciones con tolerancia a fallos. Cuando se opera en un entorno en el que se desconoce la fiabilidad de los componentes, la redundancia CFI es más eficiente y adaptable que otras técnicas (por ejemplo, la redundancia K-Modular y la programación N-Version). En la estrategia de redundancia CFI, las relaciones de invocación de funciones y las frecuencias de invocación se emplean para clasificar la importancia de las funciones e identificar la función más vulnerable implementada mediante componentes funcionalmente equivalentes. Hay que encontrar un equilibrio entre eficiencia y fiabilidad. En este artículo se presentan un análisis teórico formal y un análisis experimental. En comparación con los métodos existentes, la fiabilidad del sistema distribuido basado en componentes puede mejorarse enormemente tolerando una pequeña parte de los componentes significativos.

• Materias:Matemáticas Análisis Matemático Álgebra Ingeniería Lógica matemática
• Subjects:mathematics Mathematical Analysis Algebra Engineering Mathematical logic
• Palabras claves:fiabilidad, análisis teórico formal, relaciones de invocación de funciones, eficacia, papel, redundancia, redundancia cfi, estrategia cfi, redundancia modular, programación de versiones
• Keywords:reliability, formal theoretical analysis, function invocation relationships, efficiency, paper, redundancy, cfi redundancy, cfi strategy, modular redundancy, version programming