Observatorio de I+D+i UPM

Memorias de investigación
Proyecto de I+D+i:
proyecto CHESS: COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
Año:2010
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones
Datos
Descripción
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 comission/MITYC
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)