Developing middleware for distributed application is a difficult challenge. Such software should be verifiable in order to help ensure its reliability; it also has to be configurable so that it can be tailored to the specific requirements of the target system. So there is a strong need for methodologies to manage numerous versions of such software. In this paper, we show the interest of architecture description languages (ADL) as a support for a development based on a prototyping process. We present our approach, which combines the Architecture Analysis & Design Language (AADL) and the schizophrenic middleware architecture, and show how those technologies can be used to design and configure verified middleware.