TACLe: Timing Analysis on Code-Level
El uso de sistemas embebidos está cada vez más presente en nuestras vidas. El funcionamiento de muchos de estos sistemas es crítico tanto para los negocios como para la seguridad, ya que en muchas ocasiones para su funcionamiento es necesario que se cumplan estrictos requerimientos temporales. El análisis del código a nivel temporal (técnica utilizada para analizar la ejecución de software en un hardware específico con respecto a sus requerimientos temporales) es una técnica indispensable para validar que los requerimientos se cumplan. Sin embargo, los desarrollos recientes a nivel de hardware (en especial las aproximaciones multi-core) y de organización del software han incrementado y creado nuevos retos para este tipo de técnicas.
Para la construcción de sistemas embebidos “combinables temporalmente” se necesita desarrollar nuevos principios que permitan que el análisis temporal resulte tratable en el futuro. Para ellos, se plantea la mejora del networking y la divulgación de ideas entre la comunidad vinculada al análisis temporal del código. Así como con ámbitos relacionados con otras formas de análisis tales como los asociados a la validación de modelos, o a la inferencia de tipos, y también con los asociados a la arquitectura de sistemas y compiladores.
El CiTIUS participa en esta acción en el Workpackage 1, en el que se analizará el uso de modelos temporales para multi-cores así como la composibilidad temporal.
Objetivos
El objetivo de la acción COST es reunir las comunidades de interés relacionadas con el análisis del código a nivel temporal con el objetivo de desarrollar técnicas de análisis viables industrialmente para el futuro de las nuevas generaciones de sistemas embebidos.
Proyecto
/research/projects/timing-analysis-on-code-level
<p>El uso de sistemas embebidos está cada vez más presente en nuestras vidas. El funcionamiento de muchos de estos sistemas es crítico tanto para los negocios como para la seguridad, ya que en muchas ocasiones para su funcionamiento es necesario que se cumplan estrictos requerimientos temporales. El análisis del código a nivel temporal (técnica utilizada para analizar la ejecución de software en un hardware específico con respecto a sus requerimientos temporales) es una técnica indispensable para validar que los requerimientos se cumplan. Sin embargo, los desarrollos recientes a nivel de hardware (en especial las aproximaciones multi-core) y de organización del software han incrementado y creado nuevos retos para este tipo de técnicas.</p> <p>Para la construcción de sistemas embebidos “combinables temporalmente” se necesita desarrollar nuevos principios que permitan que el análisis temporal resulte tratable en el futuro. Para ellos, se plantea la mejora del networking y la divulgación de ideas entre la comunidad vinculada al análisis temporal del código. Así como con ámbitos relacionados con otras formas de análisis tales como los asociados a la validación de modelos, o a la inferencia de tipos, y también con los asociados a la arquitectura de sistemas y compiladores.</p> <p>El CiTIUS participa en esta acción en el Workpackage 1, en el que se analizará el uso de modelos temporales para multi-cores así como la composibilidad temporal.</p><p>El objetivo de la acción COST es reunir las comunidades de interés relacionadas con el análisis del código a nivel temporal con el objetivo de desarrollar técnicas de análisis viables industrialmente para el futuro de las nuevas generaciones de sistemas embebidos.</p> - Francisco Fernández Rivera - José Carlos Cabaleiro Domínguez, Tomás Fernández Pena, Juan Carlos Pichel Campos
projects_es