Online Adaptive Fault Tolerant based Feedback Control Scheduling Algorithm for Multiprocessor Embedded Systems

Resumen Técnico: Algoritmo de Programación de Control de Retroalimentación Adaptativo en Línea con Tolerancia a Fallos para Sistemas Embebidos Multiprocesador

Planteamiento del Problema
El artículo aborda los desafíos inherentes al codiseño de control y programación de sistemas embebidos multiprocesadores que operan en entornos abiertos e impredecibles. Los algoritmos de programación tradicionales, como el de Tasa Monotónica (RM) y el de Fecha Límite Primero (EDF), dependen de supuestos de lazo abierto donde el mapeo de tareas y el Tiempo de Ejecución del Peor Caso (WCET) están predefinidos. Sin embargo, en escenarios del mundo real, los tiempos de ejecución tanto para las tareas Críticas de Seguridad (SC) como para las no-SC varían debido a la incertidumbre ambiental, lo que conduce a posibles incumplimientos de plazos y a la subutilización o sobreutilización de recursos. Además, los algoritte de Programación de Control de Retroalimentación (FCSA) existentes a menudo no proporcionan soluciones óptimas bajo fluctuaciones de carga dinámica, y los diseños actuales de Tolerancia a Fallos (FT) frecuentemente separan las preocupaciones, asumiendo mapeos fijos que no tienen en cuenta los fallos del sistema. Los autores identifican una brecha en la literatura respecto a un enfoque unificado que integre la adaptación en línea, la tolerancia a fallos y el control de retroalimentación para sistemas multiprocesadores para garantizar la Calidad de Servicio (QoS) y el cumplimiento de los plazos.

Metodología
La metodología propuesta introduce un Algoritmo de Programación de Control de Retroalimentación Adaptativo en Línea con Tolerancia a Fallos diseñado para una plataforma de hardware compartido distribuido. La arquitectura del sistema consiste en nodos multiprocesadores donde cada nodo contiene dos núcleos: uno dedicado a tareas SC y otro a tareas no-SC. El algoritmo de programación opera sobre un Sistema Operativo de Tiempo Real (RTOS) utilizando la preemción de prioridad fija.

El núcleo de la metodología involucra un sistema de control de lazo cerrado con los siguientes componentes:

1. Modelo del Sistema: El sistema multiprocesador se modela como un sistema no lineal de múltiples entradas y múltiples salidas (MIMO). Las entradas de control son los periodos de las tareas (tasas de muestreo) y la variable de salida es la utilización de CPU medida.
2. Diseño del Controlador: Los autores emplean un Controlador Adaptativo en Línea que consta de dos elementos principales:
   • Estimador de Modelo de Mínimos Cuadrados Recursivos (RLS): Este componente utiliza un factor de olvido exponencial para identificar parámetros variables en el tiempo del modelo del sistema en línea. Actualiza los coeficientes del modelo para adaptarse a las condiciones cambiantes de ejecución y a las desviaciones del tiempo de ejecución.
   • Controlador Óptimo Lineal Cuadrático (LQ): Este controlador minimiza una función de costo cuadrática para seguir un comando de referencia (utilización de CPU deseada) mientras penaliza los cambios grandes en las entradas de control. La función de costo equilibra la precisión de seguimiento frente a la magnitud de los ajustes de control.
3. Integración de la Tolerancia a Fallos: El diseño incorpora mecanismos de tolerancia a fallos (como conceptos de replicación activa, reejecución o checkpointing mencionados en los antecedentes) para asegurar que las tareas SC cumplan sus plazos incluso en presencia de fallos transitorios o permanentes. El controlador tiene como objetivo mantener la utilización de la CPU dentro de un límite programable a pesar de estos fallos.

Contribuciones Clave

• Integración Novedosa: El artículo presenta una metodología que integra la adaptación en línea, la tolerancia a fallos y la programación de control de retroalimentación específicamente para sistemas embebidos multiprocesadores, afirmando que este es el primer trabajo que aborda estos tres elementos conjuntamente en este contexto.
• Mecanismo Adaptativo: A diferencia de los diseños FCSA estáticos o no adaptativos, el algoritmo propuesto utiliza un estimador basado en RLS para actualizar dinámicamente el modelo del sistema, permitiéndole manejar fluctuaciones de carga dinámica y variaciones en el tiempo de ejecución sin conocimiento previo de los tiempos de ejecución reales de las tareas.
• Estrategia de Control Robusta: El uso de un controlador LQ permite la optimización del rendimiento de la CPU y la utilización de recursos al mantener el sistema en un punto de consigna de utilización deseado, evitando así la sobrecarga y minimizando las tasas de incumplimiento de plazos.

Resultados Experimentales
Los autores validaron la metodología a través de tres experimentos centrados en el control de la utilización de la CPU:

1. Escenario de Subutilización: Comenzando con tiempos de ejecución reales al 30% de los valores estimados (subutilizado), el controlador aumentó con éxito las tasas de las tareas, haciendo converger la utilización de la CPU de ambos procesadores al punto de consigna deseado de 0.8123.
2. Escenario de Sobreutilización: Con los tiempos de ejecución reales establecidos en siete veces los valores estimados (sobreutilización severa), el controlador disminuyó las tasas de las tareas. A pesar de las oscilaciones iniciales causadas por las imprecisiones en la estimación del modelo, el sistema convergió rápidamente al punto de consigna de 0.8123.
3. Robustez ante Cargas Dinámicas: El sistema fue sometido a cambios de carga de trabajo dinámicos en intervalos específicos (pasos de muestra 300, 400 y 800). El controlador adaptativo en línea mantuvo la utilización en el punto de consigna con una oscilación mínima, demostrando robustez contra fluctuaciones repentinas de carga.

Los resultados indican que el sistema permanece estable incluso cuando los tiempos de ejecución reales son significativamente mayores que las estimaciones (hasta un factor de 7), siempre que las tareas cumplan sus plazos. Sin embargo, los autores señalan que si los tiempos de ejecución exceden este umbral, el sistema se vuelve inestable, provocando oscilaciones e incumplimientos de plazos.

Significancia y Reivindicaciones
El artículo afirma que la metodología propuesta ofrece un enfoque superior para el codiseño de control-programación en sistemas embebidos multiprocesadores al proporcionar QoS en términos de rendimiento de la CPU y utilización de recursos. La significancia radica en la capacidad de mantener la estabilidad del sistema y cumplir con los plazos para las tareas Críticas de Seguridad en presencia de fallos y cambios de carga dinámica, algo que los métodos tradicionales de lazo abierto o de retroalimentación no adaptativos luchan por lograr.

Los autores concluyen que, si bien el sistema demuestra una estabilidad y un uso de recursos mejorados, la implementación práctica de tales sistemas de control basados en programación de retroalimentación sigue siendo un "problema casi completamente abierto". Sugieren que el trabajo futuro podría centrarse en el desarrollo de modelos de utilización de CPU más avanzados y controladores híbridos en línea para mejorar aún más el rendimiento general del sistema. El artículo no pretende resolver todos los problemas de programación en tiempo real, sino posiciona su enfoque adaptativo y tolerante a fallos como un paso significativo hacia el manejo de las incertidumbres de los entornos embebidos modernos.