% $Id: abstract.tex 16638 2009-01-29 19:00:10Z gokhale $
\begin{abstract}
The development and operational life-cycles of distributed real-time and
embedded (DRE) systems can be improved by using component middleware.
The flexibility of component middleware, however, can also complicate
DRE system development since non functional system properties, such as
system quality of service (QoS), now depends on how the middleware is
configured.  DRE system developers are domain experts but often lack
detailed knowledge of the underlying middleware, which makes it
challenging for them to map the domain-specific QoS requirements into
the right QoS configurations of the middleware.  This paper describes a
technique based on model transformations that automates the process of
middleware QoS configurations.  First, we outline the challenges
associated with mapping high-level, application-specific QoS
requirements into middleware-specific values of QoS parameters used to
configure the behavior of QoS-enabled component middleware.  Second, we
describe a novel approach that uses model transformation to map these
QoS policies onto component middleware QoS configuration parameters.  We
exploit the structural correspondence technique to prove the correctness
of our middleware QoS configuration mapping process.  
Third, we show how to automate the verification and validation of the
generated QoS configuration parameters.  To verify the correctness of
the generated QoS configuration parameters, we define model parsers that
generate model-checking specifications of the application from its QoS
configuration models.  We also provide empirical proof to validate the
effectiveness of our technique to meet the end-to-end QoS requirements
in the context of a representative DRE system.  
\end{abstract}
