{"title":"ControlH: a fourth generation language for real-time GN&C applications","authors":"M. Englehart, M. Jackson","doi":"10.1109/CACSD.1994.288920","DOIUrl":null,"url":null,"abstract":"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.<<ETX>>","PeriodicalId":197997,"journal":{"name":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","volume":"137 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CACSD.1994.288920","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 16
Abstract
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.<>