CARTS: Compositional Analysis of Real-Time Systems
    Home * Download * Documentation * Resources * References * Contact

Getting Started with CARTS

  1. Download and install Java (version 1.6 and above)
  2. Download CARTS to your computer and unzip it.

 

Running CARTS Binary

Double-click on the "carts.jar" file to invoke the application. Alternatively,

  1. Open a command prompt (Windows) or a shell (Mac OS / Linux).
  2. At the prompt/shell, type in:  java -jar Carts.jar

 

Compiling CARTS Source Code

To compile the source, follow the steps below:

  1. Open a command prompt (Windows) or a shell (Mac OS / Linux).
  2. At the prompt/shell, go to the source code directory:   cd carts-source
  3. Compile the source using ant:   ant compile
  4. To run the executable file, type in:  java -cp build Carts

 

Tool Documentation

 

 

© 2009 Real-Time Systems Group, Department of Computer and Information Sciences, University of Pennsylvania, USA. All Rights Reserved. Disclaimer