Working with SAVE-IDE-A User Guide (short version)

In this documentation you will find installation guides and how to start your first project and building your first system model. The complete SAVE-IDE User Manual can be found at SAVE-IDE home page.

Installation Guide

NOTE: This software is still in pre-alpha state, and therefore this installation guide will be subject of major changes. This installation guide will give you a SAVE-IDE in Eclipse for both users and developers. In the future the user and developer installation guide will be separated and put into the user and developer manual respectively.

There are two ways to install the Eclipse (TM) framework and needed plugins. Either install a distribution that have pre-installed plugins that is needed for the SAVE-IDE, e.g., Acceleo Distribution. Or install a 'clean' Eclipse framework and add the plug-ins required. The former may lead to more installed features than neccesary.

Install SAVE-IDE for Eclipse

Update Existing Features

Note: By selecting the 'Automatically select mirrors' option the update chose the nearest update server, not necessarily the fastest. If you have selected the 'Automatically select mirrors' option previously it can be turned off in the 'Preferences' dialog. Chose the menu 'Window->preferences' and the option 'Install/Update' unselect the 'Automatically select mirrors' option.

Install New Features

You may chose to install other features from different update sites, for example, C/C++ Development Tools (CDT) from ''.

Note: By selecting the 'Automatically select mirrors' option the update chose the nearest update server, not necessarily the fastest.

What features and plug-ins that are installed can be verified in the 'Help' menu. Chose 'About Eclipse SDK' and a dialog appears. Examine features and plug-in details by clicking the buttons 'Feature Details' and 'Plug-in Details'.


To be effective in your work you can customize the SAVE-IDE in Eclipse. You do this by creating your own perspective suited for your personally needs. One way to customize the perspective is to use the 'Customize Perspective' and 'Save Perspective As' commands in the 'Window' menu. For more details consult the 'Help' in Eclipse

Follow this short example for your first customization of your work area in Eclipse. The example will remove


As with perspectives different toolbars and menubars can be customized.

Build Your First SAVE-IDE Component-Based Model

  1. Create a new project
  2. Import an existing project
  3. To see the architectural view of the system
  4. To see a timed behavior
  5. To map and generate code for a timed behavior In this step the internal variables of a timed behavior is mapped with ports of a component and the code is generated.
  6. To generate code for the model
  7. To generate code for, and use UPPAAL PORT

Eclipse(TM) is a trademark of Eclipse Foundation INC. Logo