'Verifiable Modeling and Simulations Based on Computational Category Theory'

  • Edmonson, William W. (Investigador principal)

Detalles del proyecto

Descripción

This effort is in support of the DARPA Cyber Assured Systems Engineering (CASE) Program. The scope is development of a formal methodology that leads to artifacts that are correct with respect to requirements. This project, Category Theory, directly relates Systems Modeling Language (SysML) models with simulations using a functional programming language, such that the process is automatic and verifiably correct. The work performed under this effort will become a critical piece in future efforts that seek to fully verify an entire information system from top to bottom, and will change the way the Government secures systems of systems.

EstadoActivo
Fecha de inicio/Fecha fin17/7/19 → …

Financiación

  • Defense Advanced Research Projects Agency: USD193,089.00

!!!ASJC Scopus Subject Areas

  • Modelización y simulación
  • Ciencias sociales (todo)
  • Energía (todo)

Huella digital

Explore los temas de investigación que se abordan en este proyecto. Estas etiquetas se generan con base en las adjudicaciones/concesiones subyacentes. Juntos, forma una huella digital única.