A modeling language and its supporting tools for avionics systems

Practical experience with the object-oriented development of complex reusable avionics application software has led to the recognition that domain-specific model-based approaches to software component and system configuration are not only viable, but also essential to success in terms of productivity, assurance, and quality. This technology requires a domain-specific modeling approach as it is closely related to the model of computation utilized in the underlying integration platform, and must be designed to support analysis and synthesis activities as well for fullest benefit. The modeling approach goes beyond the current capabilities of standard tools, like UML, and is specialized for the needs of the application domain. In this paper, we present a modeling language, the Embedded System Modeling Language (ESML), which supports the architectural modeling of avionics systems built using the Boeing Bold Stroke architecture. ESML utilizes integrated modeling of software components, component interactions, hardware configurations, scheduling policies, and other aspects relevant for the system developer. The modeling language is supported by a multi-aspect visual editor, which allows the diagrammatic specification of complex models.