A design framework for real-time reactive applications

This paper deals with the design of reliable control systems using a modular and systematic approach. The authors introduce the hierarchical reactive synchronous boxes model (HRSB) as executable specifications for reliable control. This framework allows the user to focus on the expression of the control, the fault diagnosis, fault recovery of a given system using a formal language (synchronous language). The coordination between modules is given by the behavioral semantics of the model. This model inherits its semantics from those formal semantics of synchronous languages.