GrammaTech Awarded Air Force Contract to Secure High-Assurance SoftwareTweet
GrammaTech, Inc., a leading maker of tools that improve and accelerate software development, today announced that the company has been awarded an SBIR contract from the United States Air Force to research processes and tools that secure extremely high-assurance software. Within this research project, GrammaTech will work to improve both requirements-management and program-analysis tools for critical software verification in the Air Force.
As technology for securing high-assurance software continues to improve, organizations should consistently work to improve the rigorous processes used to ensure system security. In this project, GrammaTech will look at existing tools and processes in the supply chain, and then construct an integrated tool suite that can be used to address system security.
The tool suite will include tools for checking compliance against software coding standards, checking for safety and security programming flaws, verifying software against formally-expressed requirements, measuring test coverage, and managing automated test execution and generation. Additionally, GrammaTech will enhance, adapt, or integrate these tools, as needed, to fit the critical, highest-assurance software domain.
The results of this project will promote the creation of critical software systems that are safe, secure, and hardened against possible cyber-attacks.