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

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Titel	Proceedings of the European Computing Conference
Redakteure/-innen	Nikos Mastorakis, Valeri Mladenov, Vassiliki Kontargyri
Seitenumfang	11
Band	27 LNEE
Erscheinungsort	Boston
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	01.12.2009
Seiten	651-661
ISBN (Print)	978-0-387-84813-6
ISBN (elektronisch)	978-0-387-84814-3
DOIs	https://doi.org/10.1007/978-0-387-84814-3_65
Publikationsstatus	Veröffentlicht - 01.12.2009
Veranstaltung	European Computing Conference - Athens, Griechenland Dauer: 25.09.2007 → 27.09.2007 Konferenznummer: 80318

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

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

Weitere Links

https://www.scopus.com/pages/publications/78651593944

Zitieren

@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 (Hrsg.), Proceedings of the European Computing Conference. Bd. 27 LNEE, Lecture Notes in Electrical Engineering, Bd. 27 LNEE, Springer Verlag, Boston, S. 651-661, European Computing Conference , Athens, Griechenland, 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. Hrsg. / Nikos Mastorakis; Valeri Mladenov; Vassiliki Kontargyri. Band 27 LNEE Boston: Springer Verlag, 2009. S. 651-661 (Lecture Notes in Electrical Engineering; Band 27 LNEE).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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/pages/publications/78651593944

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

Dokumente

Weitere Links

Fingerprint

Zitieren