TAM (The Temporal Agent Model) is a refinement calculus created by David Scholefield for real-time system development. It enables the programmer to write high-level functional and timing specifications in an extended predicate logic, and then to use stepwise refinement to gradually transform the specification into an executable real-time program.
TAM is designed to work in conjunction with the Distributed Real-Time Execution Environment DrTEE, which is currently under development within the real-time group at the University of York.
For further information, the following papers (in postscript format) are downloadable via ftp (just click on the name):
In addition, there is a TAM Thesis