Intelligent control for safety-critical applications

In this paper, we present a method for dealing with faulty control in real-time applications. We consider a system (this can be a simple centralized control or an application site on a local area network) as a finite state machine (FSM). The behavior of this FSM is expressed by way of hierarchical reactive synchronous boxes (HRSB). HRSB provides a framework for expressing safe critical control. Specific types of faults are identified on those systems with different levels of seriousness. A deterministic diagnosis is done that identifies the faulty components and triggers the associated recover procedures. HRSB´s are executable specifications compiled into an object code (C++). The object formalism has been chosen in order to provide for software reusability and rapid prototyping of control applications