Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
REALIZACIÓN DE TRANSFORMES 2009
Año:2009
Áreas de investigación
  • Lenguaje de programación,
  • Ingeniería eléctrica, electrónica y automática
Datos
Descripción
El objetivo del proyecto Transformers2009 es realizar una transferencia de tecnología en métodos formales de especificación de requisitos a INECO-TIFSA. Dicha transferencia debe permitir a los profesionales de dicha empresa: - elaborar especificaciones formales a partir de las especificaciones funcionales y de requisitos del sistema del estándar ERTMS/ETCS (European Rail Traffic Management System/European Train Control and Command System), - comprobar la consistencia de dichas especificaciones, y - comprobar propiedades esperadas del sistema especificado, con la ayuda de herramientas software.
Internacional
No
Tipo de proyecto
Proyectos y convenios de financiación privada
Entidad financiadora
INECO-TIFSA
Nacionalidad Entidad
Sin nacionalidad
Tamaño de la entidad
Gran Empresa (>250)
Fecha concesión
02/06/2009
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Angel Herranz Nieva (UPM)
  • Participante: Guillem Marpons Ucero (UPM)
  • Participante: Clara Benac Earle (UPM)
  • Participante: Julio Mariño Carballo (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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)