Verificación de conexiones telefónicas con esterel
Ver/Abrir
Use este enlace para citar
http://hdl.handle.net/2183/157Colecciones
Metadatos
Mostrar el registro completo del ítemTítulo
Verificación de conexiones telefónicas con esterelFecha
1995Cita bibliográfica
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.
Resumen
[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.
Palabras clave
Programación síncrona
Sistemas reactivos
Verificación de autómatas
Sistemas reactivos
Verificación de autómatas