Benefits and Impacts Obsolescence Reduction Risk Reduction Safety Improvement Cost Reduction

1. Software Development Tool for Enabling Flawless Shuttle Enhancement Integration Area(s) of Significant Benefit Safety Performance Sustainability Operations Infrastructure • Description • Systems-level framework infused within a software development toolkit • Includes a language that provides correctness by built-in properties • Requirements analysis and traceability tool • Reverse engineering and testing tool • Automated documentation tool • Automated and complete code generation and self-testing tool • Systems-level interface definition and correctness verification tool • Technologies and Capabilities • Billions of dollars worth of existing legacy code can be directly and flawlessly transformed into modern code • Uses current computer languages running on modern computers, continually improved over time • All new system transformations and upgrades can be accommodated on a modular basis • Automatically reduces or eliminates system-level testing by requiring that the subsystem characterization be perfectly conducted and tested at the component level before integration • Provides a simplified control mechanism making ample use of priority displays Benefits and Impacts Obsolescence Reduction Risk Reduction Safety Improvement Cost Reduction Process Improvement Other (Ultra-High Operations Improvement Reliability) Performance Enhancement • POC, Cost, Schedule and Maturity • The project will be developed with the TRL 9 001environment • POC: Hamilton Technologies, Inc.(HTI) (617)492-0058 • Reduction in Criticality 1 Failure Rate of 8%

2. Software Development Tool for Enabling Flawless Shuttle Enhancement Integration • Total Project Costs (Phase1): $ 110 M • Obsolescence & Feasibility: $ 28 M • Formulation: $ 62 M • Implementation: $ 20 M • Project Submitted By: Hamilton Technologies, Inc. (HTI) • (617)492-0058 • Note: Supplemental Information attached in MS Word document