Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams


A sequential memory component stores data in addressable locations. The component serves an input stream in a regular way iff all read commands retrieve data from locations with a previous assignment. We study the component's erroneous behaviour for input streams outside the service domain. We specify a fault sensitive memory component, a fault tolerant memory component, a robust memory component, and a fault correcting memory component in the setting of stream functions. We implement the different versions by state transition machines in a modular way. Beyond the case study, we express adequate notions for modeling the services of interactive components.

Original languageEnglish
Title of host publicationProceedings of the European Computing Conference
Editors Nikos Mastorakis, Valeri Mladenov, Vassiliki Kontargyri
Number of pages11
Volume27 LNEE
Place of PublicationBoston
PublisherSpringer Verlag
Publication date01.12.2009
ISBN (Print)978-0-387-84813-6
ISBN (Electronic)978-0-387-84814-3
Publication statusPublished - 01.12.2009
EventEuropean Computing Conference - Athens, Greece
Duration: 25.09.200727.09.2007
Conference number: 80318


Dive into the research topics of 'Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams'. Together they form a unique fingerprint.

Cite this