Marco de Componentes con soporte para reemplazo dinámico y seguro en sistemas de tiempo real

Resumen

En las últimas décadas se han aportado soluciones para el desarrollo de sistemas de tiempo real basados en componentes como base para aumentar la productividad y la fiabilidad de su desarrollo así como su posterior mantenimiento. De modo más reciente están apareciendo soluciones que permiten cierta flexibilidad en estos sistemas con miras a soportar ejecución dinámica a través de reemplazos de componentes en tiempo de ejecución. Para ello se adaptan los modelos de componentes intentando minimizar los conflictos que aparecen al integrar tiempo real y comportamiento dinámico y conseguir reemplazos de componentes en un tiempo acotado. Uno de los principales retos para esto es el cálculo de los tiempos requeridos por las diferentes operaciones necesarias para realizar un reemplazo de componente. El otro gran obstáculo es conocer los tiempos de operación de los componentes del sistema cuando la implementación de éstos puede cambiar durante la vida del sistema. En este trabajo se describe la implementación de un marco de componentes que aporta una solución parcial a estos problemas. Se proporciona un modelo de componentes junto con sus correspondientes algoritmos para asegurar que los componentes pueden ser cargados y reemplazados en tiempo de ejecución sin interferir en el cumplimiento de sus plazos de ejecución. El modelo está diseñado para evitar fallos en los reemplazos de componente. Finalmente se aporta la validación de los conceptos presentados.