NASA SBIR 2012 Solicitation

FORM B - PROPOSAL SUMMARY


PROPOSAL NUMBER: 12-1 H6.01-8567
SUBTOPIC TITLE: Spacecraft Autonomy and Space Mission Automation
PROPOSAL TITLE: Constraint-Checking Editor for Procedure Tracking (ConCEPT)

SMALL BUSINESS CONCERN (Firm Name, Mail Address, City/State/Zip, Phone)
Adventium Enterprises, LLC
111 Third Avenue South, Suite 100
Minneapolis, MN 55401 - 2551
(612) 280-9843

PRINCIPAL INVESTIGATOR/PROJECT MANAGER (Name, E-mail, Mail Address, City/State/Zip, Phone)
Mark S. Boddy
mark.boddy@adventiumlabs.com
111 Third Ave. South, Suite 100
Minneapolis, MN 55401 - 2551
(651) 442-4109

CORPORATE/BUSINESS OFFICIAL (Name, E-mail, Mail Address, City/State/Zip, Phone)
Kyle Nelson
kyle.nelson@adventiumlabs.com
111 Third Avenue South, Suite 100
Minneapolis, MN 55401 - 2551
(612) 280-9843

Estimated Technology Readiness Level (TRL) at beginning and end of contract:
Begin: 2
End: 3

Technology Available (TAV) Subtopics
Spacecraft Autonomy and Space Mission Automation is a Technology Available (TAV) subtopic that includes NASA Intellectual Property (IP). Do you plan to use the NASA IP under the award?
No

TECHNICAL ABSTRACT (Limit 2000 characters, approximately 200 words)
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.

POTENTIAL NASA COMMERCIAL APPLICATIONS (Limit 1500 characters, approximately 150 words)
This effort will support users of the Procedure Representation Language (PRL) and the PRL authoring tool PrIDE. The mission scenarios to be evaluated in Phase 1 have been provided by the Mission Operations Directorate (MOD) at Johnson Space Center (JSC). PRL and PrIDE are being actively used or evaluated for use for a wide variety of mission operations. MOD has used PrIDE to write over 100 International Space Station (ISS) procedures over the past several years and is currently evaluating PrIDE for use to author all procedures, ground and on-board, for Orion and future space vehicles. The JSC Rapid Prototyping Laboration (RPL) uses PrIDE to author experimental Orion procedures. The JSC Morpheus project currently uses PrIDE, as does the JSC Deep Space Habitat (DSH) project. The addition of ConCEPT to PrIDE will provide automated constraint checking for authoring procedures for a large and increasing range of mission applications.

POTENTIAL NON-NASA COMMERCIAL APPLICATIONS (Limit 1500 characters, approximately 150 words)
Other near-term potential applications for ConCEPT include domains where complex, partially-manual operations are implemented in terms of, and decomposed into, simpler, local actions, checks, and sensor readings. Specific examples include industrial process control and operations, unmanned autonomous vehicle operations, and possibly logistics and transportation applications. Military domains have complex operational constraints derived from both relevant doctrine and operation-specific "rules of engagement," much like NASA's flight rules. Longer-term potential applications would extend that set to fully-automated applications.

TECHNOLOGY TAXONOMY MAPPING (NASA's technology taxonomy has been developed by the SBIR-STTR program to disseminate awareness of proposed and awarded R/R&D in the agency. It is a listing of over 100 technologies, sorted into broad categories, of interest to NASA.)
Algorithms/Control Software & Systems (see also Autonomous Systems)
Autonomous Control (see also Control & Monitoring)
Command & Control
Condition Monitoring (see also Sensors)
Diagnostics/Prognostics
Health Monitoring & Sensing (see also Sensors)
Man-Machine Interaction
Process Monitoring & Control
Recovery (see also Autonomous Systems)
Tools/EVA Tools


Form Generated on 03-28-13 15:21