Horario: 14 a 17 hs.

Dr. Jean-Claude Laprie es actualmente es Director de investigación del LAAS-CNRS (Francia). Fundador y director del Laboratory for Dependability Engineering (1975-1966). Es Ingeniero de la Escuela Nacional Superior de Construcciones Aeronáuticas (Toulouse, Francia, 1968). Doctor en Ingeniería (1971) y en Ciencias de la Computación (1975) en la Universidad de Toulouse, Francia.

Ha escrito mas de 100 papers, y es coautor y editor de diversos libros. Es Investigador Principal en distintos contratos en el área de interés. Fue profesor invitado del Depto. de Computación de la UCLA (Los Angeles - USA. 1985). Ha organizado y sido miembro de comités de programas de numerosas conferencias y Comités Técnicos. Recibió la Medalla de Plata de la IFIP (1992) y la Medalla de Plata de la Investigación Científica de Francia (1993).

. Tolerancia a fallas: conceptos básicos y terminología. Ataques: faltas, errores, fallas. Significados de tolerancia: verificación y validación a través de remoción de faltas; evaluación vía predicción de faltas; arquitecturas tolerantes a fallas. Atributos de tolerancia a fallas: disponibilidad, confiabilidad, seguridad, mantenibilidad. Estándares actuales: IEC, CCITT, IEEE. Sus límites.

. Ataques: fallas errores y faltas. Clases de faltas: accidentales/deliberadas; con o sin malicia; físicas/humanas; internas/externas; de desarrollo/operativas; permanentes/transitorias. Clases de fallas: de valor/timing; consistentes/bizantinas; benignas/catastróficas. Distribución de clases de faltas de acuerdo con las fases del ciclo de vida; la importancia de faltas transitorias, no reproducibles, y de regresión.

. Validación y verificación (V&V): métodos y herramientas. Soluciones estáticas: inspecciones, model-checking, demostración de teoremas. Métodos dinámicos: testing (determinístico y estadístico). Efectividad de los métodos y su situación en el ciclo de desarrollo. Importancia de métodos estáticos. Problemas de las soluciones OO.

. Evaluación: análisis cualitativo y evaluaciones cuantitativas. Tolerancia estable y evolutiva. Tests de tendencias para administración de validación. Confiabilidad del software. Herramientas de software para evaluar tolerancia. Sistemas ultra-tolerantes. Relación complejidad/confiabilidad.

. Arquitecturas tolerantes: detección de errores, recuperación y compensación. Influencia de presunciones de falta y de cubrimiento de tolerancia. Efectividad real de la tolerancia a fallas: datos experimentales. Tolerancia en sistemas distribuídos y en red: consenso, membresía, etc. Tolerancia a fallas de software. Sistemas tolerantes OO. Aproximaciones de seguridad tolerante a fallas.

. Relación entre los medios: cómo la tolerancia contribuye a los atributos de tolerancia: remoción y predicción de faltas: chequeo de reglas de parada; sistemas altamente críticos.

. Tolerancia y modelos de desarrollo de sistemas: modelos actuales (V, incremental, espiral, procesos) y sus problemas. Modelo de tolerancia explícita.

. Límites en la tolerancia: límites percibidos y efectivos. Límites técnicos y organizacionales.

Conocimientos básicos de Sistemas Operativos e Ingeniería del Software.