Sistemas Embebidos Confiables
Los sistemas embebidos son dispositivos integrados en productos, que controlan una o varias funciones, con recursos limitados y en condiciones ambientales hostiles. Los sistemas de transporte como ascensores, trenes y coches que utilizamos frecuentemente contienen un gran número de sistemas embebidos que se encargan del control del movimiento, conectividad, autodiagnóstico, gestión energética, confort y seguridad de las personas, entre otras funciones.
En esta área avanzamos en el desarrollo de estos sistemas de procesamiento que integran hardware, software, FPGA y comunicaciones, idóneos para dotar a los objetos donde se encuentran integrados de capacidades como confiabilidad (seguridad, disponibilidad, fiabilidad, mantenibilidad), security, ‘inteligencia’, conectividad, gestión energética, interacción con el entorno y productividad.

Tecnologías con las que trabajamos
- Generación código desde modelos basados en HIL (Hardware in the Loop)
- Generación automática de software de control
- Transferencia de plataformas SW Mixed criticality
- Certificación de seguridad-funcional (IEC-61508, EN-5012x, ISO-26262, etc.)
- Verificación y validación SW
- Diseño de arquitecturas de SW
- Gestión de seguridad funcional (FSM) SIL3
- Lenguajes Ada, MPI y OpenMP
- Certificación IEC 61508
Contacto

Si quieres más información, contacta con...
Jon Pérez
Responsable del área de Sistemas Embebidos Confiables
Contacta