search

OpenAADL / ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
http://www.openaadl.org
Other
65 stars 29 forks source link

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

Closed CaptainSeum closed 4 years ago

CaptainSeum commented 4 years ago

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 commented 4 years ago

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

CaptainSeum commented 4 years ago

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

yoogx commented 4 years ago

ADIRU is using blackboard POK may have old models with semaphores