Construcción automática de drivers software mediante técnicas basadas en MDE y lenguajes de dominio específico

  1. GARCIA FERNANDEZ, GLORIA
Zuzendaria:
  1. María Pilar Dorrego de Luxán Zuzendaria

Defentsa unibertsitatea: Universidad Pontificia de Salamanca

Fecha de defensa: 2015(e)ko uztaila-(a)k 20

Epaimahaia:
  1. Jesús Carretero Pérez Presidentea
  2. Alberto Pedrero-Esteban Idazkaria
  3. Ana María Fermoso García Kidea
  4. José Daniel García Sánchez Kidea
  5. Salvador Sánchez Alonso Kidea

Mota: Tesia

Teseo: 391857 DIALNET

Laburpena

Hoy en día una de las principales causas de fallos dentro de los sistemas operativos son los errores provocados por los drivers que dan soporte a los dispositivos hardware que se utilizan. A lo largo de la historia se han realizado muchas aproximaciones para intentar solucionar este problema, desde nuevas técnicas de programación hasta la tolerancia a los errores a través de técnicas que permitan seguir ejecutando el código. En esta tesis se busca aplicar las nuevas metodologías de desarrollo de software para proponer un nuevo entorno de desarrollo que asegure la calidad y corrección de los drivers producidos. Para lograr este objetivo se ha realizado un estudio de las soluciones propuestas hasta el momento para así analizar sus puntos fuertes y debilidades y poder proponer una solución que sea lo más adaptable posible. El objetivo principal de esta investigación es detectar los puntos más conflictivos en el desarrollo de drivers y solucionarlos a través de modelos de diseño y técnicas modernas de desarrollo de software.