a framework for hardware/software co-design of embedded systems

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:

SPARC Solaris 2 (SunOS 5)
PC Linux
Windows NT (untested and without simulation support)

Alternatively, you can download the (smaller) source code and compile it on your own.

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.

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:

We will do our best to fix the bugs as soon as possible, but we cannot guarantee anything.

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: