Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
Año:2011
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
El objetivo global del proyecto es contribuir al avance en los fundamentos y tecnologías útiles para el desarrollo de sistemas de software con calidad y fiabilidad certificadas, típicamente basados en métodos formales y técnicas de programación declarativa. La propuesta de trabajo se organiza alrededor de las siguientes cuatro grandes líneas de investigación: ? Lenguajes: Estudia características que permitan mejorar la expresividad y seguridad de los lenguajes de especificación y programación, tales como el paralelismo, la distribución y la movilidad, la genericidad y los sistemas de tipos. ? Seguridad y fiabilidad: Se dedica a estudiar la seguridad tanto al nivel del diseño de sistemas de software como al nivel del código ejecutable, sin olvidar el estudio de políticas que garanticen los requisitos de seguridad. ? Verificación y validación: Continúa nuestra investigación anterior sobre propiedades de sistemas concurrentes, modelados por un lado como sistemas de redes y por el otro mediante álgebras de procesos, que ahora se generalizan a métodos coalgebraicos. Además, se introducen nuevas ideas en la investigación de verificación heterogénea y de verificación en tiempo de ejecución. ? Herramientas y aplicaciones: Aunque las anteriores líneas de investigación también incluyen el desarrollo de algunas herramientas, en esta línea se van a concentrar nuestros esfuerzos en la mejora de sistemas que ya han sido desarrollados previamente en el seno de los grupos participantes en el proyecto. El proyecto que se propone surge como evolución natural de nuestro proyecto coordinado anterior DESAFIOS (TIN2006?15660?C02), en el que participaban los grupos de investigación FADOSS de la UCM y BABEL de la UPM, con objetivos similares. Sin embargo, esta propuesta quiere hacer mayor hincapié en los aspectos de seguridad y fiabilidad, para lo cual se incorpora un tercer grupo, el grupo de investigación en seguridad del instituto de investigación de reciente creación IMDEA Software. Como en el proyecto anterior, nuestra intención es explotar las sinergias existentes entre los tres grupos de investigación involucrados, como se puede apreciar en el hecho de que en todas las sublíneas de investigación que se proponen colaboran investigadores de al menos dos de los grupos.
Internacional
No
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
MICINN
Nacionalidad Entidad
ESPAÑA
Tamaño de la entidad
Desconocido
Fecha concesión
14/12/2009
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Julio Mariño Carballo (UPM)
  • Participante: Lars-Ake Fredlund (UPM)
  • Participante: Susana Muñoz Hernandez (UPM)
  • Participante: Angel Herranz Nieva (UPM)
  • Participante: Clara Benac Earle (UPM)
  • Participante: Pablo Nogueira Iglesias (UPM)
  • Participante: Murdoch Gabbay (UPM)
  • Participante: Ana Maria Fernandez Soriano (UPM)
  • Participante: Alvaro Fernandez Diaz (UPM)
  • Participante: Victor Pablos Ceruelo (UPM)
  • Participante: Emilio Jesús Gallego Arias (UPM)
  • Participante: Alvaro Garcia Perez (UPM)
  • Participante: Guillem Marpons Ucero (UPM)
  • Participante: Rubén Monjaraz Hernandez Imbert (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 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)