Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams

Walter Dosch

doi:10.1007/978-0-387-84814-3_65

Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams

Walter Dosch

Institute of Software Engineering and Programming Languages

Abstract

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 language	English
Title of host publication	Proceedings of the European Computing Conference
Editors	Nikos Mastorakis, Valeri Mladenov, Vassiliki Kontargyri
Number of pages	11
Volume	27 LNEE
Place of Publication	Boston
Publisher	Springer Verlag
Publication date	01.12.2009
Pages	651-661
ISBN (Print)	978-0-387-84813-6
ISBN (Electronic)	978-0-387-84814-3
DOIs	https://doi.org/10.1007/978-0-387-84814-3_65
Publication status	Published - 01.12.2009
Event	European Computing Conference - Athens, Greece Duration: 25.09.2007 → 27.09.2007 Conference number: 80318

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-0-387-84814-3_65

Cite this

@inproceedings{b55eb47d28c248059df476b8715cabac,

title = "Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams",

abstract = "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.",

author = "Walter Dosch",

year = "2009",

month = dec,

day = "1",

doi = "10.1007/978-0-387-84814-3_65",

language = "English",

isbn = "978-0-387-84813-6",

volume = "27 LNEE",

series = "Lecture Notes in Electrical Engineering",

publisher = "Springer Verlag",

pages = "651--661",

editor = "Mastorakis, { Nikos} and Valeri Mladenov and Kontargyri, { Vassiliki }",

booktitle = "Proceedings of the European Computing Conference",

note = "European Computing Conference ; Conference date: 25-09-2007 Through 27-09-2007",

}

Dosch, W 2009, Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams. in N Mastorakis, V Mladenov & V Kontargyri (eds), Proceedings of the European Computing Conference. vol. 27 LNEE, Lecture Notes in Electrical Engineering, vol. 27 LNEE, Springer Verlag, Boston, pp. 651-661, European Computing Conference , Athens, Greece, 25.09.07. https://doi.org/10.1007/978-0-387-84814-3_65

Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams. / Dosch, Walter.
Proceedings of the European Computing Conference. ed. / Nikos Mastorakis; Valeri Mladenov; Vassiliki Kontargyri. Vol. 27 LNEE Boston: Springer Verlag, 2009. p. 651-661 (Lecture Notes in Electrical Engineering; Vol. 27 LNEE).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams

AU - Dosch, Walter

N1 - Conference code: 80318

PY - 2009/12/1

Y1 - 2009/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-78651593944&origin=inward&txGid=08db99636f059ed8edd944ced7538446

U2 - 10.1007/978-0-387-84814-3_65

DO - 10.1007/978-0-387-84814-3_65

M3 - Conference contribution

SN - 978-0-387-84813-6

VL - 27 LNEE

T3 - Lecture Notes in Electrical Engineering

SP - 651

EP - 661

BT - Proceedings of the European Computing Conference

A2 - Mastorakis, Nikos

A2 - Mladenov, Valeri

A2 - Kontargyri, Vassiliki

PB - Springer Verlag

CY - Boston

T2 - European Computing Conference

Y2 - 25 September 2007 through 27 September 2007

ER -

Modeling the Erroneous Behaviour of a Sequential Memory Component with Streams

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this