11.5 Display_System.aadl
A detailed AADL model of an Avionics Display System—21000 lines of AADL—generated by Dave Statezni at Rockwell Collins.  Conversion into XML & semantic checking take less than 10 seconds. The model includes periods and deadlines for threads, flow specifications including 165 end-to-end flow specifications with latency property values. Note that the model was developed to provide data for workload analysis of the Etherswitch.  By adding latency property values to the flows we can also perform flow analysis—by assuming or adding execution times we can perform scheduling analysis.
11.5.1 Running the Example
Compile it into XML. Open the aaxl file. Select system impl Display.impl (at the bottom of the model) and instantiate the model.  You can now invoke the model statistics on the instance model, which tells you about the number of flows, threads, processes, etc.
You can run a flow analysis on Display_System.aaxl and get a number of potential latency problems.