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

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.