Verificación de Conexiones Telefónicas con Esterel
J. Graña Gil
M. Vilares Ferro
R. Bernhard
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.
Este trabajo fue parcialmente subvencionado por el proyecto XUGA10501A93
de la Xunta de Galicia, y desarrollado en el
CMA,
Centre de
Mathématiques Apliqueés de l`Ecole Supérieure des
Mines de París, Sophia-Antipolis, Francia.
Jorge Graña Gil
/
grana@dc.fi.udc.es