UML en tiempo real

UML en tiempo real ( RTUML ) se refiere a la aplicación del Lenguaje Unificado de Modelado (UML) para el análisis , diseño e implementación de sistemas embebidos y en tiempo real , donde las restricciones de tiempo, la concurrencia y la gestión de recursos son críticas. ^{[ 1 ] [ 2 ] [ 3 ]} Extiende el UML estándar con perfiles, notaciones y semántica para manejar requisitos de tiempo real estrictos y flexibles, como el modelado de tiempos de respuesta predecibles y tolerancia a fallas . ^{[ 4 ] [ 5 ]} RTUML no es un lenguaje separado, sino una metodología que aprovecha los diagramas UML (por ejemplo, diagramas de estados , diagramas de secuencia ) para aplicaciones sensibles al tiempo como controles automotrices , aviónica y dispositivos médicos . ^{[ 1 ] [ 2 ] [ 6 ]}

El término está estrechamente asociado con Bruce Powel Douglass, quien lo popularizó a través de sus libros y el proceso Harmony para el desarrollo de software embebido. ^{[ 1 ] [ 2 ] [ 7 ]} A partir de 2025, RTUML sigue siendo relevante en industrias que requieren sistemas certificados , aunque su adopción varía según las metodologías ágiles y las herramientas de ingeniería dirigida por modelos. ^{[ 8 ] [ 9 ] [ 10 ]}

UML en tiempo real surgió a finales de la década de 1990 cuando el Object Management Group (OMG) estandarizó UML en 1997, abordando la necesidad de modelado orientado a objetos en sistemas en tiempo real previamente dominados por lenguajes procedimentales como C. ^{[ 1 ] [ 11 ] [ 12 ]} El desarrollo tradicional en tiempo real se basaba en la programación " bare metal " o modelos teóricos, pero RTUML introdujo notaciones visuales para la estructura, el comportamiento y la temporización de los objetos. ^{[ 1 ] [ 2 ]}

El libro de Bruce Powel Douglass de 1999, Real-Time UML: Developing Efficient Objects for Embedded Systems , formalizó el enfoque, haciendo hincapié en los diagramas de estados para la concurrencia y las restricciones de tiempo. ^{[ 1 ] [ 13 ]} Las ediciones posteriores (2004, 2006) incorporaron características de UML 2.0 como diagramas de actividad y de tiempo , alineándose con el perfil de tiempo real de OMG (ahora parte de MARTE: Modelado y análisis de sistemas en tiempo real y embebidos ). ^{[ 2 ] [ 3 ] [ 14 ]} El proceso Harmony integra RTUML con modelos ejecutables para simulación y generación de código . ^{[ 15 ] [ 4 ]}

RTUML aborda los sistemas de tiempo real estricto (por ejemplo, plazos estrictos en aviónica ) frente a los de tiempo real flexible (por ejemplo, transmisión de medios ), utilizando extensiones de UML para el análisis de la planificabilidad . ^{[ 16 ] [ 4 ] [ 17 ]}

RTUML adapta los diagramas y las técnicas de UML a las necesidades en tiempo real:

• Diagramas de estados y modelado de comportamiento : Las máquinas de estados extendidas modelan el comportamiento reactivo, utilizando estados AND para la concurrencia , pseudoestados para las transiciones y restricciones de tiempo (por ejemplo, {duración < 10 ms}). ^{[ 2 ] [ 6 ] [ 4 ]} Algunos ejemplos incluyen modelos de marcapasos cardíacos . ^{[ 2 ]}
• Diagramas de secuencia e interacción : Capturan la sincronización de mensajes, las prioridades y la asignación de recursos en sistemas multihilo. ^{[ 2 ] [ 6 ]}
• Patrones arquitectónicos : Definir arquitecturas lógicas y físicas con objetos activos para la concurrencia y patrones como observador o publicador-suscriptor. ^{[ 2 ] [ 15 ] [ 18 ]}
• Plazos y restricciones : utilice el lenguaje de restricciones de objetos (OCL) para especificar plazos y prioridades. ^{[ 6 ] [ 4 ]}
• Perfiles y extensiones : El perfil UML de OMG para la capacidad de planificación , el rendimiento y el tiempo (SPT) y MARTE añaden estereotipos como RT::ActiveObject. ^{[ 3 ] [ 18 ] [ 19 ]}

Estos admiten el desarrollo iterativo , desde los requisitos hasta la implementación , a menudo con herramientas como IBM Rhapsody o Enterprise Architect . ^{[ 20 ] [ 21 ] [ 22 ]}

RTUML se utiliza en:

• Sistemas embebidos : Modelado de ECU automotrices o controles de UAV . ^{[ 1 ] [ 15 ] [ 4 ]}
• Aviónica y Defensa : Diseños compatibles con DO-178C para tolerancia a fallos . ^{[ 6 ] [ 23 ] [ 24 ]}
• Dispositivos médicos : Marcapasos o ventiladores con sincronización precisa. ^{[ 2 ] [ 6 ]}
• Automatización industrial : visualización de tareas de RTOS mediante diagramas de secuencia . ^{[ 21 ]}

Herramientas como IBM Rhapsody admiten RTUML para el desarrollo basado en modelos y la generación de código en C/C++ . ^{[ 21 ] [ 20 ]}

La complejidad de RTUML puede abrumar a los sistemas simples, y su uso en entornos ágiles es limitado, donde se prefieren diagramas ligeros. ^{[ 10 ] [ 25 ]} Las encuestas indican que UML (incluido RTUML) se utiliza en el 30-50% de los proyectos embebidos, a menudo para documentación en lugar de ingeniería dirigida por modelos completa . ^{[ 26 ] [ 27 ] [ 28 ] [ 29 ]} Sigue siendo estándar en el ámbito académico y en industrias certificadas como la aeroespacial . ^{[ 4 ] [ 30 ] [ 24 ]}

• Lenguaje Unificado de Modelado
• Sistema embebido
• Computación en tiempo real
• Ingeniería basada en modelos