"Verifiable Modeling and Simulations Based on Computational Category Theory"
Abstract
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.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jul 25, 2019
- Source ID
- N660011914037
Entities
People
- William Edmonson
Organizations
- Defense Advanced Research Projects Agency
- Naval Information Warfare Center Pacific
- North Carolina Agricultural and Technical State University