Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
DESAFIOS: Desarrollo de Software de Alta Calidad, Fiable y Seguro
Year:2008
Research Areas
  • Artificial intelligence,
  • Programming language
Information
Abstract
En la actualidad los sistemas software están presentes en todo nuestro entorno y controlan aspectos importantes de nuestras vidas. Parece obvio que estos sistemas deben ser productos fiables y de alta calidad (esto es, predecibles en los términos de las especificaciones que se han de satisfacer). Desgraciadamente, la situación actual en estos aspectos está lejos de ser satisfactoria. En este contexto, el proyecto tiene como fin la consecución de avances significativos en el área de la creación de sistemas software que certifican condiciones de calidad, especialmente la fiabilidad, a través de mecanismos rigurosos que cubren una amplia gama de técnicas: - Desarrollo de entornos y lenguajes declarativos y de especificación, con un soporte lógico-matemático riguroso, que permitan modelar adecuadamente problemas reales de la industria del software. Se abordará tanto su diseño y definición como su implementación, concebidos en general como mejoras de sistemas previos: lenguajes de programación declarativa (Curry), de especificación de sistemas concurrentes y móviles (Maude), y de especificación orientados a objetos (SLAM). - Implementación y fundamentación de herramientas de desarrollo, validación y verificación para estos lenguajes, que faciliten su utilización efectiva en entornos industriales. - Metodologías de desarrollo de software, basadas en los lenguajes y herramientas anteriores, que garanticen la calidad, fiabilidad y seguridad del producto.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Ministerio de Educación y Ciencia
Entity Nationality
ESPAÑA
Entity size
Desconocido
Granting date
20/07/2006
Participants
  • Participante: Robert W. McGrail (Bard College (Hudson, N.Y.))
  • Participante: Lars-Ake Fredlund (UPM)
  • Director: Julio Mariño Carballo (UPM)
  • Participante: Victor Pablos Ceruelo (UPM)
  • Participante: Pablo Nogueira Iglesias (UPM)
  • Participante: Angel Herranz Nieva (UPM)
  • Participante: José Julio Alves Alferes (Universidad Nova de Lisboa)
  • Participante: Susana Muñoz Hernandez (UPM)
  • Participante: Murdoch Gabbay (UPM)
  • Participante: Guillem Marpons Ucero (UPM)
  • Participante: Juan Jose Moreno Navarro (UPM)
  • Participante: Ana Maria Fernandez Soriano (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
  • 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)