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

Does Ocarina code generation tool covers Blackboard and Semaphores ? #237

Closed
CaptainSeum opened this issue Oct 8, 2019 · 3 comments
Closed

Comments

@CaptainSeum
Copy link

Hi,

I tried to build an example to test code generation capabilities regarding the annex Arinc653. It works well for pretty much everything, but it does not seems to pick up blackboards and semaphores. I followed the instructions described in the AADL annex Arinc653 to specify those component.

Does Ocarina covers those concepts ? is there a specific way to specify blackboards and semaphores for Ocarina to parse them ?

Thanks

@yoogx
Copy link
Contributor

yoogx commented Oct 8, 2019

your model might be incomplete, a quick examination of Ocarina source code demonstrates we emit code for blackboards and semaphores

@yoogx yoogx closed this as completed Oct 8, 2019
@CaptainSeum
Copy link
Author

Ok, is there any model example that contains semaphores/blackboards that works with Ocarina ?

@yoogx
Copy link
Contributor

yoogx commented Oct 8, 2019

ADIRU is using blackboard
POK may have old models with semaphores

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants