Rapid Surveying of Buried Mines by Conjunct Seafloor Image and Biomimetic Signal Classification

EDAptive Computing Inc. (EDAptive), the University of Kansas (KU), Ball Aerospace & Technologies Corporation (BATC) and General Dynamics Information Systems (GDIS) present our Phase II Proposal for a unique and commercially-viable solution to the problemof recertifying operational application software in a real-time computing system upon hardware/software upgrade. Our Characterize Application Programming Interface (API) for Real-time computing systems and Test upon processor upgrades (CART) Phase IIprogram will satisfy critical needs of US Navy avionic systems and other mission-critical real-time computing systems. It will significantly reduce the time and money required to recertify application software for real-time computing systems, by applying:(1) a formal specification language, namely Rosetta, (2) automated test generation from specification using EDAptive's VectorGenT Tool, (3) a collaboration tool suite, namely BATC's KnowledgeKinetics and (4) incremental demonstration of capabilitiesthrough application to a test case of Navy's interest: In this proposal we present our approach to apply the feasibility we established, the commercialization avenues we opened, and the preliminary design we developed in Phase I, to prove the concept,produce the product, and accomplish technology transition in Phase II.