Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

TIN2008-05932

Financiado

COMPOSICION DE SOFTWARE FIABLE EN ENTORNOS UBICUOS

LA CONSTRUCCION DE SISTEMAS SOFTWARE COMO COMBINACION DE SERVICIOS O COMPONENTES SOFTWARE QUE INTERACTUAN ENTRE SI CONSTITUYE HOY EN DIA UN ASPECTO CLAVE EN EL AMBITO DE LA INGENIERIA DEL SOFTWARE, SIRVIENDO DE MEDIO PARA MEJORAR... ver más

01/01/2008

UMA

405K€

Presupuesto del proyecto: 405K€

Líder del proyecto

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

Total investigadores 1951

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

0% 100%

Participantes

UMA

Lider

Proyectos interesantes

TIN2008-05932 COMPOSICION DE SOFTWARE FIABLE EN ENTORNOS UBICUOS 405K€ Cerrado

PID2021-126227NB-C22 MEJORANDO EL DESARROLLO, FIABILIDAD Y GOBIERNO DE SERVICIOS... 198K€ Cerrado

TIN2010-18011 CONSTRUCCION DE SOFTWARE ADAPTATIVO PARA LA INTEGRACION DE P... 70K€ Cerrado

SME-2017-1012-7 SHARESAFE: Easy to Use, Universal, Cross-Platform, Very Secu... 60K€ Cerrado

TIN2013-42981-P DESARROLLO DE SOFTWARE ADAPTATIVO EN UN MUNDO INTELIGENTE. R... 69K€ Cerrado

Autenticación de transacciones con validación... Autenticación de transacciones con validación mediante visió... 97K€ Cerrado

Últimas noticias

30-11-2024: Cataluña Gestión For... Se ha cerrado la línea de ayuda pública: Gestión Forestal Sostenible para Inversiones Forestales Productivas para el organismo:

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE MÁLAGA

Total investigadores 1951

Presupuesto del proyecto 405K€

Descripción del proyecto LA CONSTRUCCION DE SISTEMAS SOFTWARE COMO COMBINACION DE SERVICIOS O COMPONENTES SOFTWARE QUE INTERACTUAN ENTRE SI CONSTITUYE HOY EN DIA UN ASPECTO CLAVE EN EL AMBITO DE LA INGENIERIA DEL SOFTWARE, SIRVIENDO DE MEDIO PARA MEJORAR LA PRODUCTIVIDAD EN EL DESARROLLO DE SOFTWARE, GRACIAS A QUE FACILITA LA REUTILIZACION DE ENTIDADES SOFTWARE YA EXISTENTES, POR OTRO LADO, DURANTE LOS ULTIMOS AÑOS HEMOS ASISTIDO A UN CRECIMIENTO EN EL DESARROLLO DE LA COMPUTACION UBICUA O PENETRANTE ("PERVASIVE"), DONDE LOS DISPOSITIVOS Y APLICACIONES LOCALIZAN Y UTILIZAN DINAMICAMENTE SERVICIOS DE SU ENTORNO, AUNQUE YA EXISTEN TECNOLOGIAS CAPACES DE CONSTRUIR APLICACIONES CON CIERTO GRADO DE UBICUIDAD (EN REDES INALAMBRICAS - WIFI, BLUETOOTH - Y CON DISPOSITIVOS MOVILES - POR EJEMPLO, PDAS), LAS PLATAFORMAS SOFTWARE ACTUALES NO SON AUN CAPACES DE GARANTIZAR UNA INTERACCION TRANSPARENTE CON CUALQUIER NUEVO SERVICIO QUE PRESENTE UN COMPORTAMIENTO NO PREVISTO POR ANTICIPADO POR LAS APLICACIONES RESIDENTES EN LOS DISPOSITIVOS, EN EFECTO, EL PROBLEMA DE ADAPTAR COMPONENTES Y SERVICIOS SOFTWARE HETEROGENEOS QUE PRESENTAN DESAJUSTES EN SU COMPORTAMIENTO SE RECONOCE COMO UNO DE LOS PROBLEMAS CRUCIALES EN INGENIERIA DEL SOFTWARE, AUNQUE NO EXISTE UNA SOLUCION GENERAL PARA ESTE PROBLEMA, EXISTEN SITUACIONES EN LAS QUE LA INCOMPATIBILIDAD MOSTRADA POR LOS PROTOCOLOS DE INTERACCION DE DOS COMPONENTES PUEDE SER SUBSANADA, OTRO PROBLEMA DE RELEVANCIA QUE LA PRESENTE PROPUESTA PRETENDEABORDAR ES LA VERIFICACION DE LOS SISTEMAS SOFTWARE DEL TIPO DESCRITO ANTERIORMENTE Y QUE SE CARACTERIZAN POR SU CAPACIDAD DE ADAPTARSE DINAMICAMENTE A CAMBIOS DEL ENTORNO Y CUYA EJECUCION PERDURA EN EL TIEMPO ("LONG-LIVED SYSTEMS"), ENTRE LAS PROPIEDADES QUE DEBEN SER GARANTIZADAS RESULTA TRASCENDENTAL QUE TODA ADAPTACION (INDEPENDIENTEMENTE DE SU NATURALEZA, ADAPTACION AL CONTEXTO O AL EMPH{MIDDLEWARE}) NO CORROMPA EL COMPORTAMIENTO GLOBAL DEL SISTEMA, Y SE CONSERVEN CIERTAS PROPIEDADES DE FIABILIDAD Y RENDIMIENTO, EL OBJETIVO GENERAL DE LA PROPUESTA ES LA DEFINICION DE UN ENTORNO DE DESARROLLO PARA LA COMPOSICION DE SOFTWARE FIABLE SOBRE DISPOSITIVOS MOVILES PARA COMPUTACION UBICUA, PARA ELLO, SE SEGUIRA UN ENFOQUE BASADO EN EL USO DE METODOS FORMALES AGILES ("LIGHTWEIGHT"), COMO VIENE SIENDO HABITUAL EN LAS ACTIVIDADES PREVIAS DEL EQUIPO DE INVESTIGACION), DE FORMA MAS ESPECIFICA SE DESARROLLARAN METODOS, LENGUAJES (NOTACIONES) Y HERAMIENTAS (PROTOTIPOS), UTILIZANDO MECANISMOS RIGUROSOS, PARA LA COMPOSICIONDE SOFTWARE FIABLE EN ENTORNOS UBICUOS,

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores