7. OSATE2-Ocarina plug-in¶
The OSATE2-Ocarina plugin brings all Ocarina’s features to OSATE2: code generation, generation of Petri nets, mapping of AADL models to scheduling analysis tools, and constraint analysis using REAL.
An eclipse update site is available at: https://raw.github.com/yoogx/osate2-ocarina/master/org.osate.ocarina.update/
To install the plug-in, select “Install New Software”, add the install site and then select the OSATE-OCARINA plug-in in the droplist.
The plugin can be configured from the OSATE2 Preferences panel. The plug-in preferences are located under OSATE Preferences/Ocarina.
Right-click a system implementation in the Outline, then select Ocarina, and then the command to execute.
The output of the command (generated source code, etc.) is stored in the ocarina_out folder in your project.