A formalism for the specification of operationally embeddedreactive systems in aircraft guidanceavigation systems

摘要

The Operational Procedure Model, presented in this paper, providesna formalism for the specification of the behavior of operationallynembedded reactive systems found in aircraft guidance and navigationnsystems. The model assigns semantic interpretations of the operationalnprocedure construct to the elements of a finite state machine. Thenoperational procedure construct captures the embedded operationalnbehavior of the system over all the missions in the life-cycle. Thenfinite state machine captures the reactive behavior of the system. Thenmodel, captured in a data-base and interrogated through a graphicalnuser-interface, can be used for simulation, analysis, and the generationnof code and documentation