Rapid Development Methodology for Customized Middleware

Thomas Vergnaud (1) , Jérôme Hugues (1) , Laurent Pautet , Fabrice Kordon (1)

1 MoVe - Modélisation et Vérification

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.

Domaines: Informatique [cs]

Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon. Rapid Development Methodology for Customized Middleware. 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Jun 2005, Montreal, Canada. pp.111-117, ⟨10.1109/RSP.2005.42⟩. ⟨hal-01490881⟩