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.
Status | Active |
---|---|
Effective start/end date | 17/7/19 → … |
Links | https://publicaccess.dtic.mil/search/#/grants/advancedSearch |
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.