El objetivo del proyecto D2MEMSYS es el desarrollo de una metodología, basada en componentes o interfaces estándar, que abarque desde el codiseño del hardware/software a la fabricación, para el diseño de Sistemas Embebidos Interconectados con características de tolerancia a fallos.
Las principales contribuciones de D2MEMSYS son:
SQS trabajará en el área del testeo, validación y verificación de los componentes software. Estará principalmente involucrado en el desarrollo de una metodología de validación y verificación para el diseño software y hardware
Los sistemas embebidos juegan un papel vital en nuestra sociedad. Su gran aplicabilidad alcanza sectores muy importantes y muy diversos, como son las telecomunicaciones, la domótica, la aviónica, los sistemas médicos, la automoción y la industria ferroviaria, los sistemas espaciales y sectores de dispositivos electrónicos de consumo y electrodomésticos de línea blanca. El predominio de estos sistemas se basa en dos tipos de ventajas tecnológicas. Por un lado, la reducción de su tamaño gracias a las ventajas de la miniaturización, sin dejar a un lado el aumento de su capacidad computacional, de almacenamiento y de comunicación, que ha evolucionado para conseguir sistemas de redes complejos. Por otro lado, muchas áreas de desarrollo de software han evolucionado para conseguir el máximo beneficio de las capacidades de crear aplicaciones mucho más complejas con menor coste temporal y económico.
Todos estos avances tecnológicos y sistemas complejos deben estar dotados de técnicas de tolerancia a fallos para mejorar su fiabilidad. Es necesario que los sistemas embebidos interconectados ofrezcan gran fiabilidad.
Persona de contacto en el proyecto: Rubén Rodríguez- rrodriguez@sqs.es
Más información acerca del proyecto: www.itaca.upv.es/archivos/proyectos/Tractor%20D2MEMSYS/index.htm