The console containing the output from running Ocarina should be displayed automatically after execution. An option to enable/disable this functionality may be preferred.

When trying to instantiate a model that contains a bus access feature that does not reference a type, for example:

 ba1: requires bus access;

Ocarina report "cannot be properly instantiated". Is this intended behavior? I would like to be able to check REAL Constraints, etc on such models. Currently I have a model that had those features but even though they are not referenced anywhere(there are no connections that use them), I can not instantiate the model with Ocarina.

This statement not entirely true for Osate >= 2.7:

Since the release of OSATE 2.0.9, this plugin is now part of the distribution, there is no specific action required to install it.

Should be updated based on Osate release notes:

The Ocarina Connector plugin is now a separate component that can be installed via Help -> Install Additional OSATE Components.

The machinery to compute the output directory is wrong

The Cheddar_Properties property set is now provided directly by the cheddar plug-in

Hi @yoogx ,

I am using the OSATE (version osate2-2.3.6-vfinal-linux.gtk.x86_64)
and Ocarina (version ocarina-2017.1-suite-linux-x86_64-20170204), I used the version "suite" because i have tried many times to install following the link https://ocarina.readthedocs.io/en/latest/installation.html, but I still haven't succeeded.

Then I modified a path under OSATE Preferences/Ocarina like /home/anhph/ocarina-2017.1-suite-linux-x86_64-20170204/bin (I'm not sure if that is correct with the version suite of ocarina).
After that, I have used the example "adiru" following the path ocarina-2017.1-suite-linux-x86_64-20170204/examples to generate code. I have always this error :
An internal error occurred during: "Running Ocarina".Unable to get IResource for Resource: org.osate.xtext.aadl2.resource.NoCacheDerivedStateAwareResource@2ae9c6e uri='platform:/plugin/org.osate.aadl2.errormodel.contrib/resources/properties/EMV2.aadl'

Could you give me some advice to fix it, please?
Many thanks,

As discussed with @Etienne13, this plug-in should not distribute pok_properties.aadl

Hi,
Sorry to bother you ! I met an error when using OSATE2-Ocarina plugin commands for code generating in AADLib/exsample/adiru exsample.

Here is my enviroment:
OS: win10 64bit
OSATE2 : OSATE2 2.7.1.vfina,
Ocarina: build and install using ocarina-build in MSYS2 following https://ocarina.readthedocs.io/en/latest/installation.html , and everything is OK and /bin folder is configured to osate2-ocarina plugin.
AADLib project : is also dowloaded form https://github.com/OpenAADL/AADLib

When I choos one system implement in adiru project and then execute ocarina->Generate Statics or any other commands, one error occured. Bellow are the ouput:

C:\msys64\home\wenli\ocarina_build_master\ocarina_repos_install\bin\ocarina.exe -aadlv2 -f -disable-annexes=emv2 -g pok_c -r ADIRU.DeOS -o C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\partitions.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\adiru_errlibrary.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\threads.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\adiru_memory.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\subprograms.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\adiru_processor.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\adiru_devices.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\shm_datatype.aadl C:\wenlin\Tool\Osate2\AADLib_master\examples\adiru\model.aadl
partitions.aadl:4:08: ARINC653 (identifier) is not a package or a property set visible or existing
threads.aadl:6:08: ARINC653 (identifier) is not a package or a property set visible or existing
adiru_memory.aadl:6:09: ARINC653 (identifier) is not a package or a property set visible or existing
adiru_processor.aadl:7:08: ARINC653 (identifier) is not a package or a property set visible or existing
Cannot analyze AADL specifications

Do i miss any configuration for these package and how can i do that?

Thanks a lot for your support .

Ocarina has two mode of operations

1. either you pass all models as a set of files, e.g. ocarina -aadv2 -g polyorb_hi_c *.aadl

2. or you use -y flag to automatically load files based on
   a) inclusion of packages,
   b) a name mapping rule, package Foo::Bar is in file foo-bar.aadl
   c) the -I flag for adding look up directory

We may implement one or the other, but because of the way OSATE2 manage files, only 1) makes sense.
Phil, I think you had code for fetching all AADL files in a workspace. Can you commit it? or sending me the code so that I integrate it? I'd need this feature for a project here.

