Full Description

AADL specifications may be processed manually or by tools for analysis and generation. This section documents additional requirements and permissions for determining compliance. Providers of processing method implementations must document a list of those capabilities they support and those they do not support.

NOTE: Notes emphasize consequences of the rules described in the (sub)clause or elsewhere. This material is informative.