Types of Design Records

The goal of design records are to organize information associated with a domain-specific software architecture. There are three kinds of design records used by ADAGE to describe the avionics domain software architecture and components [#!ADAGEIBM9307!#,#!ADAGEUT9303!#]:

  1. Domain Model Design Record defines a collection of realms,
  2. Realm Design Record defines the interface for a collection of components, and
  3. Component Design Record represents an (alternative) implementation or design choice.

The ``component interface'' found in a Realm Design Record includes not only the entry points, type definitions and data formats (e.g., Ada package specification), but a description of its functionality, side effects, performance expectations, degree and kind of assurance of consistency between specification and implementation (reliability), and appropriate test cases.


Subsections