Use this link to cite:
http://hdl.handle.net/2183/157 Verificación de conexiones telefónicas con esterel
Loading...
Identifiers
Publication date
Authors
Advisors
Other responsabilities
Journal Title
Bibliographic citation
Troya Linero, J.; Rodríguez León, C. (eds.), Actas de las I Jornadas de Informática de la Asociación Española de Informática y Automática (AEIA-1995), Puerto de la Cruz (Spain), pp. 707-708.
Type of academic work
Academic degree
Abstract
[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.
Idéntica atención merecen los mecanismos de control que gestionan la sincronización de procesos concurrentes. El objetivo es detectar los fenómenos de abrazo mortal e interbloqueo en tiempo de compilación, una característica no disponible en todos los lenguajes de programación.