![]() ![]() |
||||
|
||||
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.
|
||||
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. |
||||