System Management for Advanced & Replacement Technology (SMART)

"EDAptive Computing, Inc. (EDAptive), and Dr. Perry Alexander of the University of Kansas present a unique and commercially viable solution to the problem of verifying and validating a replacement/upgrade of an obsolete mixed-technology system that includesdigital, analog and mechanical subsystems. Our System Management for Advanced & Replacement Technology (SMART) program will apply an emerging formal specification language standard, and an innovative test generation tool to the problem of verifying andvalidating replacement/upgrade of a mixed-technology system. Specifically, we propose to research and develop a solution, which will employ two key emerging and innovative technologies for automation in the future, namely (1) the industry-, academia-, andgovernment-sponsored Rosetta, an emerging standard System Level Design Language (SLDL) for characterization of the hardware Input/Output (I/O) interface, and (2) the Air Force (AF) and Navy-sponsored VectorGenT tool to generate tests, expected outputs andthe associated test harness to validate and verify a replacement/upgrade of an obsolete mixed-technology system. We have discussed our approach with potential customers and partners such as TRW, Northrop Grumman and Lockheed Martin, and found a need anddesire for the proposed solution among potential customers. Maturation and integration of tools and languages proposed under this effort will alleviate the electronics parts obsolescence