Reaktives System (Informatik)

aus Wikipedia, der freien Enzyklopädie

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