The goals of this research are, using the Architecture Analysis and Design Language (AADL) and supporting tools, to formulate processes and techniques that demonstrate AADL-driven model-based engineering (MBE) as an effective software assurance technology for NASA development and to formulate practices for employing MBE analyses in NASA development V&V and IV&V.

This statement of work defines a three year effort that builds upon the work of the IV&V Facility Funded research initiative ?Application of SAE Architecture Analysis & Design Language (AADL) to IV&V of NASA Flight Projects.?

The following research objectives will facilitate these goals:

• Formulate and demonstrate AADL-driven MBE in software assurance for NASA development: Conduct a case studies where team members at JPL and the Carnegie Mellon Software Engineering Institute (SEI) will develop focused example models and analysis products using the Mission Data System (MDS) - an emerging system architecture under development at JPL. These data will be used to define model-based analysis practices, using the AADL, for software assurance in NASA development project V&V and modify, as appropriate, the preliminary AADL Practice Framework developed for IV&V.
• Formulate practices employing MBE analyses: Generate a beta and final versions of an AADL practice framework. This will extend the preliminary AADL practice framework developed as part of the project ?Application of SAE Architecture Analysis & Design Language (AADL) to IV&V of NASA Flight Projects.? It will define model-based analysis practices, using the AADL, for software assurance in NASA development project V&V and IV&V.
• Support the transition of AADL technology into V&V and IV&V institutional practices: In particular, develop and execute (a) a plan for facilitating the adoption of the final AADL analysis framework (and the supporting component database) into mainstream JPL institutional practices for architecture definition and V&V analysis; and (b) a plan for disseminating the IV&V context of the analysis framework as a capability within the NASA IV&V Facility.