Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TEC2008-04107

Financiado

Cerrado

ANALISIS DE PRESTACIONES Y VERIFICACION DE SISTEMAS EMBEBIDOS MULTIPROCESADORES

EL OBJETIVO DEL PROYECTO ES ABORDAR ALGUNOS DE LOS NUEVOS RETOS QUE LAS METODOLOGIAS BASADAS EN MODELOS (MDA) PLANTEAN EN EL PROCESO DE DISEÑO DE SISTEMAS EMBEBIDOS MULTIPROCESADOR, EN PARTICULAR LOS PLANTEADOS A NIVEL DE ANALISIS... ver más

01/01/2008

UNICAN

131K€

Presupuesto del proyecto: 131K€

Líder del proyecto

UNIVERSIDAD DE CANTABRIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 470

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2008-01-01 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UNICAN

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

BES-2009-013695 DISEÑO Y MONITORIZACION DIRIGIDO POR MODELOS DE SISTEMAS EMP... 43K€ Cerrado

EEBB-I-12-03659 DISEÑO Y MONITORIZACION DIRIGIDO POR MODELOS DE SISTEMAS EMP... 8K€ Cerrado

TIN2014-60404-JIN PROBABILISTIC TIMING ANALYSIS OF HIGH-PERFORMANCE AND RELIAB... 206K€ Cerrado

MULTIFORM Integrated Multi formalism Tool Support for the Design of Ne... 4M€ Cerrado

PaPP Portable and Predictable Performance on Heterogeneous Embedd... 10M€ Cerrado

Líder del proyecto

UNIVERSIDAD DE CANTABRIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 470

Presupuesto del proyecto 131K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto EL OBJETIVO DEL PROYECTO ES ABORDAR ALGUNOS DE LOS NUEVOS RETOS QUE LAS METODOLOGIAS BASADAS EN MODELOS (MDA) PLANTEAN EN EL PROCESO DE DISEÑO DE SISTEMAS EMBEBIDOS MULTIPROCESADOR, EN PARTICULAR LOS PLANTEADOS A NIVEL DE ANALISIS DE PRESTACIONES Y VERIFICACION A NIVEL SISTEMA DE MODELOS DESCRITOS EN SYSTEMC, LA PROPUESTA NACE DE LA EXPERIENCIA ADQUIRIDA POR EL EQUIPO INVESTIGADOR EN EL PROYECTO TEC2005-2008 EMVITE (TECNOLOGIAS DE VERIFICACION E IMPLEMENTACION EN PLATAFORMA DE SISTEMAS EMBEBIDOS SW/HW) ASI COMO DEL CONTACTO CON LAS EMPRESAS EN PROYECTOS TANTO NACIONALES (CENIT) COMO EUROPEOS (FP7, MEDEA+ E ITEA), DICHA EXPERIENCIA HA PERMITIDO IDENTIFICAR NUEVAS DE AREAS DE TRABAJO QUE DESPIERTAN GRAN INTERES A NIVEL DE INVESTIGACION Y APLICACION INDUSTRIAL, DICHAS AREAS PUEDEN RESUMIRSE EN 4 PUNTOS:1,- DEFINICION DE TECNICAS QUE GARANTICEN QUE LA DESCRIPCION SYSTEMC A NIVEL SISTEMA ES EQUIVALENTE A LA ESPECIFICACION MODELADA EN MARTE (FUTURA EXTENSION ESTANDAR DE UML2 PARA SISTEMAS EMBEBIDOS) O AADL (LENGUAJE DE DISEÑO Y ANALISIS DE ARQUITECTURAS),2,- DESARROLLO DE METODOLOGIAS DE ESTIMACION DEL CONSUMO Y TIEMPO DE EJECUCION, PARA UN MISMO CODIGO, DICHOS ESTIMADORES SERAN CAPACES DE DETERMINAR SUS PRESTACIONES TANTO EN EL CASO DE SER ASIGNADO A LA PARTE SOFTWARE (EN UNO DE LOS PROCESADORES DEL SISTEMA) COMO CUANDO SE IMPLEMENTA EN HARDWARE, 3,- EXPLORACION DE TECNICAS DE VERIFICACION SEMI-FORMAL QUE PERMITAN COMPROBAR TANTO EL COMPORTAMIENTO COMO PARAMETROS NO FUNCIONALES (POR EJEMPLO, RESTRICCIONES TEMPORALES),4,- DEFINIR UN FLUJO DE DISEÑO ASUMIBLE POR LAS EPOS DEL PROYECTO, ASI COMO DISPONER DE CAPACIDAD PARA DISEÑAR, CONSTRUIR Y VALIDAR PROTOTIPOS FISICOS DE PLATAFORMAS MULTIPROCESADORES, PARA PODER TRANSFERIR ESTAS TECNOLOGIAS A UNA PYME ES IMPRESCINDIBLE DEMOSTRAR SU VIABILIDAD PRACTICA CON PROTOTIPOS REALES, LA EMPRESA PUEDA VER Y EVALUAR, Diseño a nivel sistema\Verificación funcional\análisis de prestaciones\Plataforma multiprocesadora\SystemC

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores