Proyectos Projects

Iniciativas que integran investigación, desarrollo de herramientas y experiencias educativas. Initiatives combining research, tool development, and educational experiences.

• UNCode UNCode

  Sistema interactivo para el aprendizaje y la evaluación automática de habilidades de programación de computadores. Interactive system for learning and automatic evaluation of computer programming skills.

  • Sitio Site
  • Repositorio Repository
  • Plataforma Platform
• Paradigmas de programación Programming paradigms

  Sitio web educativo para la introducción a los paradigmas de programación y tutoriales de distintos lenguajes. Educational website introducing programming paradigms, including tutorials for different languages.

  • Sitio Site
• IRIS IRIS

  Herramienta de accesibilidad para que los estudiantes en situación de discapacidad visual puedan percibir imágenes usando las manos. Accessibility tool for visually impaired students to perceive images using their hands.

  • Sitio Site
• Software Hardening Environment Software Hardening Environment

  Herramienta para el endurecimiento automático de código fuente para el diseño de sistemas embebidos confiables. Tool for the automatic hardening of source code in the design of dependable embedded systems.

  • Fault Tolerance Lab Fault Tolerance Lab
  • DOI Selective SWIFT-R DOI Selective SWIFT-R

  ¿Qué es SHE?

  • SHE: Software Hardening Environment (Entorno de "Endurecimiento" de Software).
  • Es una herramienta para el desarrollo de software tolerante a fallos.
  • Permite el diseño e implementación de técnicas de tolerancia a fallos basadas en software, las cuales pueden ser aplicadas a los programas de forma automática.
  • La estrategia de "endurecimiento" (protección) está basada en reglas de transformación del código a bajo nivel, es decir, lenguaje ensamblador.
  • Permite aplicar las técnicas software de tolerancia a fallos de forma selectiva, protegiendo sólo las partes críticas del programa. Así, se reducen los overheads y se ofrece mayor flexibilidad al diseñador.
  • Multiplataforma (probado en GNU/Linux y Windows).

  Microprocesadores soportados

  • Xilinx PicoBlaze 8-bit KCPSM3.
  • Xilinx PicoBlaze 8-bit KCPSM6.
  • Texas Instruments MSP430 16-bit.
  • Puede soportar muchos más.

  Prueba SHE online

  • Disponible en el Fault Tolerance Lab (University of Alicante - España).

  Más información

  • Felipe Restrepo-Calle et al. Selective SWIFT-R. JETTA 2013. DOI:10.1007/s10836-013-5416-6.
  • Antonio Martínez-Álvarez et al. Compiler-Directed Soft Error Mitigation. IEEE TDSC 2012. DOI:10.1109/TDSC.2011.54.
  • Sergio Cuenca-Asensi et al. A novel co-design approach for soft errors mitigation. IEEE TNS 2011. DOI:10.1109/TNS.2011.2112379.

  What is SHE?

  • SHE: Software Hardening Environment.
  • Tool for fault-tolerant software development.
  • It allows the design and implementation of software-based mitigation techniques, which can be automatically applied into programs.
  • The hardening (protection) strategy is based on code transformation rules at low level, i.e., assembly code.
  • It permits applying software-based fault tolerance techniques selectively, protecting only the most critical parts of the program—reducing overheads and giving designers more flexibility.
  • Multiplatform: tested in Linux and Windows.

  Supported microprocessors

  • Xilinx PicoBlaze 8-bit KCPSM3.
  • Xilinx PicoBlaze 8-bit KCPSM6.
  • Texas Instruments MSP430 16-bit.
  • More can be included.

  Try it online

  • Available at the Fault Tolerance Lab (University of Alicante - Spain).

  More information

  • Felipe Restrepo-Calle et al. Selective SWIFT-R. JETTA 2013. DOI:10.1007/s10836-013-5416-6.
  • Antonio Martínez-Álvarez et al. Compiler-Directed Soft Error Mitigation. IEEE TDSC 2012. DOI:10.1109/TDSC.2011.54.
  • Sergio Cuenca-Asensi et al. A novel co-design approach for soft errors mitigation. IEEE TNS 2011. DOI:10.1109/TNS.2011.2112379.
• Fault Tolerance × Approximate Computing Fault Tolerance × Approximate Computing

  Uso de computación aproximada y endurecimiento selectivo para reducir overheads en sistemas embebidos tolerantes a fallos. Using approximate computing and selective hardening to reduce overheads in fault-tolerant embedded systems.