![]() ![]() |
||||
|
||||
A simple missile guidance example. This model was originally developed as a MetaH model
with the MetaH toolset performing analysis & code generation. The AADL model is analyzable
and can be translated back to MetaH. For analysis miss rate data has been added to the signal
flow, i.e., the outgoing port of the plant process and the incoming port of the controller process.
The outgoing rate specifies the maximum produced missrate, the incoming rate specifies the
maximum expected rate that the controller can handle. We have also added in security level
property values for the plant and controller. This demonstrates the same capability as the
securityexample above.
The sunseeker example can also be instantiated.
|
||||
Compile it into XML. Open the aaxl file. Select an object and invoke miss rate checking. For
generation of MetaH select the implementation that is to be the root of the system instance, i.e.,
Main.Main1 and select generate MetaH. You will be prompted for an output file name for the
generated MetaH. A generated MetaH file already exists. |
||||
Select the system implementation Main.Main1 as the root of the instantiation and invoke
instantitate. This results in an instance model XML file Sunseekerdemo_main_Instance. You
can open this model and examine its AADL properties via the AADL Properties view. You
can also invoke the model statistics command to give you data about the different elements of
the model—this is more interesting on the Rockwell detailed model—see below. |
||||