Un Sistema de Tiempo Real (STR) es aquel que, además de llevar a cabo la funcionalidad que se espera de él, es capaz de garantizar que, ante ciertos eventos (más o menos críticos), siempre responderá a tiempo (dentro de un plazo preestablecido).

El Desarrollo de Software Dirigido por Modelos (DSDM) comprende un conjunto de técnicas y herramientas que permiten modelar formalmente los sistemas que se quieren desarrollar para, posteriormente, aplicando una serie de transformaciones automáticas, obtener el código final de las aplicaciones. Así, el DSDM gira entorno a la definición y el uso sistemático de modelos y de transformaciones de modelos a lo largo de todo el ciclo de vida del desarrollo de software.

Existe la necesidad de proporcionar a los diseñadores de STR, los mecanismos adecuados que les permitan, por una parte, diseñar sus sistemas de manera global (como un todo) y, por la otra, diseñar y analizar, por separado, aquellos procesos que requieran del cumplimiento estricto de ciertas restricciones temporales (hard real-time), de aquellos otros cuyas restricciones sean menos estrictas (soft real-time) o de aquellos que simplemente no tengan ningún tipo de restricción temporal.

El paradigma de DSDM puede proporcionar un buen soporte para desarrollar los mecanismos necesarios que permitan asegurar, de manera rigurosa y formal, que los modelos que se diseñan cumplen con ciertas restricciones y se comportan como se espera de ellos, algo crucial en el dominio de los STR. Así pues, el objetivo principal de la presente Tesis Doctoral es definir un proceso dirigido por modelos para el diseño, el análisis y la verificación formal de sistemas software con requisitos de Tiempo Real.