Universidad
Politécnica de Madrid

El curso está orientado a profesionales con conocimientos básicos de arquitectura de computadores y de diseño de circuitos electrónicos a nivel RTL, preferentemente en SystemVerilog, que quieran profundizar en las técnicas, criterios y metodologías de diseño para entornos críticos y de espacio, tanto a nivel físico como a nivel microarquitectural, así como su consiguiente validación, verificación y certificación.

• Criterios de fiabilidad y disponibilidad de un sistema electrónico digital.
• Criterios y técnicas de diseño para sistemas electrónicos digitales en entornos críticos.
• Características físicas y requisitos de los chips en entornos con radiación y/o espaciales.
• Evaluación de mecanismos de tolerancia a fallos mediante técnicas de redundancia temporal y/o espacial a nivel microarquitectural en un procesador.
• Hipervisores y otros entornos de virtualización sobre procesadores abiertos
• Despliegue hipervisores sobre sistemas críticos basados en RISC-V.
• Evaluación de SoCs basados en RISC-V mediante criterios de validación y verificación.
• Estándares de cualificación en el dominio aeroespacial.