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