Presentación de Tesis de Ingeniería en Informática
Luego de mucho esfuerzo y dedicación fue presentada con éxito una Tesis de Ingeniería en Informática en la Universidad de Buenos Aires (UBA) sobre recuperación automática ante fallos de sistemas de software mediante modelado de controladores y simulación en tiempo real, realizada en el marco de las actividades de cooperación académica de Epidata, empresa Argentina especializada en arquitectura de software.
La Tesis fue presentada por la Ing. Guillermina Galache, quien la llevó a cabo en el marco de una colaboración universidad-industria entre el Grupo de Simulación de Eventos Discretos (Departamento de Computación, Facultad de Ciencias Exactas y Naturales, UBA) y el Departamento de Investigación, Desarrollo e Innovación de Epidata, coordinados por el Dr. Ing. Rodrigo Castro.
Los resultados fueron además presentados en forma de publicación científica ante la comunidad académica en las JAIIO 2012, las prestigiosas Jornadas Argentinas de Informática e Investigación Operativa organizadas anualmente, en su Simposio de Ingeniería de Software (ASSE). Allí se presentan y discuten resultados originales sobre diferentes tópicos contando con la asistencia de profesionales argentinos y extranjeros.
La Tesis de la Ing. Galache consiste en la presentación de una plataforma avanzada de software para posibilitar la adaptación automática y autónoma de sistemas informáticos ante una degradación transitoria en su calidad de servicio, y fue dirigida por el Dr. Castro (FCEyN/UBA, ETH Zurich) y el Ing. Osvaldo Clúa (FI/UBA). Se espera que este desarrollo contribuya a generar sinergia entre las disciplinas de Ingeniería de Software e Ingeniería de Control en el contexto del aseguramiento de la calidad de servicio de sistemas de software, aspirando a producir sistemas de software más robustos y confiables.
Desde su creación en el 2007 el área de Investigación, Desarrollo e Innovación (I+D+i) de Epidata ha llevado a cabo proyectos junto a Universidades locales y extranjeras. Las actividades que coordina el área incluyen: Dirección de Tesis, Investigación en Cooperación con Universidades, Convenios de Cooperación Académica, Capacitación de Asistencia Libre en Universidades y Observatorio de Innovación, entre otras.
Resumen del Desarrollo de la Tesis
La metodología Self-Healing ofrece ventajas particulares cuando se aplican técnicas de control a lazo cerrado. Sin embargo, un factor que limita su adopción en entornos industriales es la fuerte dependencia de cada estrategia de control particular con la herramienta específica que lo implementa, dificultando la convergencia hacia una plataforma estándar.
Para contrarrestar esta situación, desarrollamos una herramienta genérica para diseñar e implementar distintas estrategias de control en un contexto flexible y modular. Sus tres funciones centrales: monitoreo, control y actuación, se logran mediante componentes independientes integrados mediante una red de datos.
Los controladores se implementan en un entorno de modelado y simulación basado en el formalismo DEVS (Discrete Event System Specification) que permite especificar de forma matemáticamente robusta controladores de cualquier naturaleza: continuos, a tiempo discreto, a eventos discretos y/o combinaciones de ellos (híbridos).
Esto facilita el desarrollo de estrategias de control acorde al enfoque System-In-The-Loop (sistema “dentro del lazo”): los modelos son desarrollados, ensayados y verificados mediante simulaciones desacopladas del sistema real a controlar (sistema “fuera del lazo”); luego, cuando el desempeño es aceptable, las entradas y salidas del controlador son simplemente “redireccionadas” hacia el sistema real (sistema “dentro del lazo”) para su validación. Mediante un proceso iterativo los modelos de simulación pasan a ser ejecutados en tiempo real convirtiéndose directamente en el producto final.
La eficacia de la plataforma fue demostrada a través del diseño de un control sencillo tipo on-off para regular el consumo de CPU y memoria de una aplicación Web sobre Java EE. Los ensayos expusieron dinámicas inesperadas de la aplicación controlada, y la plataforma mostró flexibilidad para adaptar el control incorporando los nuevos conocimientos adquiridos.