Transformational design of a fault tolerant sequential memory component

Walter Dosch

Abstract

A sequential memory component stores and retrieves data in addressable locations. A fault tolerant implementation suspends read commands to locations without a prior assignment until data becomes available at the requested location. The paper studies the systematic top-down design of a fault tolerant sequential memory component in the setting of stream functions and state transition machines. We formally refine the communication-oriented input/output behaviour into a state-based implementation. The transformation employs a history abstraction function which extracts the component's internal state from the input history. Beyond the particular case study, we explicate generally applicable formal methods for the functional specification and systematic design of interactive components in distributed systems with asynchronous communication.

Original languageEnglish
Title of host publication23rd International Conference on Computers and Their Applications, CATA 2008
Number of pages8
PublisherInternational Speech and Communication Association (ISCA)
Publication date01.12.2008
Pages181-188
ISBN (Print)978-160423235-6
Publication statusPublished - 01.12.2008
Event23rd International Conference on Computers and Their Applications
- Cancun, Mexico
Duration: 09.04.200811.04.2008
Conference number: 98931

Fingerprint

Dive into the research topics of 'Transformational design of a fault tolerant sequential memory component'. Together they form a unique fingerprint.

Cite this