Before reading any tutorial or demonstration it is recommended to read one of our papers
to get familiar with the concepts used.
- Getting Started with PacoWire.
- Tracing Aspect.
- Dynamically checking timing constraints.
Installation guide:
- Unzip the files to a directory, for example PacoSuite.
- Go the directory where you installed PacoSuite and run java Setup
- Specify the directory where you installed PacoSuite in the Setup program and it will setup PacoSuite.
- To start PacoSuite run: java -classpath .;./components/components.jar;./components/juggler.jar Launcher
- If there is something that does not work, like for example no icons for the components go to edit->set
options and specify the directories manually.
!! Make sure that the bin directory of the JDK is in your path so that java and javac can be executed directly !!
Other sources of info: