1. Faculty Advisor – Dr. Suraj Kothari Client – Jon Mathews Team Members – Chaz Beck Marcus Rosenow Shaun Brockhoff Jason Lackore

2.  AADL (Architecture Analysis and Design Language)  Textual and graphic notation with precise semantics to model applications and execution platforms  Example: airplane’s subsystems (sensors, processes, buses, etc)  Models tested against predefined qualifiers  Language used as a unifier in transferring models in communication  Companies interested:  Rockwell Collins  Boeing  Honeywell  Lockheed Martin  and others  SEI Open Source AADL Tool Environment (OSATE)  Major program used to develop AADL models  A few weaknesses 2

3.  Application of model persistence  For alleviating modeling tool burdens  For creation of meaningfully sized models for simulation  Storage of EMF models  Import large models  Retrieve relevant, but smaller sections of data  Dynamic model testing  Arbitrarily large  Multiple layers of abstraction 3

4. 4

6.  Pass in constraints/properties of the model  Create tree representation of the model using EMF/OSATE components in memory  Output memory representation to AAXL text, which can be converted by OSATE into AADL text and EMF diagram  Extensible structure to allow new AADL components and tree structures to be added later 6

7.  Implement EMF Estore and other interfaces to allow per-object queries  Validate user-provided URI and do conversion if necessary between two supported standards (EMF or OSATE’s custom XPath implementation)  Generalized for XML, but can store AAXL model files as they conform to XML specifications 7

8. Model Generator – 1. Develop a static model generator that produces AAXL output 2. Extend the static model generator to handle dynamic model generation 3. Create a console that allows parameters to be input from the user to control the dynamic model generation 4. Experiment with dynamically generating models larger than memory AADL-XML Adapter – 1. Experiment with BaseX and understand its limitations in terms of performance and features 2. Build a wrapper for BaseX in Java to insert XML files into database and to perform queries 3. Generate EMF models for testing 4. Develop the AADL-XML adapter using EMF’s persistence API and use BaseX as custom storage for AAXL 8

9. 9

10. 10

11. 11