Building reusable software architectures with Ada

A new method for building reusable generic software architectures from reusable software components is described in the paper. The method is based on the use of generic module parameters, and can be directly supported by language features only in Ada 95. In this way, we can have the compiler enforcing a system architecture and enable it to check for proper use of its components. An example is given which illustrates the application of the method to a simple real-time architecture