Use this link to cite:
http://hdl.handle.net/2183/164 Communication protocols verification with Esterel
Loading...
Identifiers
Publication date
Authors
Advisors
Other responsabilities
Journal Title
Bibliographic citation
Proceedings of the Second International Conference on Software Engineering in Higher Education (SEHE-1995), Alicante (Spain). pp. 255-265.
Type of academic work
Academic degree
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.