Reactive system (computer science)
A reactive system is in constant interaction with the environment, with the environment dominating and the system subordinate to it. Inputs (e.g. from sensors ) are immediately returned to the environment by the system after they have been processed, e.g. by driving a motor. The input must be processed within defined time limits.
The most important characteristics of a reactive system are:
- Concurrency
- Correctness (only correct outputs that the environment can process are provided)
- safety
- precise timing
- Non- terminating
- Resilience to errors
- Elasticity (the system can adapt to changed loads and remains responsive)
Reactive systems and the like are used. a. in embedded systems , real-time systems , communication protocols and user interfaces .
Further literature
- 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 Honor of Robin Milner . 1998.
- https://www.reactivemanifesto.org/de