15.1 Allowed Subsets and Restrictions
A minimal AADL core subset is defined to support the following restrictions:
no modes, no component extension and refinement, no user defined property sets, no runtime protection of virtual address spaces, single processor, queue depth 1, no server subprograms, no sporadic threads, and no background threads.