Semaphores

Semaphores are mapped using a shared AADL data component between several AADL thread components. The shared data component must use a concurrency protocol by defining the Concurrency_Control_Protocol property.