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

Author

Chen, Horng-Yuan ; Tsai, Jeffrey J P ; Bi, Yaodong

Author_Institution

AT&T Bell Lab., Middletown, NJ, USA

fYear

1991

fDate

10-13 Nov 1991

Firstpage

210

Lastpage

219

Abstract

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

Keywords

PROLOG; formal specification; program debugging; program testing; real-time systems; temporal logic; Prolog programming language; behaviour specification; debugging; event-based conceptual model; event-based real-time logic; execution traces; real-time systems; software systems; temporal logic; testing; timing properties; Bismuth; Data structures; Debugging; Logic programming; Logic testing; Real time systems; Software systems; Software testing; System testing; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on

Conference_Location

San Jose, CA

Print_ISBN

0-8186-2300-4

Type

conf

DOI

10.1109/TAI.1991.167097

Filename

167097