Domain-specific software architectures for intelligent guidance, navigation and control

The development of a domain-specific software architecture for intelligent (adaptive) guidance, navigation and control for aerospace applications is discussed. Some distinguishing aspects of the domain are a need to adapt to a variety of specialized target hardware systems, requirements for high reliability and system certification, and increasing demands for functional integration and high performance computing. The approach used exhibits three major themes: an extensive reliance on formal models, a provision of multiple views corresponding to multiple areas of skills and requirements, and an open toolset and layered architecture