Conference paper
Verifying properties of systems with variable timing constraints
Farnam Jahanian
RTSS 1989
Recent progress in the implementation of the ORE real-time programming language is reported. A summary of the important features of the language is included. Progress in designing a runtime system for the language is reported. The design issues are discussed. A model of ORE processes is described. The set of operations defined on events, strips, and processes is described. Examples of the implementation of specific ORE features using this mechanism are illustrated.
Farnam Jahanian
RTSS 1989
A.K. Chandra, V.S. Iyengar, et al.
IEEE Transactions on VLSI Systems
Marc D. Donner, David H. Jameson
RTSS 1983
Jehuda Ish-Shalom, Peter Kazanzides
RTSS 1989