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
Solicitud de información de oferta tecnológica
Ultimas novedades
Buscador tecnológico por PALABRA CLAVE FACULTAD DISCIPLINA
-
El Área de Vinculación y Transferencia Tecnológica de la Universidad Nacional de Villa María visitó la UNRC -
La UNRC fue una de las sedes del primer Foro de Innovación Sostenible -
GridX en la UNRC | La Company Builder se reunió con investigadores de la universidad -
Reunión exclusiva con GRIDX: "¿Estás interesado en transformar tu investigación en una startup?" -
Cursá "Modelos de negocios" [Trayecto en Desarrollo Emprendedor]