STABILITY: Statistical Verification, Explanation Based Learning, and Interaction Testing for Complex Systems

Award Information
Agency:
Department of Defense
Amount:
$149,094.00
Program:
SBIR
Contract:
W911QX-13-C-0067
Solitcitation Year:
2012
Solicitation Number:
2012.3
Branch:
Army
Award Year:
2013
Phase:
Phase I
Agency Tracking Number:
O123-ER1-2112
Solicitation Topic Code:
OSD12-ER1
Small Business Information
Smart Information Flow Technologies, d/b/a SIFT
211 N 1st St., Suite 300, Minneapolis, MN, -
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
103477993
Principal Investigator
 Daniel Bryce
 Senior Scientist
 (435) 213-5776
 dbryce@sift.net
Business Contact
 Harry Funk
Title: Vice President of Research and Dev.
Phone: (612) 339-7438
Email: hfunk@sift.net
Research Institution
N/A
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government