Reaktives System (Informatik)
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
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.