Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español es
CORDIS - Resultados de investigaciones de la UE
CORDIS
Contenido archivado el 2024-04-30

Tools for design and validation of embedded control systems

Objetivo

The central focus of the OMI/TOOLS project is the validation and observation of combined hardware/software systems, in particular of embedded control systems (ECS). By validation we mean the derivation of statements about the correct function and the adequate timing (performance) of a given system. By observation we mean the collection, storage, retrieval and visualisation of relevant performance and design flow data.

The objective of the OMI/TOOLS project is the horizontal and vertical integration of the hardware and software design process. For that purpose the project will use and adapt existing tools and develop new ones. These tools will be embedded in a common framework which allows the exchange of design data and provides a common user interface and visualisation approach.
The result of the OMI/TOOLS project is a set of tools integrated in an existing framework.
The tools will not cover the entire development cycle. Instead they will focus on some areas of the development cycle, namely

- verification
- system modelling and simulation
- monitoring
- performance evaluation
- traceability
Horizontal validation tools support the validation of combined software/hardware system representations on different abstraction levels. A mixed-level simulation environment provides simulation on the system level as well as behavioural, physical, execution-driven, instruction-driven and OS kernel modules. Monitoring of hardware/software systems is supported as well.
Vertical validation tools maintain the design consistency between different abstraction levels. An observation and performance analysis component provides a consistent view of the system behaviour and performance data throughout the design process. A verification tool supports a formal method to guarantee the correctness of an implementation against a specification. A tool for design flow tracing allows to trace the design history. The horizontal as well as the vertical tools will be embedded into a common tool framework environment. The OMI/TOOLS project will evaluate existing frameworks such as SIFRAME (developed within the JESSI Common Frame project) for that purpose.
The target platforms for all tools and supports are Unix workstations and in particular SUN workstations. This is clearly a constraint for the search of the integration framework.

Ámbito científico (EuroSciVoc)

CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

Tema(s)

Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.

Convocatoria de propuestas

Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.

Datos no disponibles

Régimen de financiación

Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.

CSC - Cost-sharing contracts

Coordinador

Etnoteam S.p.a.
Aportación de la UE
Sin datos
Coste total

Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.

Sin datos

Participantes (6)

Mi folleto 0 0