ORE(ID:7876/)

Real-time language

Gives watchable variables, program variables that are to be seen by the monitor

THese variable can have trigger processes attached to them
Related languages
TOMAL => ORE   Incorporated some features of
References:
  • Donner, M.; Jameson, D.J. "Language and Operating Systems Features for Real Time Programming" Computer Systems, 1992 view details
  • Singhal, Amit "Real Time Systems: A Survey" Computer Science Department University of Rochester December 4, 1996 view details External link: Online at Citeseer Abstract: What are real­time systems? Instead of trying to define them, we can think of real time systems as those that react to external stimuli in a timely and  reliable fashion. Real time systems are often used to solve real world problems.  Some examples of real time systems include air traffic control, automatic pilots,  unmanned robots etc.

    Current research in real time systems lags far behind that in other areas. This is due to a largely false notion of what real time systems are and what  they involve. I begin this survey by describing some of the characteristics of  real time systems. Then I will dispel some of the misconceptions and make an  argument for the importance of further research in the area. Next I will present  some formal methods for specifying and verifying real time systems.

    Most of the current real time systems have been written in conventional programming languages which are not very suitable for the task and do not  provide control over timing constraints. Most of the real time languages that  have been developed have found limited use (mostly in the labs where they  were designed) and have not been embraced widely by the real time developers  community. I will deal with this issue at length and present an overview of  what real time languages are and where the current research stands.

    Next I will present some design methodologies and techniques used in designing and developing real time systems. Some of these have good formal and mathematical backgrounds while others originate from rules of thumb.  One of the most active areas of research in real time systems has been  scheduling algorithms. I will present some models of scheduling algorithms and  compare them with respect to their adherence to real time principles. In the  last part of this survey, I will present some of the hardware and architectural  issues facing real time system developers and also provide some information on  how operating systems need to be geared to support real time tasks.  Finally, I will present some of the future directions for research in real time  systems and some of the challenges faced by the researchers today.
    Extract: ORE
    ORE is an attempt to further exploit concurrency in real time systems by allowing processes to request their own (and their siblings) preemption and re­sumption. Critical code can be marked as non-preemptive code. The language design borrows from the execution strips of TOMAL for performing schedulability analysis.