Internet Parallel Computing Archive

Parallel : Occam : Utilities : Odt

occam Design Tool
The occam Design Tool (ODT) is an interactive graphical environment for the specification and partial implementation of concurrent systems and enables structured design of parallel systems through hierarchies of communicating process networks.

ODT has knowledge of various paradigms for process synchronisation -- whose correct application secures guarantees of freedom from deadlock, livelock and starvation -- and enforces that correct application by the designer.

The tool also generates program skeletons that handle the parallel and communication aspects of the system implementation. The target programming language has to be one whose formal semantics respect the mathematical model (CSP) under which the design rules were able to be proven -- currently, this is occam. By targeting occam, we derive the further benefit of eliminating unguarded race hazards.

Author: Dave Beckett (D.J.Beckett@ukc.ac.uk)

ODT 1.02 with DEC Alpha OSF binaries of wish4.1
Last modified 08:46:55, 7 Oct 1996 - 601.1787109375K - gzipped tar
Author: Dave Beckett (D.J.Beckett@ukc.ac.uk)
ODT 1.02 with Sun Sparc SunOS 4.1.3U1 binaries of wish4.1
Last modified 08:46:55, 7 Oct 1996 - 591.1259765625K - gzipped tar
Author: Dave Beckett (D.J.Beckett@ukc.ac.uk)
ODT 1.02 (source only)
Last modified 08:50:34, 7 Oct 1996 - 177.5595703125K - gzipped tar
Requires Tcl/Tk 7.5/4.1 (or better)
Author: Dave Beckett (D.J.Beckett@ukc.ac.uk)