La línea de investigación Time-Sensitive Systems and Performance (TSSP) aborda el diseño, análisis y verificación de sistemas con restricciones temporales estrictas, en los que la corrección depende no solo del resultado lógico sino del instante en que se produce —la propiedad que define a los sistemas de tiempo real (Real-Time Systems, RTS). Aunque los RTS constituyen su núcleo clásico, las técnicas de medición y caracterización temporal, modelado formal y emulación que desarrolla la línea trascienden la problemática tradicional de la planificabilidad y resultan aplicables a sistemas sensibles al tiempo en un sentido más amplio. Sus dominios de aplicación incluyen la automatización industrial, los sistemas intravehiculares y las plataformas aeroespaciales, donde flujos de criticidad heterogénea deben coexistir sobre infraestructuras de comunicación compartidas con garantías deterministas de latencia y jitter.
Más información en: https://gaz.i3a.es/es/tsn/