Constraint-Checking Editor for Procedure Tracking (ConCEPT)

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 that impose additional restrictions on these procedures. For operations on NASA’s International Space Station (ISS), these procedural constraints may be of several different types including Notes, Cautions, Warnings, and Inhibits.

Using automated translation and Constraint Satisfaction Problem (CSP) generation technologies developed on previous projects, ConCEPT assists users in identifying conflicts and inconsistencies in Procedure Representation Language (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.

The addition of ConCEPT to PrIDE will provide automated constraint checking for authoring procedures for a large and increasing range of mission applications. PRL and PrIDE are being actively used or evaluated for use in 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 in authoring all procedures, ground and on-board, for Orion and future space vehicles. The JSC Rapid Prototyping 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.