A Factory To Design and Build Tailorable and Verifiable Middleware

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

1 MoVe - Modélisation et Vérification

Heterogeneous non-functional requirements of Distributed Real-Time Embedded (DRE) system put a limit on middleware engineering: the middleware must reflect application requirements, with limited runtime impact. Thus, building an application-tailored middleware is both a requirement and a challenge. In this paper, we provide an overview of our work on the construction of middleware. We focus on two complementary projects: the definition of middleware that provides strong support for both tailorability and verification of its internals; the definition of a methodology that enables the automatizing of key steps of middleware construction. We illustrate how our current work on PolyORB, Ocarina and the use of Petri Nets allows designer to build the middleware that precisely matches its application requirements and comes with precise proof of its properties.

Domaines: Informatique [cs]

Jérôme Hugues, Fabrice Kordon, Laurent Pautet, Thomas Vergnaud. A Factory To Design and Build Tailorable and Verifiable Middleware. Workshop on Networked Systems: Realization of Reliable Systems on Top of Unreliable Networked Platforms (Monterey Workshop Series, 12th edition, 2005), Sep 2005, University of California, Irvine, United States. pp.121-142, ⟨10.1007/978-3-540-71156-8_7⟩. ⟨hal-01335054⟩