USA flag logo/image

An Official Website of the United States Government

Data Network for Submarine Command, Control, Communication, and Computers

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
53683
Program Year/Program:
2001 / SBIR
Agency Tracking Number:
N011-0474
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY 14850-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2001
Title: Data Network for Submarine Command, Control, Communication, and Computers
Agency / Branch: DOD / NAVY
Contract: N00024-01-C-4111
Award Amount: $69,868.00
 

Abstract:

Real-time embedded systems are becoming increasingly complex and safety critical. In order to satisfy the complexity and safety requirements developers need tools and methodologies that support rigorous and complete specification capabilities, robustautomated translation from design to implementation, support for debugging of the designs at the semantic level of the design specification language, and sophisticated verification and analysis of design models. The Unified Modeling Language and thecurrent generation of COTS tools meet many of these requirements, however they are woefully inadequate in the area of verification and analysis. We plan to augment best-of-breed COTS tools with model checking capabilities. This will not only allowdevelopers to verify their designs, but to also extract greater value from the functionality provided by COTS tools. We propose to integrate model checking with a UML design environment, develop techniques for ensuring scalability and precision, develop asystem that allows both everyday and expert users to easily specify properties for verification and develop a system for providing users with insightful counterexamples when their specified properties do not hold.The proposed system will be of use in thedesign and development of embedded systems. This system will allow companies to develop highly reliable embedded real-time systems.

Principal Investigator:

Paul Anderson
Senior Software Engineer
6072737340
paul@grammatech.com

Business Contact:

Ray(Tim) Teitelbaum
Chairman
6072737340
tt@grammatech.com
Small Business Information at Submission:

GRAMMATECH, INC.
317 N. Aurora Street Ithaca, NY 14850

EIN/Tax ID: 161338879
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No