Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
PROMESAS-CM: Programa en métodos para el desarrollo de software fiable de alta calidad y seguro de la Comunidad de Madrid.
Year:2008
Research Areas
  • Programming language
Information
Abstract
La importancia del software en nuestros días no hace más que crecer y cada vez controla más aspectos esenciales de nuestras vidas. Como consecuencia, la fiabilidad, calidad y seguridad del mismo deben ser componentes fundamentales de una buena parte de los desarrollos de software. Sin embargo, es frecuente encontrarnos con fallos en los sistemas software que han causado un notable daño en los sistemas que controlan (como el fallo de la lanzadera Ariane o el caso ocurrido en Panamá donde el uso de software no fiable para un dispositivo de tratamiento de cáncer supuso, por su mal funcionamiento, que muchos pacientes murieran por sobreexposición a la radiación y que ha llevado a sus autores a ser condenados por los tribunales). Un control total de la calidad sólo puede obtenerse por un proceso riguroso que cubra todas las fases del desarrollo de software. El presente programa propone integrar la investigación que varios grupos de reconocido prestigio realizan en el área de la creación de sistemas de software dirigidos a permitir certificar ciertas condiciones de calidad (especialmente la fiabilidad y la seguridad, pero también las prestaciones) a través de mecanismos rigurosos, incluyendo métodos, lenguajes y herramientas. Los mecanismos a aunar cubren una amplia gama de técnicas (entornos de desarrollo de software, generación de código a partir de especificaciones, lenguajes de especificación, métodos formales, lenguajes de programación declarativos, seguridad mediante proof carrying code, interpretación abstracta, semántica de programas, etc.) El programa de trabajo propuesto incluye tanto actividades científicas en la línea descrita como acciones más globales de difusión, formación, incorporación de recursos humanos, transferencia de tecnología y el objetivo de lanzamiento de proyectos colaborativos tanto en el marco nacional como, principalmente, en el marco internacional (programa marco de la UE, plataformas tecnológicas, Eureka-ITEA, ESF, etc.) de forma conjunta con otros agentes. Aunque se plantea una intensa colaboración de los grupos científicos de la Comunidad de Madrid, se pretende tener también una fuerte interacción con otros actores, principalmente socios industriales y otros centros de investigación nacionales e internacionales con los que los proponentes tienen una amplia experiencia de cooperación.
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
20/12/2005
Participants
  • Participante: Olivier Hermant (Université Paris VII - Denis Diderot, Francia)
  • Participante: Murdoch Gabbay (UPM)
  • Participante: Julio Mariño Carballo (UPM)
  • Participante: James Lipton . (UPM)
  • Director: Juan Jose Moreno Navarro (UPM)
  • Participante: Angel Herranz Nieva (UPM)
  • Participante: Pablo Nogueira Iglesias (UPM)
  • Participante: Lars-Ake Fredlund (UPM)
  • Participante: Susana Muñoz Hernandez (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)