The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange.

s and compressed postscript files are available from http://svrc.it.uq.edu.au Using Deadline Commands to Reason about Non-Terminating Loops Ian Hayes Abstract It is common for a real-time process to consist of a nonterminating loop monitoring an input and controlling an output. Hence a real

We have recently extended the sequential refinement calculus to handle real-time programs. A novel deadline command allows execution time limits to be expressed in a high-level language. The calculus allows refinement steps that separate timing constraints from non-timing requirements. Rules

Traditional real-time scheduling algorithms typically assume that deadlines of tasks do not change with time. Task deadlines in many real-time command, control and communication applications change over time. Deadlines of some tasks in these applications depend on the states of the objects

these explorers with a form of computational intelligence that we call remote agents. In this paper we describe the Remote Agent, a specific autonomous agent architecture based on the principles of model-based programming, on-board deduction and search, and goal-directed closed-loop commanding, that takes a

(usually in hazardous environments such as undersea explo-ration or chemical plants), and various command and control applications. The Spring kernel is a research oriented kernel designed to form the basis of a flexible, hard real-time operating system for such applications. Our approach challenges

). 3 Predicting the top n commands allows a number of commands to follow a single command without a great penalty. Solution Predicting a user's next command line is a moving target: user goals can change, external events (mail arriving, deadlines approaching) occur, what happened in the past

• CONTRACT TYPES – various

I will start with my vision impairment. Some of this was spoken of in earlier letters but I will repeat those portions so you may appreciate the circumstances under which I operate. VISION IMPAIRMENT IN MY RIGHT EYE I had a deadline to file an answer to the U. S. Patent Office on my Wave And Tide

Abstract The deadline command is a simple, yet highly flexible, language primitive for real-time programming. Formally, it has a straightforward definition as a constraint on the current time. In practice, it acts as a compiler directive, which can be checked statically, to ensure that the program