Análisis y Desarrollo Automático de Sistemas Tolerantes a Fallas.

Resumen:

Los sistemas críticos son aquellos sistemas de computación utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonía móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. . El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas tolerantes a fallas, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Ejemplos de estos son: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos.

Facultad:

Facultad de Ciencias Exactas, Físico-Químicas y Naturales

Financiamiento :

Interno

Área temática:

3 .Sistemas de información y de gestión

Análisis y Desarrollo Automático de Sistemas Tolerantes a Fallas.

Resumen:

Solicitud de información de oferta tecnológica

Ultimas novedades

Buscador tecnológico por PALABRA CLAVE FACULTAD DISCIPLINA