Reaktives System (Informatik)
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 24. März 2018 um 14:01 Uhr durch imported>Karlito(103860).
Ein reaktives System befindet sich in ständiger Interaktion mit der Umgebung, wobei die Umgebung dominiert und das System sich dieser unterordnet. Eingaben (z. B. durch Sensoren) werden vom System nach ihrer Verarbeitung sofort wieder an die Umgebung rückgeführt, indem bspw. ein Motor angetrieben wird. Die Verarbeitung der Eingaben muss innerhalb definierter Zeitgrenzen geschehen.
Die wichtigsten Merkmale eines reaktiven Systems sind:
- Nebenläufigkeit
- Korrektheit (es werden nur korrekte Ausgaben, die die Umgebung verarbeiten kann, geliefert)
- Sicherheit
- ein genaues Zeitverhalten
- Nicht-Terminierend
- Widerstandsfähigkeit (Resilienz) gegen Fehler
- Elastizität (Das System kann sich geänderter Last anpassen und bleibt antwortfähig)
Anwendung finden reaktive Systeme u. a. in eingebetteten Systemen, Echtzeitsystemen, Kommunikationsprotokollen und Benutzerschnittstellen.
Weitere Literatur
- Nicolas Halbwachs: Synchronous programming of reactive systems. Kluwer Academic Publishers Vieweg 1993, ISBN 0792393112
- Gérard Berry: The Foundations of Esterel. In: Proof, Language and Interaction: Essays in Honour of Robin Milner. 1998.
- https://www.reactivemanifesto.org/de
