3. A First Plug-in: Model Statistics
Our first OSATE plug-in computes information about the model. It counts the number of component types, component implementations, and flow specifications declared in an AADL specification. It also counts the number of threads, processes, semantic connections, processors, buses, memories, and devices that are instantiated in an AADL system instance.
Although the functionality of this Model Statistics plug-in is quite simple, this example demonstrates how to
    • Create a new OSATE Plug-in project
    • Traverse AADL specification and instance models
    • Create a new OSATE Action class
    • Report analysis results
Introduce structural questions that influence plug-in design:
    • Declarative vs. instance model processing
    • Kinds of results: transient vs. persistent
    • Top-down vs. bottom-up
    • Etc.