Rigor
Requisitos, evidencias y pruebas: si no se puede verificar, no está terminado.
Máster en Desarrollo de Software · Especialidad IoT
// hola, soy Halberch
Construyo y verifico software crítico
- Experiencia
- 4+ años
- en V&V de software crítico
- Estándar
- DO-178C
- entornos aeronáuticos
- Foco actual
- STM32 · RTOS
- firmware & IoT
/* REQ-ACQ-012: muestreo a 100 Hz */
void vSensorTask(void *pv) {
TickType_t t = xTaskGetTickCount();
for (;;) {
sample_t s = adc_read(CH_TEMP);
configASSERT(s.valid);
xQueueSend(qDsp, &s, 0);
vTaskDelayUntil(&t, pdMS_TO_TICKS(10));
}
}
// ✔ verificado · trazable · reproducible
01 · Sobre mí
Rigor de software crítico, curiosidad por el bajo nivel
Soy Ingeniero en Electrónica Industrial con más de cuatro años dedicados a la verificación y validación de software crítico, un terreno donde un fallo no es un simple bug: es un riesgo. Esa experiencia me ha enseñado a trabajar con requisitos trazables, evidencias reproducibles y estándares exigentes.
Ahora cruzo hacia el desarrollo: cursando un Máster en Desarrollo de Software con especialización en IoT, construyo firmware sobre STM32 y ESP32, comparo RTOS como FreeRTOS y Zephyr y exploro TinyML para llevar inteligencia al borde.
Mi objetivo es unir la disciplina del software crítico con la creatividad del embedded para diseñar sistemas que sean, a la vez, eficientes y fiables.
Trazabilidad
De requisito a diseño, código y test, sin eslabones sueltos.
Entender lo de debajo
Registros, interrupciones, DMA: me gusta saber qué ocurre bajo la abstracción.
02 · Portfolio
Proyectos seleccionados
Trabajo profesional y proyectos propios en sistemas empotrados e IoT.
En curso
Nodo IoT de bajo consumo: FreeRTOS vs Zephyr
Trabajo Final de Máster: estudio comparativo de ambos RTOS sobre ARM (huella de memoria, latencia, consumo y facilidad de configuración) y caso práctico de un nodo de adquisición y procesado en tiempo real con arquitectura por tareas.
Profesional
Verificación y validación de software crítico
Más de cuatro años en entornos de aviónica: planificación y ejecución de pruebas, análisis estático y trazabilidad de requisitos para software certificable bajo DO-178C.
En curso
Firmware STM32 desde cero
Laboratorio personal sobre una placa STM32F411 «Black Pill»: HAL y acceso directo a registros, ADC, timers, interrupciones y DMA, con el objetivo de comprender cada capa del firmware.
Próximamente
Inferencia TinyML en el borde
Despliegue de un modelo de aprendizaje automático cuantizado en un microcontrolador, midiendo precisión, latencia y consumo frente a una implementación de referencia.
03 · Habilidades
Del silicio a la verificación
Hardware
- STM32 (Cortex-M)
- ESP32
- Arduino
- ADC / DAC · GPIO
- Timers · Interrupciones
- I²C · SPI · UART
- Analizador lógico
- Electrónica industrial
Software
- C
- C++
- Python
- Ada
- Java
- FreeRTOS
- ARINC 653
- Zephyr
- TinyML
Metodologías
- Verificación y validación
- DO-178C
- Trazabilidad requisitos ↔ test
- Análisis estático de código
- Revisión y documentación técnica
- Tests unitarios en C (Unity / Ceedling)
Uso habitual En aprendizaje activo
04 · Contacto
¿Hablamos? Construyamos algo fiable.
Escríbeme para colaborar, resolver dudas sobre sistemas empotrados o simplemente conectar.