Constraint-Checking Editor for Procedure Tracking (ConCEPT), Phase II

Metadata Updated: November 12, 2020

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.

Access & Use Information

Public: This dataset is intended for public access and use. License: No license information was provided. If this work was prepared by an officer or employee of the United States government as part of that person's official duties it is considered a U.S. Government Work.

Downloads & Resources


Metadata Created Date November 12, 2020
Metadata Updated Date November 12, 2020

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date November 12, 2020
Metadata Updated Date November 12, 2020
Publisher Space Technology Mission Directorate
Unique Identifier Unknown
Identifier TECHPORT_18074
Data First Published 2016-04-01
Data Last Modified 2020-01-29
Public Access Level public
Bureau Code 026:00
Metadata Context
Metadata Catalog ID
Schema Version
Catalog Describedby
Homepage URL
Program Code 026:027
Source Datajson Identifier True
Source Hash 59290bbc228580dd92a1024b214936b5f72ba657
Source Schema Version 1.1

Didn't find what you're looking for? Suggest a dataset here.