Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams

Walter Dosch

Abstract

The paper presents the top-down design of a synchronization component refining the communicationoriented input/output behaviour into a state-based implementation. The component constrains the flow of messages on two parallel communication channels to stay within a specified tolerance. The formal derivation uses transformations which are of general importance for the design of interactive components. The differentiation of the stream function localizes the effect of a single input with respect to previous input histories. The history abstraction extracts the component's state from the input histories. The design safely bridges different views of the synchronization component ranging from the stream based specification to the state based implementation.

Original languageEnglish
Title of host publication 2007 IEEE/ACS International Conference on Computer Systems and Applications
Number of pages8
PublisherIEEE
Publication date26.11.2007
Pages909-916
Article number4231068
ISBN (Print)1-4244-1030-4, 1-4244-1031-2
DOIs
Publication statusPublished - 26.11.2007
Event2007 IEEE/ACS International Conference on Computer Systems and Applications - Amman, Jordan
Duration: 13.05.200716.05.2007
Conference number: 70247

Fingerprint

Dive into the research topics of 'Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams'. Together they form a unique fingerprint.

Cite this