News

GrammaTech Awarded Navy Research Contract to Design an Integration of Model Checking with Rational’s Rose for Realtime

Posted on

by

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 fourteen researchers with PhDs in programming languages and program analysis.

Book a Demo

We’re ready to help you integrate SAST and SCA security into your DevSecOps flow. Get a personally guided tour of our solution offerings to ensure you are receiving the right solution for your development team. 

book now