The product will be used to assist NASA personnel in evaluating the safety and robustness properties of software in production or under review, including embedded Next-Generation avionics and space software. The product will support the needs of both software-development teams and IV&V groups. An example application is the annotation of a widely used library (e.g. the Core Flight Software library) to aid in its verification. Our first potential (NASA) adopters are GrammaTech's current NASA customers. The tool will be a natural companion to heuristic bug-finding and style-checking tools GrammaTech completed for NASA JPL (a JPL SBIR Success Story used for the Mars Science Laboratory software.
The natural market for SPEEDY is safety-critical embedded software development organizations. Such government and commercial organizations are a large part of GrammaTech's current customer base. We will initially focus our marketing efforts on specific current customers who manufacture or review avionics systems, medical devices, and other particularly safety-critical embedded systems (e.g. automotive software) – e.g., Bechtel, FDA, Halliburton, Lockheed-Martin, Honeywell. A second tier of relevant customers are development groups doing security analyses, security certification, and reverse engineering for understanding or maintenance.
More »