Implementing a tool for timing analysis of real-time production systems

The Estella general analysis tool (E-GAT) is a computer-aided software engineering tool for performing response time analysis of real-time production systems written in the EQL rule-based language. E-GAT detects potential timing errors statically, making it a powerful aid for the rapid prototyping and development of expert systems with guaranteed response time. It is based on a powerful analysis methodology which exploits the identification of rule sets satisfying certain general behavior constraint assertions. A description is presented of the implementation of E-GAT with efficient algorithms