11.1 Securityexample.aadl
A simple security level checking example. This model illustrates the use of property sets to introduce a new property and an analysis of security level violations of connection-based flows in a system model. The system is a simple system with two threads and connections both ways. Each thread has a Security_Level property. In one direction the flow restriction with respect to security levels is violated.
11.1.1 Running the Example
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.