Abstract
Reactive systems are computer systems that continuously react to their environment at a speed determined by this environment. This class of systems has been introduced [HP85, Ber89] in order to distinguish these systems, on the one hand, from transformational systems — i.e., classical systems, whose inputs are available at the beginning of the execution and which deliver their outputs when terminating — and, on the other hand, from interactive systems, which continuously interact with their environment, but at their own rate (e.g., operating systems). Most industrial “real-time” systems are reactive — control, supervision and signal-processing systems — but other examples concern communication protocols or man-machine interfaces.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Halbwachs, N. (1993). Introduction. In: Synchronous Programming of Reactive Systems. The Springer International Series in Engineering and Computer Science, vol 215. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2231-4_1
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2231-4_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5133-5
Online ISBN: 978-1-4757-2231-4
eBook Packages: Springer Book Archive