Title :
ControlH: an algorithm specification language and code generator
Author :
Englehart, Matt ; Jackson, Mike
Author_Institution :
Honeywell Inc., Minneapolis, MN, USA
fDate :
4/1/1995 12:00:00 AM
Abstract :
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
Keywords :
application generators; control engineering; control engineering computing; graphical user interfaces; high level languages; ARPA domain-specific software architectures program; ControlH; GN&C algorithm specification; algorithm specification language; code generator; graphical syntax; guidance; modular Ada; modular C; navigation; software configuration; software reuse; textual syntax; Algorithm design and analysis; Automatic control; Decision support systems; Integral equations; Navigation; Software algorithms; Software architecture; Software tools; Specification languages; Switches;
Journal_Title :
Control Systems, IEEE