Required Connection Checking
The Required_Connection property is a predeclared aadlboolean property for ports. Its value is true if a port must always be connected. This means that a component implementation must have a connection from/to this port and a subcomponent port for every mode. Similarly, a subcomponent with a component classifier, whose port has this property set to true, must have that port connected within the enclosing component implementation for every mode. The check on this property can be invoked on the aaxl resource, or on any of the AADL model objects. In both cases the check is applied to all ports of component implementations and subcomponents that have a value for this property. Note: The default setting for this property is true. This means unless the value is set to false the check will be performed and violations reported. We may want to consider having no default value (i.e., let the modeler explicitly decide whether they care to have this property checked for a port). You can apply this analysis to any model. Any subcomponent port that requires a connection but does not have an incoming or outgoing connection is reported. Any component implementation port that requires a connection but does not have an incoming or outgoing connection is reported if the implementation contains subcomponents.