Strategic level mission control - an evaluation of CORAL and PROLOG implementations for mission control specifications
ANTHONY J. HEALEY, David B. Marco, Paulo Oliveira, A. Pascoal, V. Silva, Carlos Silvestre · 2002
This paper presents the use of the software programming environments PROLOG and CORAL for the implementation of the strategic level of the NPS Phoenix vehicle. Whereas PROLOG provides a rule-based mission control specification language, CORAL builds on a graphical interface to describe mission programs using Petri nets. The paper describes the interfacing of CORAL with the tactical level of the vehicle, and details the programming and execution of a vehicle mission that was run in the NPS test tank.