Timing specification and rule-based systems

The solution for the non-determinism of real-time expert systems is found in the state-based approach. Timing verification can be performed off-line before the expert system is taken in use. This approach has been verified on a digital (fly-by-wire) flight control system of a jet aircraft.