Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
COMPOSITION WITH GUARANTEES FOR HIGH-INTEGRITY EMBEDDED SOTFWARE COMPONENTS ASSEMBLY
Year:2009
Research Areas
  • Architecture of computers,
  • Telematics
Information
Abstract
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
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
European Commission/Ministerio de Industria
Entity Nationality
Sin Pais
Entity size
Gran Empresa (>250)
Granting date
Participants
  • Director: Miguel Angel de Miguel Cabello (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
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)