USA flag logo/image

An Official Website of the United States Government

Constraint-Checking Editor for Procedure Tracking (ConCEPT)

Award Information

National Aeronautics and Space Administration
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
111 3RD AVE S STE 100 MINNEAPOLIS, MN 55401-2551
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


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

Business Contact:

Kyle Nelson
Business Official
Small Business Information at Submission:

Adventium Enterprises, LLC
MN Minneapolis, MN 55401-2551

EIN/Tax ID: 113736871
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No