Hi all,
I'm new but very interested on ocate2-ocarina project ,I met some issue when trying to install osate2-ocarina plug-in in Osate2-2.7.0-vfinal-win32.win32.x86_64 in my win10 PC.
I installed the plugin from "Install additional OSATE components ", a warning happened during the installation. Bellow is the warning info: "You are installing software that contains unsigned content. The authenticity or validaity of this software cannot be established . Do you want to continue with the installation?" I then chose "install anyway" to finished the installation.
But I cannot fine any ocarina bin directory when trying to configure ocarina in eclipse preference.
So do I install ocarina successfully?
and Do i need to install ocarina before installing osate2-ocarina plugin ?

Thanks for you help in advance.

Path preferences should be stored at configuration scope to prevent needing to reconfigure the plugin for each new workspace.

EMV2 front-end is buggy, it should be disabled/enabled through configuration

Reviewing your alls work I noticed several updates to the development branch had been made. So I downloaded, compiled, built and installed your core and plugins recent development branch into a clean Juno with SR1 (including Zest and XText v2.3.1) with no errors reported. However, when I restarted Eclipse its menu had the following menu items
%menu.osate.label %menu.analysis.lable (this is the actual text on the menu bar). What happen or what have I done wrong?

Thanks,

In the below example, theorem "test", and "sub1" both report true even though a required theorem of sub2, sub1 fails.

bug.aadl
package BugTest
public
system A
end A;

system implementation A.impl
annex real_specification {**
    theorem test
    foreach s in system_set do
        requires (sub1);
        check (1 = 1);
    end test;

**};
end A.impl;

end BugTest;

bug.real

theorem sub1
foreach s in System_Set do
requires(sub2);
check (1 = 1);
end sub1;

theorem sub2
foreach s in System_Set do
check (1 = 0);
end sub2;

Using:

• Osate 2.3.1
• Ocarina 2017.1 (https://github.com/OpenAADL/ocarina/releases/tag/v2017.1)

In a fresh AADL project, include and open the attached AADL model file (renamed as txt): this-crashes-ocarina-plugin.txt

In the Outline view, right-click on mysystem.impl, then click Ocarina > Generate PolyORB-Hi-C code

You will get:
An internal error occurred during: "Running Ocarina".
Unable to get IResource for Resource: org.eclipse.xtext.resource.DerivedStateAwareResource@c72a4f5 uri='platform:/plugin/org.osate.ocarina.aadlcontribution/resources/properties/deployment.aadl'

When opening the adiru model in OSATE, I got the following error.

An internal error occurred during: "calculating highlighting".
org.osate.aadl2.impl.DefaultAnnexSubclauseImpl cannot be cast to org.osate.ocarina.real.xtext.annex.REALAnnexBlock

I saw on the website that the latest osate integrated the ocarina, but when I used it, there was a problem (path to ocarina not to set up). The website of install new software on the official website could not be accessed. Is there any foolproof way to install it?Let me use the function of the ocarina in osate on Windows.

REAL has two ways of operation
1/ either is is embedded as part of the AADL model
2/ or it is embedded as separate files

1/ is supported natively, we need a way to do 2/. Options are either
a) to select them from the workspace,
b) pass them as empty AADL packages with REAL annex clauses, and then with' the AADL package with theorem on which you depend.

What could be a valid option form a user perspective?

I had tried to install ocarina using the instructions given in the link :https://github.com/openaadl/ocarina-build.

But I got the following error.

