Processor Technology Insertion Recertification

Period of Performance: 10/24/2000 - 04/24/2001

$100K

Phase 1 SBIR

Recipient Firm

Edaptive Computing, Inc.
1245 Lyons Road Array
Dayton, OH 45458
Principal Investigator

Abstract

EDAptive Computing, Inc. (EDAptive), Dr. Perry Alexander of the University of Kansas and Ball aerospace & Technologies Corporation (BATC) present a unique and commercially viable solution to the problem of characterizing Application Program Interface (API) for a real-time computing system and optimally testing characterized API upon processor upgrades. Our Characterize API for Real-time computing systems and Test upon processor upgrades (CART) program will apply an emerging formal specification language standard, and an innovative design verification test generation tool to the problem of processor technology insertion recertification. 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-, and government-sponsored Rosetta, an emerging standard System Level Design Language (SLDL) for specification of API, and (2) the Air Force (AF) and Navy-sponsored Design Verification Test Generation (DVTG) tool to validate Rosetta specified API as well as recertify the API upon processor upgrade. We have discussed our approach with potential customers and partners such as BATC and BATC has indicated its willingness to support requirements definition and definition of a potential test case for our Phase I effort, if awarded.Maturation and integration of tools and languages proposed under this effort will alleviate the processor technology upgrade recertification problem and reduce the cost of addressing it by at least an order of magnitude. In addition to DoD applications, the proposed system could be used for commercial software developers of real-time computing systems such as embedded systems to identify potential problems when upgrading processor technologies for obsolescence or performance needs.