|
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
|
|