Resumen

El hardware reconfigurable dinámicamente combina el rendimiento del hardware con la flexibilidad similar a la del software y encuentra un uso creciente en sistemas en red. La capacidad de cargar módulos de hardware en tiempo de ejecución proporciona a estos sistemas un grado de adaptabilidad sin igual, pero al mismo tiempo plantea nuevos desafíos para la seguridad y la fiabilidad. En este artículo, profundizamos en la presentación del hardware que lleva pruebas (PCH) como un enfoque novedoso para la seguridad de sistemas reconfigurables. PCH toma un concepto clave de la seguridad del software, conocido como código que lleva pruebas, al dominio del hardware reconfigurable. Esbozamos el concepto de PCH y discutimos la verificación de equivalencia combinatoria en tiempo de ejecución como un primer problema de verificación en línea que aplica el concepto. Presentamos un flujo de herramientas prototipo y resultados experimentales que demuestran la viabilidad y el potencial del enfoque de PCH.

• Materias:Cinemática directa de robots Sistema informático Bloques programables Sistema de filtrado Arquitecturas de red
• Subjects:Direct robot kinematics Computer system Programmable blocks Filtering system Network architectures
• Palabras claves:Hardware reconfigurable; Flexibilidad similar a la del software; Sistemas en red; Adaptabilidad; Seguridad; Hardware que lleva pruebas
• Keywords:Reconfigurable hardware; Software-like flexibility; Networked systems; Adaptivity; Security; Proof-carrying hardware