A systemic functional grammar application for design models

A systemic functional grammar application for design models

Grammar-Based Elicitation and Analysis of Requirements for Cyber Assured Systems Engineering (GearCASE)

GearCASE applies systemic functional grammars to increase cyber resilience under DARPA’s Cyber Assured Systems Engineering (CASE) program, which seeks to develop techniques that treat cyber resiliency as a first-class system requirement. The goal of cyber resilience is to avoid or mitigate cyberattacks. Rockwell Collins and Skaion are supporting this effort.

“Under DARPA’s CASE program, we’re automatically generating formally verifiable cybersecurity requirements—essentially eliminating vulnerabilities during the design phase.

Dr. Terry Patten
Principal Scientist and Principal Investigator on GearCASE

Charles River Analytics is building on our success under DARPA’s VET program, where sophisticated grammar formalisms from linguistics proved to be an effective, compact representation of the attack space. Under VET, these grammars were used to represent potential vulnerabilities of an existing system; under CASE, they represent potential vulnerabilities of a to-be-designed system.

Contact us to learn more about GearCASE and our other cybersecurity capabilities.

This material is based upon work supported by the Defense Advanced Research Projects Agency (DARPA) and Space and Naval Warfare Systems Center Pacific (SSC Pacific) under Contract No. N66001-18-C-4004. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of DARPA or SSC Pacific.

Our passion for science and engineering drives us to find impactful, actionable solutions.