|
About Tempo
Tempo is a simple formal language for modeling dis- tributed systems with (or without) timing constraints as collections of interacting state machines, called timed input/output automata(TIOA).
Learning Tempo
The TIOA monograph contains a complete description of the theory of Timed I/O Automata, the mathematical framework underlying the Tempo language and tools. The Tempo User Guide, provided with the Tempo Toolset, describes how the theory of Timed I/O Automata is formalized into the Tempo modeling language.
Current Version - 0.2.3 (2009) Beta
The links below correspond to version 0.2.3 (2009) of the toolkit. It now includes the Eclipse user interface as well as the command line interface. Note that you do not have to download both. If you wish to only use the UI, grab the Eclipse archive. Questions, comments, and the latest news regarding the tempo toolset can be found at the tempo news group.
Downloading Tempo Toolset 0.2.3 (2009) Beta
Eclipse-based User Interface
 | tempoGUI_OSXx86.zip | OSX-Intel | MD5=bf3bb57aceb618bea0d9e2172eb541c6 |
| tempoGUI_LinuxX86.zip | Linux | MD5=2be7c203721374faa1c3ca7d7d994330 |
Getting started documentation
| Readme first | README.pdf |
| Install notes | INSTALL.pdf |
| Release notes | ReleaseNotes.pdf |