Verificación de conexiones telefónicas con ESTEREL

  1. Graña Gil, Jorge
  2. Vilares Ferro, Manuel
  3. Bernhard, Raphäel
Libro:
I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995
  1. Troya Linero, José María (dir. congr.)
  2. Rodríguez León, Casiano (dir. congr.)

Editorial: Asociación Española de Informática y Automática

Año de publicación: 1995

Páginas: 707-708

Congreso: Jornadas de Informática (1. 1995. Puerto de la Cruz)

Tipo: Aportación congreso

Resumen

El presente trabajo resume el proceso de diseño, implementación y verificación del comportamiento de una centralita telefónica digital en el entorno de programación de tiempo real síncrono ESTEREL. Nuestra intención es mostrar la modularidad de la aplicación y la flexibilidad del proceso de verificación. Identica atención merecen los mecanismos de control que gestionan la sincronización de procesos...