TMCnet News
DARPA Awards GrammaTech $7.6M for Safety and Certification ResearchBETHESDA, Md., March 25, 2020 /PRNewswire/ -- GrammaTech, Inc., a leading developer of advanced commercial static analysis/software assurance products and advanced cybersecurity solutions, announces that it has been awarded a $7.6 million, four-year contract from Defense Advanced Research Projects Agency (DARPA). Automated Rapid Certification of Software (ARCOS) is a DARPA program focused on generating evidence and assurance cases for a broad range of certification and/or accreditation standards. GrammaTech will develop technology that produces high-quality, traceable, and composable certification evidence for use in constructing assurance-case arguments for software that includes components available only in binary form. Although the specifics of individual accreditation and certification criteria differ across safety, security, airworthiness, and other certification standards, the criteria often share concerns about both the software attributes that should be evaluated and the types of evidence used to construct assurance cases. GrammaTech is developing a set of tools for ARCOS that will enable the same testing strategies used for new software development to be employed for recertification of legacy software and provide better traceability, complete with rationale for why specific test results deliver sufficient requirements and structural code coverage. In addition, these tools will scale and automate test generation, execution, and test-suite aintenance to achieve measurably improved test coverage and completeness and decreasing time to deployment. "Re-certification of software is an expensive activity," says Alexey Loginov, Vice President of Research at GrammaTech, Inc. "It often requires significant amounts of tedious labor, that needs to be performed by experienced and hard-to-find personnel. The human factor in the process also results in inconsistent evaluation of security risk. The goal of our ARCOS contribution is to automate as much as possible of that work using GrammaTech's advanced program-analysis capabilities." "GrammaTech's research efforts move the needle in topics such as cyber security and, in this case, safety certification," says Mike Dager, CEO at GrammaTech. "The results of these projects allow us to deliver greater value to our customers. This will directly benefit our customers that develop software against standards like DO-178C/DO-330, IEC 61508, ISO26262, CENELEC EN 50128, IEC 62443 and many others." Acknowledgment of Support and Disclaimer DFARS 252.235-7010 About GrammaTech:
View original content to download multimedia:http://www.prnewswire.com/news-releases/darpa-awards-grammatech-7-6m-for-safety-and-certification-research-301029788.html SOURCE GrammaTech |