Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OCARINA BUG DETECTED: STORAGE_ERROE => s-intman.adb:136 explicit raise #172

Closed
parvanehAghajani opened this issue Aug 23, 2018 · 3 comments
Assignees
Labels

Comments

@parvanehAghajani
Copy link

OCARINA VERSION:
Ocarina 2017.x (Working Copy from rcdc5d06)
Copyright (c) 2003-2009 Telecom ParisTech, 2010-2018 ESA & ISAE
HOST MACHINE and OPERATING SYSTEM:
Linux ubuntu 4.15.0-20-generic #21-Ubuntu SMP Tue Apr 24 06:16:15 UTC 2018 x86_64 x86_64
x86_64 GNU/Linux
COMPILER VERSION
GNATLS 7.3.0
Copyright (C) 1997-2017, Free Software Foundation, Inc.

DESCRIPTION:

Hello.
I'm trying to use ocarina to generate a mast model from an AADL file on OSATE 2.3.4.vfinal but I get this error:

ocarina: Cannot find a root system
+========================== OCARINA BUG DETECTED =========================+
| Detected exception: STORAGE_ERROR |
| Error: s-intman.adb:136 explicit raise |
| Please refer to the User's Guide for more details. |
+=========================================================================+
raised STORAGE_ERROR : s-intman.adb:136 explicit raise.

I'm not sure if this error is related to the addl file (like correct properties for components) or not, but I tried to generate a MAST model for simpler AADL files and it works. By calling other options like "generate statistic", "generate petri-net" and ... I get the same error. I should point out that I'm using Ubuntu VM on Mac.
Do you think that this issue could be related to memory and is there any option for increasing memory for performing code generation?

@yoogx
Copy link
Contributor

yoogx commented Aug 23, 2018

Hi,

this error message is relevant: ocarina: Cannot find a root system
It means there is not root system, and the tool exits (a little bit abrupt, I concede)

A root system is a system implementation without features. Ocarina can only proceeds these. The rationale is that a system with features would interact with external blocks not modelled, and thus can provide any relevant results.

AADLib provides example of valid systems that can be processed by Ocarina

@parvanehAghajani
Copy link
Author

Thank you for your quick response :)
I removed the system features and it works now.

@yoogx
Copy link
Contributor

yoogx commented Aug 23, 2018

Perfect. I close the issue

@yoogx yoogx closed this as completed Aug 23, 2018
@yoogx yoogx self-assigned this Aug 23, 2018
@yoogx yoogx added the question label Aug 23, 2018
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants