El objetivo del Instituto IMDEA Software es el de avanzar en la ciencia y tecnología que permita el desarrollo eficiente de productos de software con funcionalidad sofisticada y alta calidad, en términos de seguridad, fiabilidad y eficiencia. Se ha elegido este área por la importancia del software como una tecnología “catalizadora” para muchos dispositivos y servicios, los severos problemas que acarrean los fallos en el software, y el coste que conlleva en la actualidad el desarrollo de software de calidad.
El desarrollo de software complejo, seguro, fiable y eficiente no es una tarea sencilla, y no se puede resolver fácilmente con “recetas mágicas” o con una gestión humana del proceso de desarrollo. Este problema afecta a todas las etapas del ciclo de vida del software y el Instituto persigue su misión centrándose en tres áreas estratégicas: seguridad y privacidad, análisis y verificación de programas y lenguajes, compiladores y sistemas.
Nuestra investigación sobre seguridad y privacidad ofrece tecnología que permite la computación, comunicación y almacenamiento en entornos abiertos, no confiables y malintencionados, como la Internet de las Cosas. Nuestros resultados incluyen nuevos protocolos criptográficos y tecnología para mejorar la privacidad, así como técnicas de vanguardia para detectar y analizar vulnerabilidades y actividades maliciosas en software, hardware y tráfico de red.
Esta área está cubierta por: Gilles Barthe, Juan Caballero, Dario Fiore, Alessandra Gorla.
Nuestra investigación sobre análisis y verificación de programas avanza los fundamentos y las herramientas que permiten a los ingenieros de software entender las propiedades clave de los sistemas que están construyendo. Nuestros resultados van desde herramientas que establecen automáticamente pruebas de corrección y seguridad, que son primordiales, por ejemplo, para la aviónica y el software de automoción, hasta herramientas que determinan los perfiles de consumo de energía de las aplicaciones ya durante su etapa de diseño, lo que es fundamental para el desarrollo de software apto para dispositivos móviles y empotrados.
Esta área está cubierta por: Gilles Barthe, Juan Caballero, John Gallagher, Pierre Ganty, Alexey Gotsman, Alessandra Gorla, Manuel Hermenegildo, Niki Vazou, Pedro López, José Francisco Morales, Aleks Nanevski, César Sánchez.
Nuestra investigación sobre lenguajes, compiladores y sistemas proporciona a los ingenieros de software medios para describir sus ideas de manera más concisa y modular y generar ejecutables correctos y eficaces a partir de estas descripciones, y con plataformas en las que estos programas puedan ejecutarse de manera eficiente. El progreso en esta área tiene el potencial de aumentar dramáticamente la productividad del programador, así como la capacidad de mantenimiento y la reutilización del software. Nuestros resultados incluyen potentes entornos de programación multi-paradigma y técnicas novedosas basadas en las propiedades de los lenguajes para construir sistemas concurrentes y distribuidos altamente eficientes y seguros.
Esta área está cubierta por: Gilles Barthe, Manuel Carro, John Gallagher, Manuel Hermenegildo, Niki Vazou, Pedro López, José Francisco Morales, Aleks Nanevski, César Sánchez.
En todas esas áreas se desarrolla trabajo en dos dimensiones complementarias:
Para más detalles consulte el último Annual Report. También puede visitar la página del investigador del área de su interés.
