ControlH: a fourth generation language for real-time GN&C applications

Describes the defining characteristics of the language ControlH. ControlH is being designed under the ARPA DSSA (Domain Specific Software Architectures) Program. ControlH is designed for describing guidance, navigation and control (GN&C) algorithms in a concise yet rigorous manner. The language objects, structure, data types, and operations have been tailored to the domain of GN&C algorithm specification. The language also provides hooks for optimization of the software produced from the specification. A translator has been developed which generates high-quality, modular Ada, based on ControlH specifications. The language and the translator are used to provide software reuse and configuration at the high level of GN&C algorithm specification.<
>