METAMORPH INC — Department of Defense SBIR Phase II: SB142-003
METAMORPH INC — SBIR Phase II award from Department of Defense.
Phase II SBIR prototype / development signal
- Phase II is where Department of Defense funds deeper R&D after feasibility. Incumbents with Phase II history are serious competitors on adjacent topics.
- Use this award as past-performance context and to map customer organizations for STRATFI/TACFI-style transition planning.
- At $1,596,660, this is a large obligation for typical SBIR Phase sizing — worth reviewing for scope breadth and teaming opportunity.
- Topic code SB142-003 links this award to a solicitation family — search the same topic stem for incumbents and recompete timing.
- Amount
- $1,596,660
- Agency
- Department of Defense · Defense Advanced Research Projects Agency
- Program / Phase
- SBIR · Phase II
- Topic
- SB142-003
- Solicitation
- 2014.2
- NAICS
- —
- Place of performance
- TN
- Period
- 2015-06-24 → 2018-06-23
Description
Metamorph is proposing to develop a methodology and tools to apply Probabilistic Programming to System Level Design in our DARPA Phase II SBIR proposal. System design relies significantly on numerical predictions provided by computational models and simulations, however, an objective assessment of confidence in the predictions is a major challenge.Metamorphs proposal is built upon a System Level Design methodology and tools, referred to as the OpenMETA tool suite, developed in prior DARPA funded research and now being productized by Metamorph for transition and commercial applications.This problem of quantifying uncertainty and performing optimization under uncertainty is of significant interest to designers and engineers of complex DoD and Commercial systems. As such, MetaMorph is proposing the following tasks: - Automated development of Bayesian Surrogate Models for System Designs - Automated methods for performing Optimization under Uncertainty - Automated methods for incorporating uncertainty in model libraries - Scaling up Probabilistic Certificate of Correctness (PCC) - (OPTION) Integration of Probabilistic Model Checking for Automated Verification