ControlH: an algorithm specification language and code generator

Author

Englehart, Matt ; Jackson, Mike

Author_Institution

Honeywell Inc., Minneapolis, MN, USA

Volume

15

Issue

2

fYear

1995

fDate

4/1/1995 12:00:00 AM

Firstpage

54

Lastpage

64

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;

fLanguage

English

Journal_Title

Control Systems, IEEE

Publisher

ieee

ISSN

1066-033X

Type

jour

DOI

10.1109/37.375284

Filename

375284