Constraint-Checking Editor for Procedure Tracking (ConCEPT)

Award Information
Agency:
National Aeronautics and Space Administration
Amount:
$123,771.00
Program:
SBIR
Contract:
NNX13CA24P
Solitcitation Year:
2012
Solicitation Number:
N/A
Branch:
N/A
Award Year:
2013
Phase:
Phase I
Agency Tracking Number:
125433
Solicitation Topic Code:
H6.01
Small Business Information
Adventium Enterprises, LLC
MN, Minneapolis, MN, 55401-2551
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
165988937
Principal Investigator
 Mark Boddy
 Chief Scientist
 (651) 442-4109
 mark.boddy@adventiumlabs.com
Business Contact
 Kyle Nelson
Title: Business Official
Phone: (612) 280-9843
Email: kyle.nelson@adventiumlabs.com
Research Institution
 Stub
Abstract
Constructing, maintaining, and adapting operational procedures for manned space operations is a complex task, requiring the procedure author to satisfy constraints resulting from the system configuration, current state, and applicable flight rules. This Phase 1 SBIR project will establish the feasibility of the Constraint-Checking Editor for Procedure Tracking (ConCEPT), a constraint-checking system for procedures represented in the Procedure Representation Language (PRL) and authored in PrIDE. Using automated translation and Constraint Satisfaction Problem generation technologies developed on previous projects, ConCEPT will assist users in identifying conflicts and inconsistencies in procedures as they are developed. The user edits a procedure in PrIDE, using procedure steps that have been annotated with information about resources and state changes. Configuration information, current state, and flight rules are stored in and obtained from the System Description, an existing component of PrIDE. As the procedure is being developed, ConCEPT automatically and continuously gathers appropriate constraints from the domain model and flight rules, translates them into a constraint satisfaction problem (CSP) which is then submitted to a CSP solver, which alerts the user to any violated constraints. Phase I will define relevant scenarios of use, establish the applicability and feasibility of ConCEPT, and provide a proof-of-concept demonstration.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government