% $Id: solution.tex 5104 2007-01-07 15:40:35Z gokhale $

\section{Dependability Provisioning using Model-driven Engineering}
\label{sec:soln}

In this section we describe the design and implementation of our
MDDPro design-time, automated dependability provisioning tool, which
uses a model-driven engineering (MDE) approach in its design and
satisfies the requirements of such a tool outlined in
Section~\ref{sec:factors}.


\input{overview}

\input{modeling}

\input{placement}

\input{generation}

