Datasets / Unified Framework for Graphical Authoring and Visual Debugging of PLEXIL, SCL and PRL Programs Project


Unified Framework for Graphical Authoring and Visual Debugging of PLEXIL, SCL and PRL Programs Project

Published By National Aeronautics and Space Administration

Issued over 9 years ago

US
beta

Summary

Type of release
a one-off release of a single dataset

Data Licence
Not Applicable

Content Licence
Creative Commons CCZero

Verification
automatically awarded

Description

Execution and monitoring of command plans are central for spacecraft operations. Diverse execution engines and languages exist to define such command plans. Language dependent development tools have been created for such languages. However, there is not a reusable framework and code base that can be used to create such automation tools even thought there are many commonalties in the functionality and form of such tools. As a consequence, existing automation tools cannot be easily adapted across missions or languages. We proposed the development of an authoring and debugging framework for the definition of spacecraft operation plans. The framework provides a reusable code base that facilitates the creation of authoring and debugging tools tailored to a particular language and particular user type. Traditional text based authoring will be complemented with graphical representations of plans that provide friendly abstractions of a language's low level execution details. Traditional in-line debugging techniques will be enhanced with context-based visual debugging techniques suitable to understand the rationale of why a plan or rule has been applied and the interactions between different plans running in parallel. The Phase I prototype will illustrate the utility of the proposed framework by developing editors and debuggers for PLEXIL and SCL.