Design for Error Management (ErrorX)

EDAptive Computing, Inc. (ECI) and Lockheed Martin Missile and Fire Control Group (Lockheed) present a proposal to design and implement robust error handling techniques in aircraft, shipboard, and other complex mission-critical systems. Our Design for Error Management (ErrorX) program provides a new design paradigm allowing the user to unambiguously describe correct system behavior at a high level of abstraction; model error conditions; specify possible repair strategies; generate tests to detect when error conditions occur; and correct those error conditions whenever possible. Specifically, ErrorX leverages a standards-based System Level Design Language (SLDL) called Rosetta, ECI's system design/block diagram editor called SyscapeT, ECI's VectorGenT - automated test vector generation tool, a system-monitoring engine for test application and error detection, and our team's significant experience with military, aerospace, and commercial engineering system management and development. The ErrorX approach will provide significant time and cost savings to the DoD, and increase the safety and reliability of complex software systems. The resultant gains in the quality of software error handling will make a direct contribution to the robustness of mission-critical DoD applications. Our Phase I solution will provide an easy transition to full-scale functionality in Phase II and will generate a product with significant commercial potential.