OpenAADL / osate2-ocarina

Ocarina Plugin for OSATE2
Eclipse Public License 2.0
7 stars 3 forks source link

"ARINC653 Property missing" using Ocarina Command #23

Closed Zengwenlin closed 4 years ago

Zengwenlin commented 4 years ago

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 .

yoogx commented 4 years ago

Invocation from the command line works fine on this example, so it is probably an issue with your installation you should check that arinc653.aadl is actually in /share/ocarina/AADLv2

try copying this file in the adiru example directory so that it is used by OSATE