![]() ![]() |
||||
|
||||
In
this section we discuss how flows can be analyzed by processing declarative AADL models.
First we introduce the concept of specifying flows for component-based system architectures
that are modeled in AADL. Then, we describe the representation of flow information in the
AADL Meta model. Finally, we discuss an analysis plug-in that performs flow specification
validation and determines end-to-end latency on declarative AADL models. |
||||