[ca] La dissertació aborda la investigació per millorar la previsibilitat temporal i el rendiment en Critical Real-Time Embedded Systems (CRTES), centrada en Multi-Processor Systems on Chip (MPSoCs). Els CRTES són essencials en àmbits crítics com l'automoció i l'aeronàutica, on es requereixen funcionalitats complexes i alt rendiment per a tasques com la intel·ligència artificial i el processament de dades multisensor. Tanmateix, els MPSoCs enfronten grans reptes de verification and validation (V&V) temporal, especialment en recursos compartits com caches i interconnexions, que generen retards imprevisibles. Aquesta tesi se centra en tres àrees clau per millorar la previsibilitat en CRTES: coherència de les cache, predictibilitat en interconnexions i rendiment d'aplicacions mitjançant vector extensions. Coherència de les Cache: Als MPSoCs, els protocols de coherència garanteixen la consistència de dades entre nuclis, però les caches compartides generen contenció que afecta la previsibilitat. Modificar protocols sol ser costós i complex. Aquesta tesi proposa l'ús de hardware event monitors (HEMs) per observar la contenció en caches, proporcionant dades clau per a la V&V temporal sense modificar els protocols existents. Aquesta metodologia s'aplica a MPSoCs comercials com NXP T1040 i T2080. També s'introdueix el mètode Remote Protocol-Contention Tracking (RPCT) per a un seguiment detallat dels retards causats per la contenció inter-core, oferint informació clau per optimitzar el programari. A més, el mètode Multiple HEM Validation (MHV) millora la precisió validant les relacions entre HEMs, mitigant errors coneguts en les mesures individuals. Interconnexions: Els MPSoCs depenen de protocols com AXI4 per transferir dades entre nuclis, però l'estàndard AXI no inclou restriccions temporals, fent imprevisible el seu ús en temps real. Per abordar-ho, es proposa AXI4 Real-Time (AXI4RT), una extensió del protocol AXI que defineix paràmetres temporals per controlar la durada de les transaccions entre interfícies. Això assegura una comunicació previsible i millora la fiabilitat per a aplicacions en temps real. A més, es presenten passos inicials per rastrejar la contenció en interconnexions AXI5 utilitzant HEMs actuals i es proposen nous HEMs per millorar aquest seguiment. Rendiment d'aplicacions amb Vector Extensions: Per satisfer les demandes de rendiment en CRTES, els MPSoCs usen GPUs i acceleradors personalitzats, que presenten reptes de certificació per la seva complexitat i temps imprevisible. Aquesta tesi explora vector extensions (VExt) com a alternativa. Les Single Instruction Multiple Data (SIMD) units, presents en molts processadors incrustats, fan operacions paral·leles en múltiples elements de dades, millorant la velocitat de processament. A diferència de les GPUs, les VExt estan integrades en els processadors i compleixen amb estàndards d'alta integritat com MISRA-C, facilitant-ne la certificació. L'anàlisi de les VExt en processadors COTS com NVIDIA AGX Xavier mostra el seu potencial per millorar el rendiment sense comprometre la certificació. En resum, aquesta tesi presenta avenços en la previsibilitat dels CRTES, oferint solucions per garantir temps fiables en sistemes incrustats complexos. En abordar cache coherence, interconnexions i altres millores de rendiment d'aplicacions, aquesta tesi proporciona eines i metodologies que milloren l'anàlisi temporal, i això permet als MPSoCs complir garanties en temps real.

[es] La disertación aborda la investigación para mejorar la previsibilidad temporal y el rendimiento en Critical Real-Time Embedded Systems (CRTES), centrada en Multi-Processor Systems on Chip (MPSoCs). Los CRTES son esenciales en dominios críticos como automoción y aviónica, donde se necesitan funcionalidades complejas y alto rendimiento para tareas como inteligencia artificial y procesamiento de datos multi-sensor. Sin embargo, los MPSoCs enfrentan grandes desafíos de verification and validation (V&V) temporal, especialmente en recursos compartidos como caches e interconexiones, que generan retrasos impredecibles. Esta tesis se enfoca en tres áreas clave para mejorar la previsibilidad en CRTES: coherencia de las cache, predictibilidad en interconexiones y rendimiento de aplicaciones mediante vector extensions. Coherencia de las Cache: En los MPSoCs, los protocolos de coherencia aseguran consistencia de datos entre núcleos, pero las caches compartidas generan contención que afecta la previsibilidad. Modificar protocolos suele ser costoso y complejo. Esta tesis propone el uso de hardware event monitors (HEMs) para observar la contención en caches, proporcionando datos clave para la V&V temporal sin alterar los protocolos existentes. Esta metodología se aplica a MPSoCs comerciales como NXP T1040 y T2080. También se introduce el método Remote Protocol-Contention Tracking (RPCT) para un seguimiento detallado de los retrasos por contención inter-core, ofreciendo información clave para optimizar el software. Además, el método Multiple HEM Validation (MHV) mejora la precisión al validar relaciones entre HEMs, mitigando errores conocidos de medición individual. Interconexiones: Los MPSoCs dependen de protocolos como AXI4 para transferir datos entre núcleos, pero el estándar AXI no incluye restricciones temporales, haciendo impredecible su uso en tiempo real. Para abordar esto, se propone AXI4 Real-Time (AXI4RT), una extensión del protocolo AXI que define parámetros temporales para controlar la duración de transacciones entre interfaces. Esto asegura comunicación predecible y mejora la fiabilidad para aplicaciones en tiempo real. Además, se dan pasos iniciales para rastrear la contención en interconexiones AXI5 mediante HEMs actuales y se proponen nuevos HEMs para mejorar este seguimiento. Application Performance con Vector Extensions: Para satisfacer demandas de rendimiento en CRTES, los MPSoCs utilizan GPUs y aceleradores personalizados, que presentan desafíos de certificación por su complejidad y tiempo impredecible. Esta tesis explora vector extensions (VExt) como alternativa. Las unidades Single Instruction Multiple Data (SIMD), presentes en muchos procesadores embebidos, realizan operaciones paralelas en múltiples elementos de datos, mejorando la velocidad de procesamiento. A diferencia de GPUs, las VExt están integradas en los procesadores y cumplen con estándares de alta integridad como MISRA-C, facilitando su certificación. El análisis de VExt en procesadores COTS como NVIDIA AGX Xavier muestra su potencial para mejorar el rendimiento sin comprometer la certificación. En resumen, esta tesis presenta avances en la previsibilidad de CRTES, ofreciendo soluciones para asegurar tiempos confiables en sistemas embebidos complejos. Al abordar la coherencia de las cache, predictibilidad en interconexiones y application performance, proporciona herramientas y metodologías que mejoran el análisis temporal, habilitando MPSoCs para cumplir garantías en tiempo real.