Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad UNAL
Línea de investigación
Sistemas embebidos confiables
Desarrollamos técnicas y herramientas para el diseño de sistemas hardware/software tolerantes a fallos.
¿Cómo lograr que un sistema embebido continúe operando correctamente cuando su hardware sufre fallos transitorios? En el grupo PLaS investigamos métodos y herramientas para mejorar la confiabilidad de sistemas basados en microprocesadores, con especial atención a los errores inducidos por radiación. Buscamos equilibrar la protección frente a fallos con las restricciones de memoria, área de hardware, consumo de energía y tiempo de ejecución propias de estos sistemas.
Combinamos técnicas de protección implementadas en software y hardware, análisis de criticidad y computación aproximada. Desarrollamos y evaluamos herramientas de inyección de fallos y modelos predictivos que permiten comparar alternativas de diseño y orientar la selección de mecanismos de tolerancia a fallos desde etapas tempranas del desarrollo.
Temas
Tolerancia a fallos23 trabajos
Diseñamos y evaluamos mecanismos para detectar y mitigar errores transitorios que pueden alterar los datos o el flujo de ejecución de un programa. Trabajamos con redundancia, transformaciones de código dirigidas por el compilador y estrategias de codiseño hardware/software, tanto en microprocesadores comerciales como en procesadores implementados en FPGA. Nos interesa aplicar la protección de manera selectiva, de acuerdo con las necesidades de cada aplicación, y medir su efectividad y su costo.
Personas
Trabajos activos
Sin trabajos desde 2024. Los anteriores están en la trayectoria.
Computación aproximada para sistemas confiables7 trabajos
Investigamos cómo aprovechar la tolerancia de algunas aplicaciones a pequeñas variaciones en sus resultados para reducir el costo de los mecanismos de protección. Combinamos versiones aproximadas de los cálculos con técnicas de redundancia y protección selectiva, y evaluamos el equilibrio entre calidad del resultado, confiabilidad y uso de recursos. Estudiamos en qué condiciones estas estrategias son útiles y qué límites de aproximación permiten cumplir los requisitos de la aplicación.
Evaluación de la confiabilidad8 trabajos
Desarrollamos herramientas y métodos para generar y comparar alternativas de protección mediante campañas de inyección de fallos, simulación y experimentación sobre procesadores reales. Analizamos la fidelidad de estas evaluaciones y su utilidad para anticipar el comportamiento del sistema. También investigamos modelos de aprendizaje automático que permitan estimar tempranamente la confiabilidad y apoyar la exploración del espacio de diseño.
Trayectoria
2026
2024
2023
2022
2021
2019
- MiFIT: A Fault Injection Tool to Validate the Reliability of Microprocessors
- Multi-Threaded Mitigation of Radiation-Induced Soft Errors in Bare-Metal Embedded Systems
- Reducing Overheads in Software-based Fault Tolerant Systems using Approximate Computing
- Softerror mitigation for multi-core processors based on thread replication
- Using Approximate Computing and Selective Hardening for the Reduction of Overheads in the Design of Radiation-Induced Fault-Tolerant Systems
2018
2017
2016
- A Hardware-Software Approach for On-Line Soft Error Mitigation in Interrupt-Driven Applications
- Dependability evaluation of COTS microprocessors via on-chip debugging facilities
- Reducing Implicit Overheads of Soft Error Mitigation Techniques Using Selective Hardening
- Soft Error Mitigation in Soft-Core Processors
2015
2014
2013
2012
- A Co-Design Approach for SET Mitigation in Embedded Systems
- Actas de las XII Jornadas de Computación Reconfigurable y Aplicaciones 2012
- Compiler-Directed Soft Error Mitigation for Embedded Systems
2011
- A co-design approach for SET mitigation in embedded systems
- A Novel Co-Design Approach for Soft Errors Mitigation in Embedded Systems
- Co-diseño de sistemas hardware/software tolerantes a fallos inducidos por radiación
- On the definition of real conditions for a fault injection experiment on embedded systems
- Soft core based embedded systems in critical aerospace applications
2010
- A compiler-based infrastructure for fault-tolerant co-design
- Application-driven co-design of fault-tolerant industrial systems
- Application-Driven Co-design of Fault-Tolerant Industrial Systems
- Hardening Development Environment for Embedded Systems
- Rapid Prototyping of Radiation-Tolerant Embedded Systems on FPGA
2008
- Platform for intelligent management of Industrial Machinery based on service-oriented architecture