USA flag logo/image

An Official Website of the United States Government

STABILITY: Statistical Verification, Explanation Based Learning, and…

Award Information

Agency:
Department of Defense
Branch:
N/A
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
O123-ER1-2112
Solicitation Year:
2012
Solicitation Topic Code:
OSD12-ER1
Solicitation Number:
2012.3
Small Business Information
Smart Information Flow Technologies, d/b/a SIFT
211 N 1st St. Suite 300 Minneapolis, MN 55401-1480
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2013
Title: STABILITY: Statistical Verification, Explanation Based Learning, and Interaction Testing for Complex Systems
Agency: DOD
Contract: W911QX-13-C-0067
Award Amount: $149,094.00
 

Abstract:

Complex systems are inherently difficult to analyze because they include multiple sub-systems that interact in stochastic and context-dependent ways. A particular challenge in designing such systems is to foresee the possible emergent interactions between the sub-systems. System repurposing makes the identification of interactions even more difficult, since the interactions vary along with the operational context. SIFT proposes to develop the STABILITY (Statistical Verification, Explanation Based Learning, and Interaction Testing for Complex Systems) system, a complex system design and analysis tool. STABILITY will support model based complex system development. STABILITY will combine human-guided workflow design, automated workflow analysis with statistical verification, succinct workflow analysis summarization with explanation based learning, and systematic workflow suite design with combinatorial interaction testing. STABILITY will provide a simple and effective framework in which to seek out, test, and understand interactions within complex systems.

Principal Investigator:

Daniel Bryce
Senior Scientist
(435) 213-5776
dbryce@sift.net

Business Contact:

Harry Funk
Vice President of Research and Dev.
(612) 339-7438
hfunk@sift.net
Small Business Information at Submission:

Smart Information Flow Technologies, d/b/a SIFT
211 N 1st St. Suite 300 Minneapolis, MN -

EIN/Tax ID: 411929753
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No