Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
REALIZACIÓN DE TRANSFORMES 2009
Year:2009
Research Areas
  • Programming language,
  • Electric engineers, electronic and automatic (eil)
Information
Abstract
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.
International
No
Project type
Proyectos y convenios de financiación privada
Company
INECO-TIFSA
Entity Nationality
Sin nacionalidad
Entity size
Gran Empresa (>250)
Granting date
02/06/2009
Participants
  • Director: Angel Herranz Nieva (UPM)
  • Participante: Guillem Marpons Ucero (UPM)
  • Participante: Clara Benac Earle (UPM)
  • Participante: Julio Mariño Carballo (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)