POLIS:
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:

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.

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:

  • the version of POLIS and the CPU/OS type,
  • a brief description of the symptoms (incorrect behavior, core dump, etc), including if possible a terminal session log,
  • a complete minimal set of specification files (Esterel, SHIFT, ...) necessary to reproduce the bug (tar, compress and uuencode them, if possible).
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:

  • University of California, Berkeley, CA
  • Cadence Berkeley Labs of Cadence Design Systems Inc., Berkeley, CA
  • Magneti Marelli, Torino and Pavia, I
  • Politecnico di Torino, Torino, I
  • Hitachi Ltd., Tokyo, JP
  • Daimler Benz GMBH, Berlin, DE
  • Centro Studi e Laboratori di Telecomunicazioni, Torino, I
  • NEC C&C Research Labs, Princeton, NJ
Contact 
©2002-2018 U.C. Regents