Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
Año:2009
Áreas de investigación
  • Arquitectura de computadores,
  • Telemática
Datos
Descripción
Proyecto dedicado al estudio de tecnologías de soporte de desarrollo basado en modelos de sistemas de alta integridad. CHESS seeks industrial-quality research solutions to problems of property-preserving component assembly in real-time and dependable embedded systems, and supports the description, verification, and preservation of non-functional properties of software components at the abstract level of component design as well as at the execution level. CHESS develops model-driven solutions, integrates them in component-based execution frameworks, assesses their applicability from the perspective of multiple domains (such as space, railways, telecommunications and automotive), and verifies their performance through the elaboration of industrial use cases
Internacional
Si
Tipo de proyecto
Proyectos y convenios en convocatorias públicas competitivas
Entidad financiadora
European Commission/Ministerio de Industria
Nacionalidad Entidad
Sin Pais
Tamaño de la entidad
Gran Empresa (>250)
Fecha concesión
Esta actividad pertenece a memorias de investigación
Participantes
  • Director: Miguel Angel de Miguel Cabello (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
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)