WIT Press


Communication Protocols Verification With Esterel*

Price

Free (open access)

Paper DOI

10.2495/SEHE950321

Volume

12

Pages

11

Published

1995

Size

1,034 kb

Author(s)

J. Grana Gil, M. Vilares Ferro & R. Bernhard

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 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. 1 Introduction A telephonic connection is a simple and well-known communication protocol, but not easy to implement. Synchronis

Keywords