Modelado y análisis de sistemas en tiempo real y sistemas embebidos.

Modelado y análisis de sistemas en tiempo real y embebidos ^{[ 1 ]} también conocido como MARTE es el estándar de OMG para modelar aplicaciones en tiempo real y embebidas con UML2 .

El lenguaje de modelado UML ha sido ampliado por el consorcio OMG para dar soporte al desarrollo basado en modelos de aplicaciones en tiempo real y embebidas. Esta extensión se ha definido mediante un perfil UML2 llamado MARTE (Modelado y Análisis de Sistemas Embebidos y en Tiempo Real). Consta principalmente de cuatro partes:

• un marco fundamental que define los conceptos básicos necesarios para dar soporte a dominios integrados y en tiempo real.
• una primera especialización (perfeccionamiento) de este paquete básico para admitir el modelado puro de aplicaciones (por ejemplo, modelado de plataformas de hardware y software).
• una segunda especialización (perfeccionamiento) de este paquete principal para dar soporte al análisis cuantitativo de modelos UML2, especialmente al análisis de la planificabilidad y el rendimiento.
• una última parte que reúne todos los anexos de MARTE, como el que define un lenguaje textual para la especificación de valores dentro de los modelos UML2, y el que combina las bibliotecas de modelos MARTE estándar dedicadas al modelado de sistemas RT/E.

La especificación MARTE está disponible públicamente en el sitio web de OMG. ^{[ 2 ]} Actualmente, hay dos herramientas de código abierto disponibles para el modelado de sistemas utilizando el perfil MARTE: Modelio proporciona un entorno de modelado de código abierto para diseñar modelos UML de alto nivel utilizando el perfil MARTE, y también proporciona directrices sobre la utilización del perfil MARTE; mientras que una implementación de código abierto basada en Eclipse del perfil MARTE está disponible en Papyrus UML . ^{[ 3 ]} Esta última se ejecuta dentro del complemento Eclipse UML2 y dentro de la herramienta de código abierto para UML2 Papyrus.

La parte central de MARTE se compone de cinco capítulos.

• Elementos básicos;
• Propiedades no funcionales: Este capítulo especifica algunas notaciones para definir varios tipos de valores relacionados con cantidades físicas: tiempo, masa, energía;
• Tiempo: Este capítulo define un modelo rico de tiempo que admite tanto la definición de propiedades de tiempo físico como lógico ;. ^{[ 4 ]} Viene con un lenguaje complementario llamado CCSL definido como un anexo.
• Modelado genérico de recursos: Este capítulo ofrece las extensiones necesarias para modelar una plataforma general para la ejecución de aplicaciones integradas en tiempo real;
• Modelado de asignación: Finalmente, este capítulo define un concepto de asignación para distribuir los elementos de la aplicación en las plataformas de ejecución. Se ha prestado especial atención a mantener la compatibilidad con el mecanismo de asignación de SysML .