in ,

GrammaTech to Develop AI Tool for Mathematical Model Analysis Under DARPA Program

GrammaTech to Develop AI Tool for Mathematical Model Analysis Under DARPA Program - top government contractors - best government contracting event
GrammaTech

GrammaTech has received a contract of an undisclosed value from the Defense Advanced Research Projects Agency for studying and prototyping an artificial intelligence-powered tool under DARPA's AI Exploration program.

The company said Thursday it is building the AI-based ReMath program to automate the analysis of mathematical models from binary applications within embedded software and cyber-physical systems.

GrammaTech has cited the potential application of the project into industrial control systems operated by chemical processing and power plants.

"These research projects are all designed to address the challenges of developing or maintaining critical infrastructure software when resources and expertise are scarce, and standards are rapidly evolving," said Mike Dager, CEO of GrammaTech.

Alexey Loginov, vice president of research at GrammaTech, said ReMath could reduce expenses incurred from analyzing, maintaining and modernizing cyber-physical devices.

According to the company, subject matter experts derive high-level constructs in embedded software by manually analyzing binary applications through the use of debuggers, disassemblers and decompilers.

ExecutiveBiz Logo

Sign Up Now! ExecutiveBiz provides you with Daily Updates and News Briefings about Contract Awards

mm

Written by Matthew Nelson

GSA Seeks Consultation Services for SBIR/STTR Portal Cloud Migration Effort - top government contractors - best government contracting event
GSA Seeks Consultation Services for SBIR/STTR Portal Cloud Migration Effort
David Bettinger CEO SpaceLink
David Bettinger: SpaceLink to Target Government Market for Satellite Data Relay Service