Home l B News l B Method l R&D Activities l Formal Proof l Publications l Conferences
B, the different languages
l Open Source Projects l B Tools l Documents l Tools Forum  l Links l Contact  


B Tools - Brama

 

How to Install Brama ?

Prerequisites

Brama requires the presence of the Rodin platform in version 0.7.3 or higher. The installation of Brama requires the use of Eclipse’s “UpdateSite” function.  Three plugins are required:

  • Brama: the animation plugin itself
  • B2Rodin: a re-use of the importation wizard
  • GEF: the graphic library

Instructions

The installation of Brama requires the use of Eclipse’s “UpdateSite” feature.   Proceed as follows:

  • In the menu Help/Software Updates menu, enable“Find and Install”;

  • Select “Search for a new feature to install”;
  • Click on the "New Remote Site"button;
  • In the dialog box that appears, enter:
  • Click on the "New Remote Site"button;
  • In the dialog box that appears, enter:
  • Click on the "New Remote Site"button;
  • In the dialog box that appears, enter:

The following configuration should appear:

  • Click on the "Finish" button to browsethe content of these update sites.

  • Select the most recent versions of Brama and b2rodin's "features" (functions)

  • Select Graphical Editing Framework.

  • Click on ′Finish′ twice. The downloading of the plugins will start immediately. Reboot the Eclipse platform to save these changes.

Online Help can assist you with setting up this tool. To access this help, select “Help” in the menu, then “Help Contents”.

The Help window appears. It is divided into two sections: the left section displays the help available and the right displays the relevant text once you have selected a chapter. Click on “Brama Help” to access help for Brama:

 

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 -
contact@clearsy.com - SITE MAP