Tesis:
Lenguaje de control en tiempo real para sistemas distribuidos. Aportaciones metodológicas y aplicaciones
- Autor: CERRADA SOMOLINOS, José Antonio
- Título: Lenguaje de control en tiempo real para sistemas distribuidos. Aportaciones metodológicas y aplicaciones
- Fecha: 1983
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS INDUSTRIALES
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: ANDRES PUENTE, Eugenio
- Resumen: El bajo precio alcanzado por los microprocesadores permite el desarrollo de sistemas distribuidos de control. Para la programación de estos sistemas se utilizan soluciones ad hoc, escritas para cada máquina y problemas en particular. Actualmente se está discutiendo la incorporación a los lenguajes de alto nivel de las herramientas que permitan la programación de estos sistemas distribuidos. En esta tesis se ha estudiado y desarrollado una extensión del PASCAL para la programación en tiempo real de sistemas distribuidos. El nuevo lenguaje creado permite la definición de tareas que se ejecutan en paralelo. Las tareas no poseen ni variables ni procedimientos comunes. La comunicación entre tareas se realiza utilizando canales lógicos o «puertos». Cada puerto se asigna y reside en la tarea que recibe datos por él. Un puerto sólo puede recibir el tipo de datos que se especifica en su declaración. El carácter aleatorio de las comunicaciones entre tareas se puede prever utilizando una nueva instrucción de tipo no determinista. Esta instrucción permite controlar la recepción de todos los mensajes enviados a los distintos puertos. Se recibe el primer envío que llega o uno cualquiera de los pendientes cuando se ejecuta la instrucción. El envío y recepción de mensajes se hace con los dos nuevos procedimientos standard: send y receive, incorporados al lenguaje. Para controlar los fallos de transmisión hay que utilizar una variable del nuevo tipo predefinido: status. En esta variable se devuelve el estado final de la comunicación. La programación en tiempo real se logra por medio de un mecanismo de timeout en las operaciones de envío y recepción. La condición de timeout también se devuelve en la variable status