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

CNS2023-145617

Financiado

Ciencias de la computación y tecnología informática

LOS SISTEMAS CRITICOS COMO LOS QUE SE INCLUYEN EN COCHES O AVIONES ESTAN SOMETIDOS A UN RIGUROSO PROCESO DE CERTIFICACION PARA VALIDAR SUS PROPIEDADES DE SEGURIDAD FUNCIONAL. ESTE PROCESO TIENE COMO OBJETIVO MINIMIZAR EL RIESGO DE... ver más

01/01/2023

UPV

348K€

Presupuesto del proyecto: 348K€

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 684

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

0% 100%

1 Participantes

UPV

348.48K€ | 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

Certywhere Safe Real Time Systems Certification Everywhere 207K€ Cerrado

CHORDS Compositional Higher-Order Reasoning about Distributed Syste... 2M€ Cerrado

TIN2014-56158-C4-1-P SISTEMAS CIBER-FISICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS... 64K€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

TIN2010-20639 VERIFICACION PARAMETRIZADA DE SISTEMAS INFORMATICOS 44K€ Cerrado

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 684

Presupuesto del proyecto 348K€

Descripción del proyecto LOS SISTEMAS CRITICOS COMO LOS QUE SE INCLUYEN EN COCHES O AVIONES ESTAN SOMETIDOS A UN RIGUROSO PROCESO DE CERTIFICACION PARA VALIDAR SUS PROPIEDADES DE SEGURIDAD FUNCIONAL. ESTE PROCESO TIENE COMO OBJETIVO MINIMIZAR EL RIESGO DE FALLOS OPERATIVOS QUE PUEDAN LLEVAR A CONSECUENCIAS CATASTROFICAS. SIN EMBARGO, ACTUALMENTE LA INDUSTRIA DE SISTEMAS CRITICOS SE ENFRENTA A UN CAMBIO SIGNIFICATIVO, PASANDO DE APLICACIONES DE BAJA COMPLEJIDAD CONTROLADAS POR HARDWARE A SISTEMAS MAS COMPLEJOS CONTROLADOS POR SOFTWARE QUE SE EJECUTAN EN PROCESADORES ALTAMENTE SOFISTICADOS.PARA ENFRENTAR LOS DESAFIOS DEL USO DE LA INTELIGENCIA ARTIFICIAL (IA) EN EL CONTEXTO DE APLICACIONES CRITICAS, ADOPTAR MODELOS MAS COMPLEJOS, CONJUNTOS DE DATOS MAS GRANDES Y CAMPAÑAS DE PRUEBAS EXHAUSTIVAS NO ES SUFICIENTE. LA INTEGRACION DE LA IA EN FUNCIONALIDADES RELACIONADAS CON LA SEGURIDAD INTRODUCE DESAFIOS ADICIONALES EN OTROS ASPECTOS CRITICOS DE LA SEGURIDAD FUNCIONAL. ESTOS DESAFIOS INCLUYEN EL COMPORTAMIENTO DE TIEMPO IMPREDECIBLE DEL SOFTWARE, LAS CAPACIDADES INSUFICIENTES DE TOLERANCIA A FALLOS DE PLATAFORMAS DE HARDWARE DE ALTO RENDIMIENTO Y LA COMPLEJIDAD INHERENTE DE MODELAR DICHO COMPORTAMIENTO DE MANERA DETERMINISTA. LA FALTA DE UN ENFOQUE HOLISTICO PARA ABORDAR ESTOS PROBLEMAS OBSTACULIZA LA BUSQUEDA DE UNA SOLUCION OPTIMA.EN ESTE CONTEXTO, SEASIDE PROPONE TRANSFORMAR SISTEMAS COMPLEJOS, DETERMINISTICOS Y DIFICILES DE PREDECIR EN SISTEMAS PROBABILISTICOS ROBUSTOS QUE PUEDAN SER ANALIZADOS ESTADISTICAMENTE. DE ESTA MANERA, SE LOGRAN REQUISITOS CRUCIALES DE SEGURIDAD FUNCIONAL, COMO ROBUSTEZ, PREVISIBILIDAD Y GARANTIA, A TRAVES DE LA AGREGACION SINERGICA DE DIFERENTES BLOQUES DE CONSTRUCCION DENTRO DEL SISTEMA, INCLUIDAS LAS UNIDADES DE HARDWARE Y SOFTWARE. ESTE ENFOQUE PERMITE DERIVAR LIMITES SUPERIORES CONFIABLES PARA LA PROBABILIDAD DE FALLA RESIDUAL TOLERABLE, SEGUN LO DEFINIDO EN LAS NORMAS DE SEGURIDAD FUNCIONAL.LA NATURALEZA PROBABILISTICA DEL ENFOQUE DE SEASIDE REDUCE LA NECESIDAD DE COSTOSOS MECANISMOS DE PROTECCION TOLERANTES A FALLOS EN EL SILICIO, AL TIEMPO QUE FACILITA LA IMPLEMENTACION DE TECNICAS EFICIENTES DE HARDWARE, COMO LA REDUCCION EXTREMADAMENTE PRECISA Y LOS METODOS DE COMPUTACION APROXIMADA, LO QUE CONDUCE A REDUCCIONES SIGNIFICATIVAS EN EL CONSUMO DE ENERGIA Y LOS COSTOS DE AREA. ESTE SISTEMA PROBABILISTICO TIENE EN CUENTA EL IMPACTO DE LOS FALLOS DE FORMA NATURAL, FALLOS QUE POR OTRO LADO SON MUY PROBABLES EN SISTEMAS QUE OPERAN CON VOLTAJES ULTRA BAJOS Y SE FABRICAN EN NODOS TECNOLOGICOS PEQUEÑOS.EN RESUMEN, EL ENFOQUE INNOVADOR DE SEASIDE BUSCA REVOLUCIONAR LA INTEGRACION DE LA IA EN SISTEMAS CRITICOS AL FOMENTAR LA ROBUSTEZ, CONFIABILIDAD Y EFICIENCIA DE UNA MANERA HOLISTICA, AL TIEMPO QUE TIENE EN CUENTA LAS COMPLEJIDADES Y DESAFIOS INHERENTES QUE PLANTEAN DICHOS SISTEMAS. PROCESADOR\CODIGO ABIERTO\HARDWARE\SEGURIDAD

Conecta tu I+D

Entra hoy

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores