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.