Constraint-Checking Editor for Procedure Tracking (ConCEPT)

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$123,771.00
Award Year:
2013
Program:
SBIR
Phase:
Phase I
Contract:
NNX13CA24P
Award Id:
n/a
Agency Tracking Number:
125433
Solicitation Year:
2012
Solicitation Topic Code:
H6.01
Solicitation Number:
n/a
Small Business Information
MN, Minneapolis, MN, 55401-2551
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
165988937
Principal Investigator:
Mark Boddy
Chief Scientist
(651) 442-4109
mark.boddy@adventiumlabs.com
Business Contact:
Kyle Nelson
Business Official
(612) 280-9843
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


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government