You are here

GRAMMATECH INC

Company Information
Address
531 ESTY ST STE 300
ITHACA, NY 14850-3250
United States


https://www.grammatech.com/

Information

UEI: CBXRSPNRF8F9

# of Employees: 110


Ownership Information

HUBZone Owned: No

Socially and Economically Disadvantaged: No

Woman Owned: No



Award Charts




Award Listing

  1. Multi-Abstractions System Reasoning Infrastructure toward Achieving Adaptive Computing Systems

    Amount: $1,290,697.00

    A modern computer system consists of a complex combination of applications cooperating with the operating system and each other to accomplish a mission. Components of the system are subject to disrupt ...

    SBIRPhase II2014Department of Defense Office of the Secretary of Defense
  2. Specification Editing and Discovery Assistant

    Amount: $125,000.00

    The project will prototype a specification editing and discovery tool (SPEEDY) for C/C++ that will assist software developers with modular formal verification tasks by- providing active user interface ...

    SBIRPhase I2013National Aeronautics and Space Administration
  3. Multi-Abstractions System Reasoning Infrastructure toward Achieving Adaptive Computing Systems

    Amount: $150,000.00

    "The complexity of modern computer systems has grown to the point of stressing human ability to understand their behavior completely. The sheer number of software components (and the myriad interactio ...

    SBIRPhase I2013Department of Defense Navy
  4. Progressive Model Generation for Adaptive Resilient System Software

    Amount: $80,000.00

    Software continues to be a weak link in our critical systems. A prudent operator should employ a defense-in-depth strategy whereby"safe"systems are still monitored to detect breaches and respond to th ...

    STTRPhase I2013Department of Defense Navy
  5. Deterministic Detection for Hijacked Program Execution

    Amount: $487,080.00

    Modern computer systems are employed in numerous environments and are capable of performing a wide range of tasks. To support such capabilities economically, software developers have introduced a wide ...

    SBIRPhase II2013Department of Defense Navy
  6. Enhancing Code Awareness in Software Development Environment

    Amount: $958,701.00

    A programmer is usually focused on the code on his screen, leading to a kind of tunnel vision where large-scale interactions are missed. The proposed Code Awareness Assistant (CA2) will automatically ...

    SBIRPhase II2013Department of Defense Navy
  7. Automatic Detection and Patching of Vulnerabilities in Embedded Systems

    Amount: $99,949.00

    Recent studies have shown that embedded systems are extremely vulnerable to security attacks. Some published exploits include remote hijacking of the electronic systems in a modern car and using IP ph ...

    SBIRPhase I2013Department of Defense Defense Advanced Research Projects Agency
  8. Enhancing Code Awareness in Software Development Environment

    Amount: $150,000.00

    Most large pieces of software are sufficiently complex that no individual completely understands all of its subparts. In order to make progress, programmers must operate in this environment of incompl ...

    SBIRPhase I2012Department of Defense Navy
  9. Deterministic Detection for Hijacked Program Execution

    Amount: $150,000.00

    We propose technology to automatically detect software exploits that hijack the execution of a running Linux kernel or one of its hosted applications. The key enabling technology for the proposed work ...

    SBIRPhase I2012Department of Defense Navy
  10. Prioritization of Weapon System Software Assurance Assessment

    Amount: $750,000.00

    ABSTRACT: The Air Force, other government organizations, and security-critical software development companies could be more cost-effective by using COTS and open-source software in their information ...

    SBIRPhase II2012Department of Defense Air Force
US Flag An Official Website of the United States Government