Tip: save a pointer to this page into your bookmarks, so that you don't have to submit the form again to get updated versions.
Each installation kit contains the source or binary files for POLIS.
You will also need to download ESTEREL, the currently supported front-end of POLIS.
Other tools that you may want to also download are Ptolemy Classic, for co-simulation (strongly recommended; you will need the full distribution, since ptrim unfortunately is not sufficient, and Polis will not work with Ptolemy II), and VIS, for formal verification.
If you are in Europe, and you are using the U.S. WWW server, you may want to check our European mirror FTP site . If you are in the U.S., and you are using the European WWW server, you may want to check our U.S. mirror FTP site .
Currently, you can download POLIS for the following platforms:
Some useful documentation can be found in:
Problems, questions, bug reports, comments and so on should be sent to
polis-bugs@ic.eecs.berkeley.edu.
When reporting a problem or bug, please include:
There is also a mailing list for discussions among the users of polis. At this
point there are more than 1000 names on the list. The list is moderated by
POLIS group. If the question or comment is relevant to the general POLIS users,
your e-mail will be forwarded to the list.
polis-users@ic.eecs.berkeley.edu.
The following organizations have contributed to the development of the
software included in this distribution:
Architecture
SPARC Solaris 2 (SunOS 5)
DEC ALPHA
PC Linux
Windows NT (untested and without simulation support)
Alternatively, you can download the (smaller)
source code and compile it on your own.
tared-n-zipped
source code distribution
The compilation process should be relatively straightforward on any
BSD-compatible system (either with the native compiler, pre-ANSI or ANSI,
or with gcc). System
dependencies are concentrated in a few areas, thus making the porting task to a
new OS or CPU easier. Please, contact us in case you have any
problem.
We will do our best to fix the bugs as soon as possible, but we cannot
guarantee anything.