Software de control eficiente
El proyecto RSCS (Automata based interfaces for dynamic resource scheduling in control systems), financiado por la Unión Europea, abordó la necesidad de la utilización eficiente de los recursos asociada al software de control integrado. Su finalidad consistía en combinar la teoría de control y la teoría de planificación, eliminando de este modo la necesidad de recursos estrictos con plazos de entrega ajustados para los componentes de software. Además, esta propuesta no pondría en riesgo la capacidad de utilizar componentes de sistemas de control en aplicaciones críticas para la seguridad. El equipo estudió interfaces de componentes de sistema de control de software que simplifican la integración de los mecanismos dinámicos de planificación. Entre los beneficios que se espera obtener está una asignación eficiente de los recursos en sistemas de control críticos. El principio se basaba en la introducción de información del bucle de control en el algoritmo de planificación; de este modo, se podían efectuar ajustes adaptativos en las asignaciones de recursos. Los frutos de este proyecto son aplicables a robots, aeronaves y máquinas industriales. El proyecto, de cuatro años de duración, concluyó en agosto de 2014. El proyecto RSCS amplió el ámbito de uso de las interfaces basadas en autómatas. Los investigadores también proporcionaron formas de utilizar los autómatas como una interfaz práctica entre las tareas de planificación y control. Este desarrollo permitió llevar a cabo una planificación dinámica, aplicar garantías formales de rendimiento y separar el ámbito de actuación de los ingenieros de software y los ingenieros de control. El equipo también creó mecanismos prácticos para la asignación dinámica de recursos. Los resultados del proyecto incluyeron un mecanismo simplificado de toma de decisiones y planificación. Esto se tradujo en la creación de estrategias de control que modifican de forma dinámica las demandas de recursos en función de las condiciones. Otro resultado fue el desarrollo de herramientas experimentales para demostrar las ventajas de la nueva metodología. Una de esas herramientas, denominada GameComposer, demostró la viabilidad del concepto del proyecto a través de estudios de casos. Por último, el equipo contribuyó a la elaboración de métodos formales y teorías de sistemas híbridos. El proyecto RSCS desarrolló nuevas técnicas de control y diseño, y contribuyó a la elaboración de la teoría de autómatas. Algunos de sus logros se han materializado en interfaces más flexibles y sistemas de control con una mayor capacidad de respuesta.
Palabras clave
Software de control integrado, interfaces basadas en autómatas, planificación de recursos, sistemas de control, componentes de software
