[ecoop-info] Postdoc Research Fellowship at INRIA Lille, France

[Anne-Francoise Le Meur]

Postdoctoral Research Fellow in Component-Based Software Engineering.

INRIA (French National Institute for Research in Computer Science and 
Control)

The ADAM team (ex JACQUARD project) from the INRIA research institute in 
France has an open postdoc research fellowship position.  The team seeks 
for motivated and innovative persons interested in investigating the 
co-evolution of abstract and execution application models. Applicants 
should have a background in Software Engineering, CBSE, ADL, middleware, 
distributed systems and distributed services.

The position is for one year with possibility of extension.  This 
contract is aimed at French or foreign candidates who have defended 
their Phd after May 1st, 2006. Candidates who prepared their Phd abroad 
will be considered with priority. Applicants must be less than 40 years old.

The ADAM research group is located in Lille, France, on the campus of 
the University of Lille 1. Lille is situated in the North of France near 
the Belgian border, just 38 minutes from Brussels, 1h from Paris and 
1h40 from London by train.

Details about the postdoc research topic can be found below or also online.
Applications have to be registered online. The application deadline is: 
March 31, 2007.

Best regards,


===================================================================


*Title:* Enabling the co-evolution of abstract application models and 
execution application models

*Research context: *
To reduce software development costs and enhance the flexibility and 
maintainability of systems, component-based software engineering (CBSE) 
proposes to build software systems by integrating existing software 
components. Often, the overall structure of the application is first 
described at the abstract level, through abstract models expressed with 
an architecture description language (ADL). Such description highlights 
the needed components and their assembly, which  facilitates the 
understanding and analysis of the application. At this level, it is for 
example possible, to verify a certain amount of properties to guarantee 
that the resulting component assembly is valid. This high-level 
description is then projected toward a given implementation and the 
resulting application is finally deployed and executed.

At runtime, it is often necessary to apply modifications to the 
executing application, for example, new components may be integrated to 
adapt to a changing execution context. Rapidly the execution model of 
the application becomes less and less coherent with its abstract model. 
It is thus difficult to know exactly what structure the currently 
running application has and more importantly it is impossible to predict 
if a given modification of the execution application model is correct 
and will not break some component assembling properties, which may, in 
the worst case, yield to a system failure.

*Postdoctoral researcher work description*:
The purpose of this postdoctoral position is to design and implement a 
framework which will enable the co-evolution of the abstract model of an 
application and its executing model. By co-evolution we mean that 
applying a modification to the running system should automatically 
update the abstract model and that, reciprocally, modifying the abstract 
model should trigger the appropriate modification onto the running 
system. This will enable the abstract and executing models to remain 
coherent at any time, and will allow verifications to be performed, 
enhancing the overall robustness of the application through its entire 
life-cycle.

*Required knowledge and background:*
The candidate should:
- Hold a PhD degree in Computer Science
- Be fluent in English (French is an advantage but not demanded)
- Be knowledgeable in the domains of Software Engineering, CBSE, ADL, 
middleware, distributed systems and distributed services
- Have very good programming skills in JAVA

*Contact:
*For further information, please contact :
Anne-Francoise Le Meur : lemeur at lifl.fr
Laurence Duchien : duchien at lifl.fr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.aito.org/pipermail/ecoop-info/attachments/20070301/9f687370/attachment-0001.htm