Compile the securityexample.aadl either by opening it in the text editor or by invoking Convert
to XML; Open the securityexample.aaxl. Select any model object and invoke the Security
check command. Errors are reported in the “Problems” view. You can click on the message
and the editor highlights the connection with the violation. You can then open the “AADL
Property Values” view. In the model you can select the thread named in the connection by
opening the Process subcomponents and selecting T1 or T2. Its AADL properties will then be
shown in the “AADL Property Values” view.