Verificación de conexiones telefónicas con ESTEREL
- Graña Gil, Jorge
- Vilares Ferro, Manuel
- Bernhard, Raphäel
- Troya Linero, José María (dir. congr.)
- Rodríguez León, Casiano (dir. congr.)
Argitaletxea: Asociación Española de Informática y Automática
Argitalpen urtea: 1995
Orrialdeak: 707-708
Biltzarra: Jornadas de Informática (1. 1995. Puerto de la Cruz)
Mota: Biltzar ekarpena
Laburpena
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...