Sistemas embebidos confiables
SHE: Software Hardening Environment

Descripción
SHE (Software Hardening Environment) es una herramienta para el desarrollo de software tolerante a fallos. Permite diseñar e implementar técnicas de tolerancia a fallos basadas en software y aplicarlas a los programas de forma automática.
La estrategia de endurecimiento (protección) se basa en reglas de transformación del código a bajo nivel (ensamblador). Las técnicas pueden aplicarse de forma selectiva, protegiendo solo las partes críticas del programa: se reducen los overheads y el diseñador gana flexibilidad para equilibrar los requisitos del sistema.
Es multiplataforma (probado en GNU/Linux y Windows).
Microprocesadores soportados
- Xilinx PicoBlaze 8-bit (KCPSM3)
- Xilinx PicoBlaze 8-bit (KCPSM6)
- Texas Instruments MSP430 16-bit
- Próximamente: ARM y RISC-V
Prueba en línea
Disponible en el Fault Tolerance Lab de la Universidad de Alicante (España).
- Disponible en el Fault Tolerance Lab (de la Universidad de Alicante - España).
- Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Antonio Jimeno. "Selective SWIFT-R: A flexible software-based technique for soft error mitigation in low-cost embedded systems".
- Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, and Miguel A. Aguirre. "Compiler-Directed Soft Error Mitigation for Embedded System
- Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, and Miguel A. Aguirre. "A novel co-design approach for soft errors mitigation in em


