IEEE International Symposium on Real-Time Distributed Computing se centra en el diseño, análisis, implementación, evaluación y despliegue de sistemas distribuidos en los que el tiempo de respuesta, la predictibilidad y la dependabilidad forman parte esencial de la corrección. El encuentro aborda arquitecturas de tiempo real y sistemas embebidos, inteligencia artificial ejecutada en el borde, dispositivos médicos conectados, sistemas autónomos, comunicaciones deterministas, infraestructuras distribuidas, planificación, tolerancia a fallos, verificación formal, sostenibilidad, fabricación inteligente y análisis de datos con restricciones temporales. Su convocatoria busca investigación en la que las propiedades de tiempo real sean un componente central y excluye trabajos generales de inteligencia artificial, Internet de las cosas o sistemas distribuidos que no presenten una dimensión explícita de temporización, determinismo o sistemas embebidos.
El objetivo científico de IEEE International Symposium on Real-Time Distributed Computing consiste en avanzar las técnicas que permiten construir sistemas capaces de ofrecer resultados dentro de límites temporales conocidos. En estas plataformas, producir una respuesta funcionalmente correcta no resulta suficiente cuando esa respuesta llega después del momento en el que puede utilizarse. La investigación estudia por ello planificación, tiempos máximos de ejecución, coordinación de recursos, latencia de comunicaciones, comportamiento frente a fallos y mecanismos para proporcionar garantías incluso cuando varias aplicaciones comparten procesadores, memoria, redes y aceleradores.
Las arquitecturas de sistemas embebidos y de tiempo real constituyen una de las líneas oficiales. Los artículos pueden estudiar codiseño de hardware y software, sistemas operativos de tiempo real, hipervisores, procesadores y memorias temporalmente predecibles, microcontroladores y sistemas en chip. Estas plataformas necesitan controlar las fuentes de variabilidad que aparecen durante la ejecución. La investigación puede analizar cómo cachés, memoria, virtualización y recursos compartidos afectan a los tiempos observados y desarrollar mecanismos que mantengan aislamiento y predictibilidad.
La inteligencia artificial y el aprendizaje automático en el borde forman otro eje explícito. La convocatoria incluye planificación para TinyML, análisis del peor tiempo de ejecución de inferencias neuronales, ejecución de grandes modelos de lenguaje sobre hardware restringido, compresión de modelos consciente de requisitos temporales y utilización de aceleradores con exigencias de determinismo. El problema científico consiste en combinar capacidades de aprendizaje con garantías temporales. Un modelo puede ofrecer buenas predicciones y, sin embargo, resultar inadecuado para una aplicación si su latencia cambia de manera impredecible.
Los sistemas médicos conectados constituyen otra línea verificada. Los trabajos pueden estudiar fusión sensorial en tiempo real, control en lazo cerrado, dispositivos portátiles o implantables y telemedicina con restricciones temporales. En estas aplicaciones, una demora puede alterar el significado de una medición o comprometer una acción automática. La convocatoria incorpora además requisitos asociados con procesos de certificación, lo que conecta análisis temporal, fiabilidad y validación de sistemas.
Los sistemas autónomos y críticos para la seguridad forman otro bloque. Las contribuciones pueden investigar vehículos autónomos, aeronaves no tripuladas, robótica, percepción y toma de decisiones en tiempo real. También pueden estudiar normas de seguridad aplicables a software crítico. Estas plataformas integran sensores, algoritmos de percepción, planificación y control y necesitan coordinar todas las etapas dentro de presupuestos temporales conocidos. La investigación puede analizar cómo se propagan los retrasos y qué mecanismos evitan que una sobrecarga local produzca un fallo global.
Las comunicaciones y redes de tiempo real representan otra línea principal. IEEE International Symposium on Real-Time Distributed Computing incluye comunicaciones de muy baja latencia, redes sensibles al tiempo, redes deterministas, comunicaciones entre vehículos y protocolos con garantías de calidad de servicio. Los sistemas distribuidos dependen de la red para coordinar componentes, por lo que una variabilidad excesiva en transmisión puede invalidar las garantías obtenidas sobre procesadores individuales.
Las infraestructuras distribuidas de nube, borde y niebla constituyen otro ámbito oficial. Los artículos pueden estudiar contenedores y orquestación de tiempo real, middleware distribuido y gemelos digitales con pipelines de datos sujetos a restricciones temporales. Estas arquitecturas permiten situar cálculo cerca de sensores o distribuirlo entre diferentes recursos, pero introducen decisiones sobre migración, colocación y coordinación que necesitan considerar latencia y disponibilidad.
La planificación, la gestión de recursos y el análisis temporal forman un núcleo metodológico. La convocatoria contempla planificación estática y dinámica, análisis del peor tiempo de ejecución, sistemas de criticidad mixta, modelos de tareas y planificación consciente del consumo energético. Los trabajos pueden desarrollar nuevas formulaciones o herramientas y estudiar cómo diferentes políticas afectan a cumplimiento de plazos, utilización y consumo.
La dependabilidad, tolerancia a fallos y resiliencia constituyen otra línea. Los artículos pueden investigar detección y recuperación frente a fallos, redundancia, mecanismos de conmutación, verificación formal, integración y despliegue continuos para sistemas de tiempo real y ciberseguridad de sistemas embebidos. También aparece específicamente la certificación y verificación formal de inteligencia artificial, incluida la comprobación temporal de componentes aprendidos y los métodos formales para analizar su seguridad.
La sostenibilidad completa otro eje mediante planificación energética, escalado dinámico de frecuencia y voltaje, sistemas con restricciones de potencia e infraestructuras conscientes de emisiones. La fabricación inteligente, los sistemas ciberfísicos, el Internet industrial de las cosas y los sistemas de supervisión industrial forman además áreas de aplicación. El análisis de streams y series temporales introduce problemas donde la información debe procesarse mientras conserva utilidad temporal.
IEEE International Symposium on Real-Time Distributed Computing se dirige a especialistas en sistemas de tiempo real, sistemas distribuidos, sistemas embebidos, arquitectura, redes, inteligencia artificial en el borde y sistemas ciberfísicos. IEEE International Symposium on Real-Time Distributed Computing contribuye al avance de la disciplina al proporcionar métodos para convertir latencia, determinismo y dependabilidad en propiedades explícitamente analizables y verificables de los sistemas informáticos modernos.
Palabras clave: sistemas de tiempo real, computación distribuida, sistemas embebidos, predictibilidad, determinismo, latencia, planificación, WCET, inteligencia artificial en el borde, TinyML, inferencia neuronal, modelos de lenguaje, sistemas médicos, dispositivos portátiles, sistemas autónomos, robótica, comunicaciones de baja latencia, redes sensibles al tiempo, redes deterministas, edge computing, fog computing, cloud computing, gemelos digitales, gestión de recursos, criticidad mixta, tolerancia a fallos, resiliencia, verificación formal, certificación de inteligencia artificial, ciberseguridad, sistemas ciberfísicos, Industria 4.0, fabricación inteligente, middleware, sistemas operativos de tiempo real, hipervisores, eficiencia energética, análisis en tiempo real, Internet industrial de las cosas
