USA flag logo/image

An Official Website of the United States Government

Constraint-Checking Editor for Procedure Tracking (ConCEPT)

Award Information

Agency:
National Aeronautics and Space Administration
Branch:
N/A
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
125433
Solicitation Year:
2012
Solicitation Topic Code:
H6.01
Solicitation Number:
Small Business Information
Adventium Enterprises, LLC
111 Third Ave. S., Suite 100 Minneapolis, MN -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2013
Title: Constraint-Checking Editor for Procedure Tracking (ConCEPT)
Agency: NASA
Contract: NNX13CA24P
Award Amount: $123,771.00
 

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.

Principal Investigator:

Mark S. Boddy
Chief Scientist
6514424109
mark.boddy@adventiumlabs.com

Business Contact:

Kyle Nelson
Business Official
6122809843
kyle.nelson@adventiumlabs.com
Small Business Information at Submission:

Adventium Enterprises, LLC
111 Third Avenue South, Suite 100 Minneapolis, MN 55401-2551

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