2002 · 13 citations · 3 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureProgramming LanguagesReal-time SystemsReal-time ControlReal-time Systems ArchitectureReal-time Systems DesignSpecification LanguagesLanguage GenerationReal-time ProcessingReuseReuse In Software EngineeringSoftware Component Reuse
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 xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
3
Formal real-time architecture specification and analysis
Pam Binns, Steve Vestal · 1993 · 33 citations