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

  1. CERRADA SOMOLINOS, JOSÉ ANTONIO
Dirixida por:
  1. Eugenio Andrés Puente Director

Universidade de defensa: Universidad Politécnica de Madrid

Ano de defensa: 1983

Tribunal:
  1. Eugenio Andrés Puente Presidente/a
  2. Manuel Collado Machuca Secretario/a
  3. Mariano Artés Gómez Vogal
  4. Pedro de Miguel Anasagasti Vogal
  5. Fernando Aldana Mayor Vogal

Tipo: Tese

Teseo: 9413 DIALNET

Resumo

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