![]() ![]() |
||||
|
||||
Two AADL semantic checks are provided as stand-alone analysis plug-ins instead of being
performed as part of the AADL build process. |
||||
This analysis checks that there are no circular dependencies among property references and is
available as “Analyses > Semantic Checks > Check for Circular Property References” in the
menu bar and as the
![]() All property association that are involved in circular references are marked with errors. For
example, the following component type creates a circular reference among the properties
Example::p1 and Example::p2:
system s
properties
Example::p1 => value(Example::p2);
Example::p2 => value(Example::p1);
end s;
Running the check on the above specification creates the markers shown in Figure 26.
![]() Figure 26: Example output of the Circular Property Reference Check. |
||||
The Required_Connection property is a predeclared aadlboolean property for
ports. It 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.
This analysis can be invoked on any AADL specification or system instance as “Analyses >
Semantic Checks > Check for Required Connection” in the menu bar or the
![]() Note: The default setting for this property is currently true. This means unless the value
is explicitly set to false the check will be performed and violations reported. |
||||