CHARON |
Department of Computer and Information Science University of Pennsylvania |
Overview | People | Examples | Grammar | Implementation | Publications | Links |
Modular Specification of Hybrid Systems |
Implementation |
The CHARON toolkit Version 1.0Downloading and installation instructionsThe CHARON toolkit is distributed in two parts, which can be downloaded and used separately. The toolkit requires Java version 1.3 or 1.4.
|
WARNING!!! Netscape 3.* and 4.* on some versions of Windows will corrupt jar files. |
WARNING!!! Depending on your settings of environment variables, you may experience an error when generating simulator on some Windows platforms. The error results in the error message "CreateProcess error=2". If this happens, make sure that "javac.exe" can be found via your system-wide class path. You can also compile the simulator manually by running |
Documentation. A draft manual for the toolkit is here. There is also a separate document on the visual editor. |
Example. To get you started, get a CHARON model of a leaky tank. It is an archived project which you can unpack and run. You can also get a somewhat incomplete visual version of the same model. More downloadable projects can be found in the examples section. |
If you have questions. Please contact the friendly folks at the CHARON help desk. |
Maintained by Valentina Sokolskaya |