Verificación de conexiones telefónicas con esterel
| UDC.coleccion | Investigación | es_ES |
| UDC.departamento | Ciencias da Computación e Tecnoloxías da Información | es_ES |
| dc.contributor.author | Graña Gil, Jorge | |
| dc.contributor.author | Vilares Ferro, Manuel | |
| dc.contributor.author | Bernhard, R. | |
| dc.date.accessioned | 2005-11-21T13:23:02Z | |
| dc.date.available | 2005-11-21T13:23:02Z | |
| dc.date.issued | 1995 | |
| dc.description.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. | es_ES |
| dc.description.sponsorship | Xunta de Galicia; XUGA10501A93 | es_ES |
| dc.format.mimetype | application/postscript | |
| dc.format.mimetype | text/plain | |
| dc.identifier.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. | es_ES |
| dc.identifier.uri | http://hdl.handle.net/2183/157 | |
| dc.language.iso | spa | es_ES |
| dc.rights.accessRights | open access | es_ES |
| dc.subject | Programación síncrona | es_ES |
| dc.subject | Sistemas reactivos | es_ES |
| dc.subject | Verificación de autómatas | es_ES |
| dc.title | Verificación de conexiones telefónicas con esterel | es_ES |
| dc.type | journal article | es_ES |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 42896d75-4435-4f99-82e4-48a60a48d799 | |
| relation.isAuthorOfPublication | 3d821e9c-de0b-47cc-a4e0-7c531569602e | |
| relation.isAuthorOfPublication.latestForDiscovery | 42896d75-4435-4f99-82e4-48a60a48d799 |
Files
Original bundle
1 - 1 of 1