Guessing OS
linux
OS: Ubuntu 16.04.5 LTS x86_64
Compiler: GNATMAKE 4.9.3
autoconf: autoconf (GNU Autoconf) 2.69
automake: automake (GNU automake) 1.15
[2020-07-23-13:22] Checkout the Ocarina sources [PASSED]
[2020-07-23-13:22] Fetching runtimes 'polyorb-hi-ada polyorb-hi-c aadlib' [PASSED]
[2020-07-23-13:22] Reconfiguring (Ocarina) [PASSED]
[2020-07-23-13:22] First configure (Ocarina) [PASSED]
[2020-07-23-13:23] Doing 'make' (Ocarina)[2020-07-23-13:23] Doing 'make' (Ocarina) [FAILED]
Making all in support
make[1]: Entering directory '/home/selab/ocarina-build/ocarina/support'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/home/selab/ocarina-build/ocarina/support'
Making all in tools
make[1]: Entering directory '/home/selab/ocarina-build/ocarina/tools'
make[2]: Entering directory '/home/selab/ocarina-build/ocarina/tools'
make[2]: Nothing to be done for 'all-am'.
make[2]: Leaving directory '/home/selab/ocarina-build/ocarina/tools'
make[1]: Leaving directory '/home/selab/ocarina-build/ocarina/tools'
Making all in projects
make[1]: Entering directory '/home/selab/ocarina-build/ocarina/projects'
Makefile:623: target 'gnatcheck' doesn't match the target pattern
Makefile:629: target 'gnatmetric' doesn't match the target pattern
touch ../src/core/objects-stamp
touch ../src/config/objects-stamp
touch ../src/frontends/objects-stamp
touch ../src/backends/objects-stamp
touch ../src/transfo/objects-stamp
touch ../src/main/objects-stamp
touch ../src/python/objects-stamp
touch ../src/core/libs-stamp
touch ../src/frontends/libs-stamp
touch ../src/backends/libs-stamp
touch ../src/transfo/libs-stamp
touch ../src/config/libs-stamp
touch ../src/main/libs-stamp
touch ../src/python/libs-stamp
Creating directory: ../src/core/objects
mkdir -p ../src/core/objects
Creating directory: ../src/config/objects
mkdir -p ../src/config/objects
Creating directory: ../src/frontends/objects
mkdir -p ../src/frontends/objects
Creating directory: ../src/backends/objects
mkdir -p ../src/backends/objects
Creating directory: ../src/transfo/objects
mkdir -p ../src/transfo/objects
Creating directory: ../src/main/objects
mkdir -p ../src/main/objects
Creating directory: ../src/python/objects
mkdir -p ../src/python/objects
Creating directory: ../src/core/libs
mkdir -p ../src/core/libs
Creating directory: ../src/frontends/libs
mkdir -p ../src/frontends/libs
Creating directory: ../src/backends/libs
mkdir -p ../src/backends/libs
Creating directory: ../src/transfo/libs
mkdir -p ../src/transfo/libs
Creating directory: ../src/config/libs
mkdir -p ../src/config/libs
Creating directory: ../src/main/libs
mkdir -p ../src/main/libs
Creating directory: ../src/python/libs
mkdir -p ../src/python/libs
if [ -f ../tools/mknodes/mknodes.gpr ]; then
mkdir -p ../tools/mknodes/objects;

/usr/bin/gprbuild -P ../tools/mknodes/mknodes.gpr
-XABS_SRC_DIR="/home/selab/ocarina-build/ocarina/src"
-XABS_BUILD_DIR="/home/selab/ocarina-build/ocarina/src"
-aP../projects -aP../projects
-XBUILD=release ;
fi
gnatgcc -c -O2 -gnat12 -gnata -gnaty -gnatyu -gnatys -gnatpn mknodes.adb
/home/selab/ocarina-build/ocarina/src/../projects/restrictions.adc:30:22: invalid restriction identifier "No_Fixed_Io"
/home/selab/ocarina-build/ocarina/src/../projects/restrictions.adc:64:22: invalid restriction identifier "No_Implicit_Task_Allocations"
/home/selab/ocarina-build/ocarina/src/../projects/restrictions.adc:65:22: invalid restriction identifier "No_Implicit_Protected_Object_Allocations"
/home/selab/ocarina-build/ocarina/src/../projects/restrictions.adc:75:22: invalid restriction identifier "No_Task_At_Interrupt_Priority"
/home/selab/ocarina-build/ocarina/src/../projects/restrictions.adc:80:22: invalid restriction identifier "Pure_Barriers"
gprbuild: *** compilation phase failed
Makefile:667: recipe for target 'build-mknodes' failed
make[1]: *** [build-mknodes] Error 4
make[1]: Leaving directory '/home/selab/ocarina-build/ocarina/projects'
Makefile:421: recipe for target 'all-recursive' failed
make: *** [all-recursive] Error 1

Could you give me some advice to fix this, please?

Thanks

After downloading osate-2ocarina plugin Eclipse Indigo release reported multiple times in the Problem window the following:

Couldn't resovle reference to JvmIdentifiableElement'composedCheck'
(several more lines like the one above but, on other items)
Couldn't resovle reference to JvmType'builder.BuilderIntegrationFragment'
(several more lines like the one above but, on other items).

Also these reported errors do not prevent the installment of these plug-ins.

Thanks,

Syntax highlighting does not work for REAL annex clauses inside the AADL editor. Tested with testing version of OSATE2 on Juno.