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.
Estado | Activo |
---|---|
Fecha de inicio/Fecha fin | 17/7/19 → … |
Enlaces | https://publicaccess.dtic.mil/search/#/grants/advancedSearch |
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.