Aplicando DSDM al Diseño, Implementación y Verificación de Software para Drones: Una Primera Aproximación

Resumen:

Hasta hace poco, el uso de sistemas de vuelo no tripulados (Unmanned Aerial Vehicles, UAV), también conocidos como drones, estaba limitado al campo militar. Sin embargo, en la actualidad, su uso en el ámbito civil y de la investigación prolifera con rapidez. En este artículo se presenta una primera aproximación al diseño de alto nivel tanto de la infraestructura (diseño físico) como de las misiones (diseño lógico) de los UAV utilizando un enfoque dirigido por modelos. El objetivo de este trabajo es ofrecer a los diseñadores un conjunto de herramientas que faciliten el diseño, la documentación y la implementación, así como la verificación temprana y formal de las restricciones físicas, lógicas y legales que deben guiar la construcción de estos sistemas.

Palabras Clave:

dron - DSDM - UAV

Autor(es):

• Enrique Moguel {enrique@unex.es}
  QSEG, Escuela Politécnica de Cáceres, Universidad de Extremadura
  
• Cristina Vicente-Chicote {cristinav@unex.es}
  QSEG, Escuela Politécnica de Cáceres, Universidad de Extremadura
  
• Juan Hernández {juanher@unex.es}
  QSEG, Escuela Politécnica de Cáceres, Universidad de Extremadura
  
• Juan Carlos Preciado {jcpreciado@unex.es}
  QSEG, Escuela Politécnica de Cáceres, Universidad de Extremadura
  
• Fernando Sánchez-Figueroa {fernando@unex.es}
  QSEG, Escuela Politécnica de Cáceres, Universidad de Extremadura
  

Handle:

Descargas:

La descarga de este artículo ha sido restringida por el autor

Ver la referencia en formato Bibtex