Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO Y SEGURO
Year:2011
Research Areas
  • Programming language
Information
Abstract
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.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
MICINN
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
14/12/2009
Participants
  • 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)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
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)