<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=ISO-8859-1"
 http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
[ Apologies for multiple copies of this message ]<br>
--------------------------------------------------------------------------<br>
<br>
<br>
The ADAM team-project from the INRIA research institute
at Lille in France is looking for a PhD candidate in the domains of
software architecture and component-based applications.
Details about the topic can be found below.&nbsp;
<br>
<br>
Applications must be submitted <a moz-do-not-send="true"
 class="moz-txt-link-freetext"
 href="http://www.inria.fr/travailler/mrted/en/doc/details.html?id=PNGFK026203F3VBQB6G68LOE1&amp;LOV5=4509&amp;LG=EN&amp;Resultsperpage=20&amp;nPostingID=4067&amp;nPostingTargetID=8661&amp;option=52&amp;sort=DESC&amp;nDepartmentID=28">online</a>,
the
deadline
is
<b>May 4</b>, 2010. <br>
<br>
<br>
Best regards,<br>
<br>
<br>
===================================================================<span
 style="color: black;"></span><span style="" lang="EN-US"><o:p></o:p></span>
<!--EndFragment--><br>
<br>
<br>
<b>Title : </b>An agile framework to support the safe runtime
evolution of component-based applications<br>
<br>
<br>
<b>Scientific context:</b><br>
Many applications must evolve during their whole life-cycle to cope
with new user requirements, execution context changes, or maintenance
tasks. Unfortunately, any modification at execution time is likely to
jeopardize the robustness of the whole application. It is thus
necessary to provide some guaranties that a given modification will not
break the application properties, preventing then the application from
a loss of quality of service, or even, in the worst case, a system
failure.<br>
<br>
&nbsp;To reduce software development costs and enhance the flexibility and
maintainability of systems, component-based software engineering (CBSE)
proposes to build software systems by assembling software components.
In this approach the overall structure of the application is first
described with an architecture description language (ADL) [1]. Such
description not only highlights the needed components and their
assembly but also facilitates the understanding and analysis of the
application&#8217;s properties, such as behavioral or quality of service
properties. Verifying that architectural specifications are coherent at
design time is nevertheless not sufficient to guarantee the robustness
of the application during an evolution at runtime.<br>
<br>
The CALICO has been developped by the ADAM INRIA team-project to
propose an approach to incrementally and iteratively design robust
component-based applications through the use of models and the
verification of these models, which combines static analysis of the
application specifications but also dynamic testing at runtime [2, 3,
4, 5]. The approach relies on a strong coupling of the architecture
models and the running application. Nevertheless keeping an abstract
representation of an application at runtime in order to support safe
runtime evolution brings many challenges that need to be addressed.<br>
&nbsp;<br>
<br>
<b>Goal:</b><br>
The goal of this PhD is to develop an approach where architecture
models are used through the whole application life-cycle, enabling safe
evolution at execution time. Any evolution, may that be an adaptation
due to execution context changes or a maintenance task, must take into
consideration all or parts of the application&#8217;s properties in order to
preserve the application robustness. The PhD research work will
identify which information should be kept in the architecture models,
as well as how this information should be organized in order to
efficiently support the verification at runtime of the properties
guaranteeing the application robustness. Furthermore, since some of
this information will need to reflect the current state of the running
application, it will be thus necessary to provide non intrusive
monitoring support and find good tradeoff to address the communication
cost that the monitoring [6, 7] and information reification induce.<br>
<br>
The expected results of this PhD work are the definition of an
architecture-based monitoring and safe-evolution model, and the
development of an infrastructure that will complement the current
CALICO approach to form an agile framework for the safe design and
evolution of component-based applications during their whole life-cycle.<br>
&nbsp;<br>
<br>
<b>Required skills:</b><br>
The PhD candidate should:<br>
- Be knowledgeable in the domains of Software Engineering, models,
CBSE, ADL, middleware, distributed systems.<br>
- Have very good programming skills in JAVA<br>
&nbsp; <br>
<br>
<b>Bibliographical References:</b><br>
[1]&nbsp; A classification and comparison framework for software
architecture description languages. N. Medvidovic and R. N. Taylor. In
IEEE Transactions on Software Engineering, volume 26, page 23, jan 2000<br>
[2]&nbsp; <span class="moz-txt-link-freetext"><a class="moz-txt-link-freetext" href="http://calico.gforge.inria.fr/">http://calico.gforge.inria.fr/</a></span><br>
[3]&nbsp; Architectural Specification and Static Analyses of Contractual
Application Properties. G. Waignier, A.-F. Le&nbsp; Meur and L. Duchien. In
Proceedings of the 4th International Conference on the Quality of
Software-Architectures (QoSA 2008), Karlsruhe (TH), pages 152-170,
Germany, oct 2008<br>
[4]&nbsp; A Model-Based Framework for Statically and Dynamically Checking
Component Interactions. G. Waignier, P. Sriplakich, A.-F. Le Meur and
L. Duchien. In Proceedings of the ACM/IEEE 11th International
Conference on Model-Driven Engineering Languages and Systems (MODELS
2008), pages 371-385, Toulouse, France, oct 2008<br>
[5]&nbsp; A Model-Based Framework to Design and Debug Safe Component-Based
Autonomic Systems. G. Waignier, A.-F. Le Meur and L. Duchien. In
Proceedings of the 5th International Conference on the Quality of
Software-Architectures (QoSA 2009), pages 1-17, Pennsylvania, USA, jun
2009<br>
[6]&nbsp; WildCAT: a generic framework for context-aware applications. P.-C.
David, T. Ledoux. In the 3rd International Workshop on Middleware for
Pervasive and Ad-Hoc Computing (MPAC 2005), ACM Digital Library,
Grenoble, France, November 2005.<br>
[7]&nbsp; Scalable Processing of Context Information with COSMOS. D. Conan,
R. Rouvoy and L. Seinturier. In 7th IFIP International Conference on
Distributed Applications and Interoperable Systems (DAIS&#8217;07). p.
210&#8211;224 of LNCS 4531 (Springer). Paphos, Cyprus. June 5&#8211;8, 2007.<br>
<br>
<br>
<b>How to apply: </b><br>
Candidates
should provide a CV, a
motivation letter highlighting their research statement and
interest in this specific PhD topic, and at least two references. This
PhD thesis is proposed in the context of an INRIA fellowship. Only
applications submitted on the INRIA website will be considered &#8211; see
the link &#8220;apply online&#8221; at the
bottom left of this <a moz-do-not-send="true"
 href="http://www.inria.fr/travailler/mrted/en/doc/details.html?id=PNGFK026203F3VBQB6G68LOE1&amp;LOV5=4509&amp;LG=EN&amp;Resultsperpage=20&amp;nPostingID=4067&amp;nPostingTargetID=8661&amp;option=52&amp;sort=DESC&amp;nDepartmentID=28">webpage</a>.
<br>
<br>
For more information please contact <span
 style="font-size: 12pt; font-family: &quot;Times New Roman&quot;;"><a
 moz-do-not-send="true" href="mailto:Anne-Francoise.Le_Meur@inria.fr">Anne-Fran&ccedil;oise
Le
Meur</a></span><!--EndFragment-->.
<br>
<br>
<br>
<br>
</body>
</html>