An event-based real-time logic to specify the behavior and timing properties of real-time systems

A modification is presented of temporal logic-event-based real-time logic (ERL), based on an event-based conceptual model. The ERL provides a high-level framework for specifying timing properties of real-time software systems. The ERL is used to specify both expected behavior (specification) and actual behavior (execution traces) of the target systems; it is also used to verify that the program achieves the specification. A method is also described to implement the ERL using the Prolog programming language for testing and debugging real-time software systems