A Domain Model for Avionics Software ADAGE-UT-92-01 February 1992

ADAGE is a project to define and realize a MegaProgramming technology for assisting the development of avionics software. The central concept of MegaProgramming is the use of domain-specific software generators that implement component-based models of software systems in the target domain [SEI90]. This report presents a preliminary domain model for avionics software. We define a layered-software architecture that encourages avionics systems to be built more quickly and cheaply through the compositions of prefabricated components. Our model is expressed in terms of the GenVoca domain modeling constructs.