NASA SBIR 2012 Solicitation

FORM B - PROPOSAL SUMMARY


PROPOSAL NUMBER: 12-2 H6.01-8567
PHASE 1 CONTRACT NUMBER: NNX13CA24P
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 Boddy
mark.boddy@adventiumlabs.com
111 Third Avenue South, Suite 100
Minneapolis, MN 55401 - 2551
(651) 442-4109

CORPORATE/BUSINESS OFFICIAL (Name, E-mail, Mail Address, City/State/Zip, Phone)
Lindsey Hillesheim
lindsey.hillesheim@adventiumlabs.com
111 Third Avenue South, Suite 100
Minneapolis, MN 55401 - 2551
(612) 481-0533

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

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 a set of procedural constraints imposing additional restrictions on these procedures. For operations on NASA's International Space Station (ISS), these procedural constraints may be of several different types. Notes, Cautions, Warnings, and Inhibits are all relevant types of procedural constraints. Phase I of the Constraint-Checking Editor for Procedure Tracking (ConCEPT) established the feasibility of constructing a constraint-checking system for procedures represented in the Procedure Representation Language (PRL). Using automated translation and Constraint Satisfaction Problem (CSP) generation technologies developed on previous projects, ConCEPT assists users in identifying conflicts and inconsistencies in PRL procedures as they are developed. The user edits a PRL procedure in the Procedure Integrated Development Environment (PrIDE), using procedure steps that have been annotated with procedural constraints. As the procedure is being developed, ConCEPT automatically and continuously gathers appropriate procedural constraints and checks them against the procedure. ConCEPT then alerts the user to any violated constraints. Phase I defined relevant scenarios of use and established feasibility by demonstrating a proof-of-concept system to relevant NASA flight controllers.

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 eval- uated in Phase I were 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 Prototyp- ing Laboratory (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. ConCEPT will allow for the gradual adoption of automated procedures that are integrated with planning systems (e.g., enterprise resource planning (ERP) systems). Military domains have complex operational constraints derived from both relevant doctrine and operation-specific "rules of engagement," much like NASA's flight rules and procedural constraints. ConCEPT will allow combat commanders from the brigade to the company level to generate efficient plans that integrate human and robotic units. 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
Knowledge Management
Man-Machine Interaction
Mission Training
Recovery (see also Vehicle Health Management)
Robotics (see also Control & Monitoring; Sensors)
Sequencing & Scheduling

Form Generated on 03-04-14 13:38