Verificación de conexiones telefónicas con esterel
View/ Open
Use this link to cite
http://hdl.handle.net/2183/157Collections
Metadata
Show full item recordTitle
Verificación de conexiones telefónicas con esterelDate
1995Citation
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.
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.
Keywords
Programación síncrona
Sistemas reactivos
Verificación de autómatas
Sistemas reactivos
Verificación de autómatas