Making real-time reactive systems reliable

Abstract

A reactive system The control program monitors the environment and reacts to significant events by sending commands to the environment. This structure is quite general. Not only are most embedded real-time systems reactive systems, but so are monitoring and debugging systems and distributed application management systems.