Modelado y simulación de restricciones de temporización en sistemas de sistemas con UML-RT y OMNeT++

Hay un interés creciente en usar técnicas de análisis y diseño orientadas a objetos en conjunto con UML para desarrollar grandes sistemas complejos. Este artículo presenta un enfoque iterativo para estudiar las restricciones de temporización de un sistema de sistemas utilizando modelos expresados en la extensión de UML para Tiempo Real (UML-RT), que luego se traducen en modelos de simulación de grano grueso que se ejercitan utilizando el motor de simulación OMNeT++. La integración de los modelos UML-RT con los modelos de simulación proporciona un proceso fluido para construir rápidamente prototipos ejecutables con el propósito de analizar restricciones de temporización y derivar requisitos del sistema a partir de esas restricciones. La efectividad del enfoque se demuestra con un estudio de caso de la capacidad de redes de sensores de un sistema de defensa de misiles.