'Verifiable Modeling and Simulations Based on Computational Category Theory'

  • Edmonson, William W. (PI)

Project Details

Description

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.

StatusActive
Effective start/end date17/7/19 → …

Funding

  • Defense Advanced Research Projects Agency: US$193,089.00

ASJC Scopus Subject Areas

  • Modelling and Simulation
  • Social Sciences(all)
  • Energy(all)

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.