ControlH: an algorithm specification language and code generator

In this article, we describe the language and code generator ControlH. The development of ControlH is being supported by the ARPA domain-specific software architectures (DSSA) program. The language is designed for describing guidance, navigation, and control (GN&C) algorithms in a concise yet ri...

Full description

Saved in:
Bibliographic Details
Published inIEEE control systems Vol. 15; no. 2; pp. 54 - 64
Main Authors Englehart, M., Jackson, M.
Format Magazine Article
LanguageEnglish
Published IEEE 01.04.1995
Subjects
Algorithm design and analysis
Automatic control
Decision support systems
Integral equations
Navigation
Software algorithms
Software architecture
Software tools
Specification languages
Switches
Online AccessGet full text
ISSN1066-033X
1941-000X
DOI10.1109/37.375284

Cover

More Information
Summary:In this article, we describe the language and code generator ControlH. The development of ControlH is being supported by the ARPA domain-specific software architectures (DSSA) program. The language is designed for describing guidance, navigation, and control (GN&C) algorithms in a concise yet rigorous manner. Both textual and graphical syntaxes exist. The code generator generates high-quality, modular Ada or C from ControlH specifications. Together, the language and the code generator provide software reuse and configuration at the level of the GN&C algorithm specification.< >
ISSN:1066-033X
1941-000X
DOI:10.1109/37.375284