Resumen de Verificación de conexiones telefónicas con ESTEREL

Jorge Graña Gil , Manuel Vilares Ferro , Raphäel Bernhard

• 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...