The following example is a complete AADLv2 model. It exhibits a full
hierarchy of component types, and component implementations.
You’ll note we do not provide implementations for subprograms and
threads: these are fully determined using properties.
AADL being a textual language, it follows many conventions from other
languages: packages, declarations of types and implementations. Let us
review the first set of elements: