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

\subsection*{Abstract}

Service oriented architecture (SOA) design principles are increasingly
being adopted to develop distributed real-time and embedded (DRE)
systems, such as avionics mission computing, due to the availability
of real-time component middleware platforms.  Traditional approaches
to fault tolerance that rely on replication and recovery of a single
server or a single host do not work in this paradigm since the fault
management schemes must now account for the timely and simultaneous
failover of groups of entities while improving system availability by
minimizing the risk of simultaneous failures of replicated entities.
This paper describes MDDPro, a model-driven dependability provisioning
tool for DRE systems.  MDDPro provides intuitive modeling abstractions
to specify failover requirements of DRE systems at different
granularities.  MDDPro enables plugging in different replica placement
algorithms to improve system availability.  Finally, its generative
capabilities automate the deployment and configuration of the DRE
system on the underlying platforms.

{\bf Keywords:} Dependability Design Tools, Model-Driven Engineering,
                Generative programming, Real-time SOA systems

{\bf Category:} Regular Paper.
                
                
