Verificación de conexiones telefónicas con ESTEREL

• Autores: Jorge Graña , Manuel Vilares Ferro , Raphäel Bernhard
• Localización: I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 707-708
• Idioma: español
• Texto completo no disponible (Saber más ...)
• 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...