Integración de análisis de tiempo real en la técnica de descripción formal sdl

Resumen

El presente trabajo propone la utilización de técnicas de descripción formal (TDF) para el diseño de sistemas de tiempo real. Una de las TDF más extendidas es SDL. Sin embargo, SDL prsenta limitaciones cuando es utilizada para este tipo de diseños. Estas limitaciones están relacionadas con la dificultad para expresar restricciones temporales, sincronización y la existencia de un modelo de ejecución no predecible. En la tesis se propone un conjunto de extensiones para solucionar estas carencias y la integración de un análisis de planificabilidad. La extensión principal propone la asignación de prioridades a las transiciones y la definición de un modelo de ejecución predecible. El análisis de planificabilidad está basado en la propuesta de JOSEPH y PANDYA, si bien se ha modificado para incluir aspectos característicos de la semántica de SDL. Estas aportaciones ha sido implementadas en una herramienta denominada SDLTR que, además, incluye la posibilidad de rediseño del sistema buscando el cumplimiento de las restricciones temporales del sistema. Existen aportaciones del nivel de implementación, concretamente se propone un modelo para generar implementaciones desde SDL y un sistema software intermedio (SSI) para controlar la ejecución de la implementación generada. El SSI puede implantarse sobre plataformas que ofrezcan el interfaz POSIX y sobre plataformas que ofrezcan APIS de WIN32.