{"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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
