10.5 Example Models for Flow Analysis
Two example models illustrate the capability of the Flow Analysis plug-in that has been developed for OSATE:
    • The Avionics_System.aadl example, described in Section 11.4.
    • The Display_System.aadl example, described in Section 11.5.