Automated Software Analysis and Visualization

Our proposal specifically addresses the stated requirements of the solicitation; to enable automated analysis and visualization of the architecture of large, complex, mixed programming language software systems. The EDAptive Computing, Inc (ECI) Software Analysis and Visualization Tool to Maintain and Verify complex mixed language systems (SAVVY) allows the user to take these systems and, through a process of correctness preserving patterns processing and transformations, produce a specification level architecture description that corresponds directly to that which is implemented by the currently executed system. The user can then view and browse through the architecture using a graphical user interface that not only allows the user to follow the hierarchy of the system, but also through an alternative view mechanism, separates concerns appropriately between issues such as communications, timing, functional correctness, and other architectural properties. Leveraging ECI's proven re-design and verify technology, or using their current system as a base to upgrade and re-implement the system, the user can make more SAVVY decisions to target performance improvement, re-architect codes into modern configurations, re-use code elements in new systems, or simply wrap and re-integrate into new enterprises. Our emergent tools suite will be clearly adaptive to MDA regimes and operational conditions.