Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
N-Greens Software. Next-GeneRation Energy-EfficieNt Secure Software
Year:2014
Research Areas
  • Information technology and adata processing
Information
Abstract
En 2012 el Grupo Asesor sobre Tecnologías de la Sociedad de la Información (ISTAG por sus siglas en inglés) identificó en su informe "Software Technologies: the Missing Key Enabling Technogies" al software como una de las tecnologías clave (KET for Key Enabling Technology en inglés) que permitirá el desarrollo y crecimiento económico sostenible de la economía europea, y que permitirá también atacar los nuevos retos de la sociedad. Este informe también recomienda lanzar una iniciativa sobre software para sistemas informáticos avanzados. El proyecto NGreens Software persigue plasmar la visión del ISTAG a través del desarrollo de tecnologías disruptivas en áreas clave con un alto impacto social. Para conseguir este objetivo se estructura en cinco objetivos técnicos que se describen a continuación: Objetivo 1: Computación Verde. Construiremos herramientas para el modelado, análisis y optimización del consumo energético de programas, y elaboraremos una metodología para promocionar la eficiencia energética como objetivo de primer nivel en los procesos de desarrollo de software. Objetivo 2: Seguridad en la Nube. Propondremos técnicas criptográficas que aseguren la seguridad y la privacidad en la nube, y construiremos herramientas que permitan asegurar su efectividad. Además desarrollaremos métodos de configuración automáticos que permitan a los clientes seleccionar sus protecciones de seguridad basadas en requisitos técnicos y económicos. Objetivo 3: Sistemas Ciberfísicos. Desarrollaremos un abanico de técnicas para garantizar que los sistemas ciberfísicos, o redes distribuidas de sistemas ciberfísicos, no fallen. Nuestras técnicas incluirán un avance importante en términos de la clase de propiedades verificables para incluir propiedades avanzadas conocidas como "hiperpropiedades". Objetivo 4: Paralelismo para las Masas. Desarrollaremos un conjunto de abstracciones y mecanismos que permitan construir sistemas de software de gran tamaño que aprovechen adecuadamente las arquitecturas modernas heterogéneas, así como razonar acerca de sistemas concurrentes y distribuidos modernos. Objetivo 5: Herramientas. Construiremos herramientas que permitan cristalizar los avances del proyecto, desarrollaremos casos de estudios de alto impacto social y aprovecharemos una amplia red de colaboraciones industriales para maximizar la transferencia de tecnología. Otros objetivos transversales adicionales se centran en la diseminación, formación, transferencia tecnológica, y gestión, que son facetas primordiales del programa.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Comunidad de Madrid
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
01/10/2014
Participants
  • Director: Manuel Carro Liñares (UPM)
  • Participante: Manuel de Hermenegildo Salinas (UPM)
  • Participante: José Francisco Morales Caballero (UPM)
  • Participante: Remy Haemmerle (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)