wiki:RAMSESInstallationOsate
close Warning: Can't synchronize with repository "(default)" (Couldn't open Subversion repository /var/repositories/svn/aadl: SubversionException: ("Failed to load module for FS type 'fsfs'", 160033)). Look in the Trac log for more information.

Installation

First, download OSATE here. Unzip the archive and launch the OSATE environment.

Then, you can install RAMSES from our update-site:

Select all the projects, as illustrated on this figure:

Install the runtime for the code generation

Instructions to install pol are available here: http://pok.tuxfamily.org/installation

Import one of our examples

The RAMSES archive also contains examples you can use to get familiar with RAMSES. To import such a model, follow these instructions:

  • in the AADL navigator, right click and select New... -> Example... (or in the File menu select New... -> Example...)
  • select RAMSES examples, like on the following picture:

  • name the project you are creating and select examples you want to import in your workspace. Next picture gives an example:

  • click on Next and select Plugin_Resources as a referenced project:

Generate code

There exist two way to execute RAMSES on an AADL model:

1 - open an AADL model. In the outline view, right-click on the system implementation you want to generate code for and click on Launch RAMSES.

2 - open an AADL model. In the outline view, right-click on the system implementation you want to generate code for and click on "Instantiate System". Then select the instance file and click on the RAMSES icon.

A configuration page pops up:

Select the POK target, configure the path to your POK install directory. The POK install directory should contain a "misc/mk/config.mk" file, produced at installation of POK. You can now execute the code generation.

If you need to change the configuration, open the RAMSES property page:

Compile and execute the generated code

After code generation, the generated code is compiled. If you need to re-compile it, open a terminal, go to the generated-code directory, and execute:

$ make

To execute the generated code, go to the generated-code directory and execute:

$ make run
Last modified 2 years ago Last modified on 09/24/15 18:16:53

Attachments (8)

Download all attachments as: .zip