May 22, 2001
GrammaTech Awarded Navy Research Contract to Design an Integration of Model Checking with Rational's Rose for Realtime
Ithaca, NY -- GrammaTech, Inc. announced today that it has been awarded a Small Business Innovative Research (SBIR) Phase I contract by the Naval Sea Systems Command (NAVSEA) worth $99,723 including options. Upon completion of this six-month contract GrammaTech will be eligible to compete for up to $750,000 in Phase II SBIR funding. Under terms of the agreement, GrammaTech will design an application that integrates model checking with Rational's Rose for Realtime. This contract builds on the results of previous GrammaTech research sponsored by Office of Naval Research.
Model checking is a verification technique that allows users to verify properties of software and hardware systems. Model checking allows users to verify absence of software faults and security vulnerabilities, whereas traditional testing techniques can only detect their presence.
Rational Rose RealTime is a comprehensive visual development environment that delivers a powerful combination of notation, processes, and tools to meet these real-time challenges. Through the industry standard UML, real-time design constructs, code generation, and model execution, Rational Rose RealTime addresses the complete lifecycle of a project: from early use case analysis, through to design, implementation, and testing.
About Grammatech
GrammaTech's static-analysis tools are used worldwide by startups,
Fortune 500 companies, educational institutions, and government
agencies. The staff includes ten researchers with PhDs in programming
languages and program analysis. The company has offices in Ithaca, New
York, and San Jose, California. More information about GrammaTech can
be found at www.grammatech.com.
GrammaTech, Inc.
317 N. Aurora St.
Ithaca, NY 14850 USA
phone: 607-273-7340
fax: 607-273-8752
e-mail: info@grammatech.com