Communication protocols verification with Esterel

Simple item page
UDC.coleccionInvestigaciónes_ES
UDC.departamentoCiencias da Computación e Tecnoloxías da Informaciónes_ES
dc.contributor.authorGraña Gil, Jorge
dc.contributor.authorVilares Ferro, Manuel
dc.contributor.authorBernhard, R.
dc.date.accessioned2005-11-21T13:22:59Z
dc.date.available2005-11-21T13:22:59Z
dc.date.issued1995
dc.description.abstract[Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description and of flexibility in the verification process. We also show the control synchronization mechanisms to coordinate concurrent processes. The goal is to prevent in compile-time deadlock and lockout phenomena, a feature that is not available in most programming languages.es_ES
dc.description.sponsorshipXunta de Galcia; XUGA10501A9es_ES
dc.description.sponsorshipXunta de Galcia; XUGA10501B93
dc.description.sponsorshipXunta de Galcia; XUGA10502B94
dc.format.mimetypeapplication/postscript
dc.format.mimetypetext/plain
dc.identifier.citationProceedings of the Second International Conference on Software Engineering in Higher Education (SEHE-1995), Alicante (Spain). pp. 255-265.es_ES
dc.identifier.isbn1-56252-309-0
dc.identifier.isbn1-85312-385-4
dc.identifier.urihttp://hdl.handle.net/2183/164
dc.language.isoenges_ES
dc.publisherComputational Mechanics Publicationses_ES
dc.rights.accessRightsopen accesses_ES
dc.subjectSynchronous programminges_ES
dc.subjectReactive systemses_ES
dc.subjectAutomata verificationes_ES
dc.titleCommunication protocols verification with Estereles_ES
dc.typejournal articlees_ES
dspace.entity.typePublication
relation.isAuthorOfPublication42896d75-4435-4f99-82e4-48a60a48d799
relation.isAuthorOfPublication3d821e9c-de0b-47cc-a4e0-7c531569602e
relation.isAuthorOfPublication.latestForDiscovery42896d75-4435-4f99-82e4-48a60a48d799

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
GranaSEHE1995.ps
Size:
1.19 MB
Format:
Postscript Files
Download

Collections

Investigación (FIC)