Lenguaje de control en tiempo real para sistemas distribuidos. Aportaciones metodológicas y aplicaciones

Abstract

En esta tesis se ha estudiado y desarrollado una extension del pascal para la programacion en tiempo real de sistemas distribuidos. El nuevo lenguaje creado permite la definicion de tareas que se ejecutan en paralelo. Las tareas no poseen ni variables ni procedimientos comunes. La comunicacion entre tareas se realiza untilizando canales logicos o puertos. Cada puerto se asigna y reside en la tarea que recibe datos por el. Un puerto solo puede recibir el tipo de datos que se especifica en su declaracion. El caracter aleatorio de las comunicaciones entre tareas se puede prever utilizando una instruccion de tipo no determinista. El envio y recepcion de mensajes se realiza con los nuevos procedimientos standard: send y receive. Los fallos se devuelven en una variables del tipo predefinido: status. Los envios y recerciones pueden acabar por timeout