Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities


Major publications by the team in recent years

M. Aldinucci, F. André, J. Buisson, S. Campa, M. Coppola, M. Danelutto, C. Zoccolo.
Parallel program/component adaptivity management, in: ParCo 2005, Málaga, Spain, 13-16 September 2005.
A. Arenas, J.-P. Banâtre, T. Priol.
Developing Secure Chemical Programs with Aspects, Institute on Knowledge and Data Management , CoreGRID - Network of Excellence, August 2008, no TR-0166, Technical report.
A. Arenas, J.-P. Banâtre, T. Priol.
Developing Autonomic and Secure Virtual Organisations with Chemical Programming, in: The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), France Lyon, A. K. Datta, R. Guerraoui, F. Petit (editors), Springer, ENS-Lyon, 2009, vol. 5873
J.-P. Banâtre, D. Le Métayer.
Programming by Multiset Transformation, in: Communications of the ACM, January 1993, vol. 36, no 1, p. 98–111.
J. Buisson, F. André, J.-L. Pazat.
Supporting Adaptable Applications in Grid Resource Management Systems, in: 8th IEEE/ACM International Conference on Grid Computing, Austin, USA, 19-21 September 2007.
Consortium, XtreemOS.
Annex 1 - Description of Work, April 2006, Contract funded by the European Commission, XtreemOS Integrated Project, IST-033576.
E. Jeanvoine.
Intergiciel pour l´exécution efficace et fiable d´applications distribuées dans des grilles dynamiques de très grande taille, Université de Rennes 1, IRISA, Rennes, France, November 2007, In french..
Z. Lahjomri, T. Priol.
KOAN: A Shared Virtual Memory for iPSC/2 Hypercube, in: Proc. of the 2nd Joint Int'l Conf. on Vector and Parallel Processing (CONPAR'92), Lecture Notes in Computer Science, Springer Verlag, September 1992, vol. 634, p. 441–452
R. Lottiaux.
Gestion globale de la mémoire physique d'une grappe pour un système à image unique : mise en œuvre dans le système Gobelins, IRISA, Université de Rennes 1, December 2001, Thèse de doctorat.
T. Priol.
Efficient support of MPI-based parallel codes within a CORBA-based software infrastructure, in: Response to the Aggregated Computing RFI from the OMG, Document orbos/99-07-10, July 1999.
Y. Radenac.
Programmation “chimique” d'ordre supérieur, Université de Rennes 1, April 2007, Thèse de doctorat.
L. Rilling.
Système d'exploitation à image unique pour une grille de composition dynamique : conception et mise en oeuvre de services fiables pour exécuter les applications distribuées partageant des données, Université de Rennes 1, IRISA, Rennes, France, November 2005, In French.

Publications of the year

Doctoral Dissertations and Habilitation Theses

B. Daix.
Abstraction des systèmes informatiques à haute performance pour l'automatisation du déploiement d'applications dynamiques, Université de Rennes 1, IRISA, Rennes, France, December 2009, In french.
T. Ropars.
Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul, Université de Rennes 1, IRISA, Rennes, France, December 2009, In french.

Articles in International Peer-Reviewed Journal

J.-P. Banâtre, T. Priol.
Chemical Programming of Future Service-oriented Architectures, in: Journal of Software (JSW), 09 2009, vol. 4, p. 738-746
C. Morin, Y. Jégou, J. Gallard, P. Riteau.
Clouds: A New Playground for the XtreemOS Grid Operating System, in: Parallel Processing Letters (PPL), 2009, vol. 19, no 3, p. 435–449
J.-L. Pazat, X. Shi.
An adaptive and safe ubicomp for HPC applications, in: International Journal of Ad Hoc and Ubiquitous Computing, 2009, vol. 4, p. 363–371

International Peer-Reviewed Conference/Proceedings

F. André, G. Gauvrit, C. Pérez.
Dynamic Adaptation of the Master-Worker Paradigm, in: IEEE 9th International Conference on Computer and Information Technology, Xiamen Chine, 2009
F. André, M.-T. Segarra.
A Distributed Adaptation Model For Ambient Assistive Living Applications, in: HEALTHINF 2009 - International Conference on Health Informatics, Portugal Porto, IEEE -AAAI, 2009
F. André, M.-T. Segarra.
A Distributed Dynamic Adaptation Model for Component-Based Applications, in: The 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA2009), Royaume-Uni Bradford, IEEE - University of Bradford, 2009
F. André, M.-T. Segarra.
Building a Context-Aware Ambient Assisted Living Application Using a Self-Adaptive Distributed Model, in: The Fifth International Conference on Autonomic and Autonomous Systems, Espagne Valencia, IEEE- IARIA, 2009
F. André, M.-T. Segarra, M. Zouari.
Distributed Dynamic Self-Adaptation of Data Management in Telemedicine Applications, in: 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, France Tours, 2009
A. Arenas, J.-P. Banâtre, T. Priol.
Developing Autonomic and Secure Virtual Organisations with Chemical Programming, in: The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), France Lyon, A. K. Datta, R. Guerraoui, F. Petit (editors), Springer, ENS-Lyon, 2009, vol. 5873
A. Bouteiller, T. Ropars, G. Bosilca, C. Morin, J. Dongarra.
Reasons for a Pessimistic or Optimistic Message Logging Protocol in MPI Uncoordinated Failure Recovery, in: IEEE International Conference on Cluster Computing (Cluster 2009), États-Unis d'Amérique New Orleans, 2009
J. Gallard, A. Lèbre, G. Vallée, C. Morin, P. Gallard, S. Scott.
Refinement Proposal of the Goldberg's Theory, in: ICA3PP'09: International Conference on Algorithms and Architectures for Parallel Processing, Taiwan Tapei, 2009, p. 853-865
J. Gallard, G. Vallée, A. Lèbre, C. Morin, P. Gallard, S. Scott.
Complementarity between Virtualization and Single System Image Technologies, in: Euro-Par 2008 Workshops - Parallel Processing: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Espagne Las Palmas de Gran Canaria, 2009
S. Guelton, T. Gautier, J.-L. Pazat, S. Varette.
Dynamic Adaptation Applied to Sabotage Tolerance, in: IEEE Conference on Parallel, Distributed and Network-based Processing, Allemagne Weimar, D. E. Baz, F. Spies, T. Gross (editors), Computer Society Press, Euromicro, 2009
J. Mehnert-Spahn, T. Ropars, M. Schoettner, C. Morin.
The Architecture of the XtreemOS Grid Checkpointing Service, in: 15th International Euro-Par Conference, Pays-Bas Delft, 2009
P. Riteau, A. Lèbre, C. Morin.
Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems, in: 9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), China, Shanghai, 2009
T. Ropars, C. Morin.
Active Optimistic Message Logging for Reliable Execution of MPI Applications, in: 15th International Euro-Par Conference, Pays-Bas Delft, 2009

National Peer-Reviewed Conference/Proceedings

E. Daubert, G. Gauvrit, F. André, O. Barais.
Adaptation de services en environnement distribué, in: RenPar'19, France Toulouse, 2009
J. Gallard.
Kget+: An efficient tool for managing VM image snapshots, in: Toulouse'2009 (RenPar'19 / SympA'13 / CFSE'7) – Poster Session, France Toulouse, 2009
M. Zouari, F. André, M.-T. Segarra.
Support d'adaptation dynamique et distribuée dans la conception de systèmes de réplication de données, in: UbiMob'09, 5èmes journées Francophones Mobilité et Ubiquité, France Lille, 2009

Internal Reports

S. Costache, T. Ropars, C. Morin.
Semias: A Framework for Highly Available and Self-Healing Services in Large Scale Dynamic Distributed Systems, INRIA, 2009, RR-7083.
B. Daix, S. Kortas, C. Morin, C. Pérez.
ODD/SAMURAAIE: Providing HPC Users with a Model-Based on-Demand Deployment Architecture, INRIA, 2009, to appear.
J. Gallard, A. Lèbre, C. Morin.
Saline: Improving Best-Effort Job Management in Grids, INRIA, 2009, RR-7055.
C. Morin, J. Gallard, Y. Jégou, P. Riteau.
Clouds: a New Playground for the XtreemOS Grid Operating System, INRIA, 2009, RR-6824.
G. Vallée, T. Naughton, A. Tikotekar, J. Gallard, S. Scott, C. Morin.
Architecture for the Next Generation System Management Tools for High Performance Computing Platforms, INRIA, 2009, RR-7062.

Other Publications

Y. Jégou.
Credential Management and Security Architecture in XtreemOS: Proposition for Single-Sign-On and Delegation, April 2009, XtreemOS Technical Report #7.
Y. Jégou.
Supporting interactive jobs in XtreemOS: Proposition, August 2009, XtreemOS Technical Report #8.
S. Jeuland.
XtreemOS: Dynamic Virtual Organizations, July 2009, XtreemOS Technical Report #11.
S-Cube consortium.
J.-L. Pazat (editor), Basic requirements for Self-healing services and decision support for local adaptation, March 2009, S-Cube public deliverables.
S-Cube consortium.
Z. Nemeth (editor), Decision Support for Local Adaptation, November 2009, S-Cube public deliverables.
S-Cube consortium.
M. Pistore (editor), Integration Framework Baseline, March 2009, S-Cube public deliverables.
S-Cube consortium.
Z. Nemeth (editor), Use Case Description and State-of-the-Art in Self-* Service Infrastructures and Service Discovery, April 2009, S-Cube public deliverables.
XtreemOS consortium.
C. Morin (editor), Annex 1 - Description of Work (M37-M48), June 2009, XtreemOS Integrated Project.
XtreemOS consortium.
C. Morin (editor), Annual Project Management Report, June 2009, XtreemOS Deliverable D1.1.7.
XtreemOS consortium.
C. Morin (editor), Collaboration Report and Plan Including Commitment for Contribution to Task 1 to 8, September 2009, XtreemOS Deliverable D5.3.4.
XtreemOS consortium.
Communication and Dissemination Report and Plan, June 2009, XtreemOS Deliverable D5.1.8.
XtreemOS consortium.
Evaluation Report, December 2009, XtreemOS Deliverable D4.2.6.
XtreemOS consortium.
C. Morin (editor), First Advanced Release of Linux-XOS, June 2009, XtreemOS Deliverable D2.1.7.
XtreemOS consortium.
C. Morin (editor), Prototype of the First Advanced Version of LinuxSSI, June 2009, XtreemOS Deliverable D2.2.10.
XtreemOS consortium.
Public LiveCD release, December 2009, XtreemOS Deliverable D4.1.30.
XtreemOS consortium.
Public Release of XtreemOS 2.0, December 2009, XtreemOS Deliverable D4.1.23.
XtreemOS consortium.
Training Report and Plan, May 2009, XtreemOS Deliverable D5.2.3.
XtreemOS consortium.
M. Coppola (editor), XtreemOS User's Guide, October 2009, XtreemOS Technical Report #10.
XtreemOS consortium.
M. Coppola (editor), XtreemOS, Advanced Guide: Installation and Administration, October 2009, XtreemOS Technical Report #9.

References in notes

Dynaco Web site
I. Foster, C. Kesselman (editors)
The Grid: Blueprint for a New Computing Infrastructure, Morgan Kaufmann Publishers, 1998.
Wireless Application Protocol 2.0: technical white paper, January 2002
R. Armstrong, D. Gannon, A. Geist, K. Keahey, S. Kohn, L. McInnes, S. Parker, B. Smolinski.
Toward a Common Component Architecture for High-Performance Scientific Computing, in: Proceeding of the 8th IEEE International Symposium on High Performance Distributed Computation, August 1999.
J.-P. Banâtre, P. Fradet, Y. Radenac.
Principles of Chemical Programming, in: Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), S. Abdennadher, C. Ringeissen (editors), ENTCS, Elsevier, June 2005, vol. 124, no 1, p. 133–147.
J.-P. Banâtre, P. Fradet, D. Le Métayer.
Gamma and the Chemical Reaction Model: Fifteen Years After, in: Multiset Processing, LNCS, Springer-Verlag, 2001, vol. 2235, p. 17–44.
J.-P. Banâtre, D. Le Métayer.
A new computational model and its discipline of programming, INRIA, September 1986, no RR0566, Technical report.
J.-P. Banâtre, D. Le Métayer.
Programming by Multiset Transformation, in: Communications of the ACM, January 1993, vol. 36, no 1, p. 98–111.
F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov, L. Henrio, C. Pérez.
GCM: A Grid Extension to Fractal for Autonomous Distributed Components, in: Annals of Telecommunications, 2008.
G. Berry, G. Boudol.
The Chemical Abstract Machine, in: Theoretical Computer Science, 1992, vol. 96, p. 217–248.
E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, J.-B. Stefani.
The FRACTAL component model and its support in Java: Experiences with Auto-adaptive and Reconfigurable Systems, in: Softw. Pract. Exper., 2006, vol. 36, no 11-12, p. 1257–1284.
J. Buisson.
Adaptation dynamique de programmes et composants parallèles, INSA de Rennes, 25 September 2006, Ph. D. Thesis.
D. Chefrour, F. André.
Auto-adaptation de composants ACEEL coopérants, in: 3e Conférence française sur les systèmes d'exploitation (CFSE 3), 2003.
J. Gallard, A. Lèbre, C. Morin.
Saline: Improving Best-Effort Job Management in Grids, in: PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing – Special Session: Virtualization, Pisa, Italy, 2010, to appear.
K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, J. Henessy.
Memory Consistency and event ordering in scalable shared memory multiprocessors, in: 17th Annual Intl. Symposium on Computer Architectures (ISCA), ACM, May 1990, p. 15–26.
J. Gray, D. Siewiorek.
High Availability Computer Systems, in: IEEE Computer, September 1991.
E. Jeannot, B. Knutsson, M. Bjorkmann.
Adaptive Online Data Compression, in: IEEE High Performance Distributed Computing (HPDC 11), 2002.
P. Keleher, A. Cox, W. Zwaenepoel.
Lazy Release Consistency for Software Distributed Shared Memory, in: 19th Intl. Symposium on Computer Architecture, May 1992, p. 13–21.
P. Keleher, D. Dwarkadas, A. Cox, W. Zwaenepoel.
TreadMarks: Distributed Shared Memory on standard workstations and operating systems, in: Proc. 1994 Winter Usenix Conference, January 1994, p. 115–131.
L. Lamport.
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, in: IEEE Transactions on Computers, September 1979, vol. 28, no 9, p. 690–691.
A. Lèbre, R. Lottiaux, E. Focht, C. Morin.
Reducing Kernel Development Complexity in Distributed Environments, in: Euro-Par, 2008, p. 576-586.
P. Lee, T. Anderson.
Fault Tolerance: Principles and Practice, Springer Verlag, second revised edition, 1990, vol. 3 of Dependable Computing and Fault-Tolerant Systems.
F. Mattern.
Virtual Time and Global States in Distributed Systems, in: Proc. Int. Workshop on Parallel and Distributed Algorithms, Gers, France, North-Holland, 1989, p. 215–226.
D. S. Milojicic, V. Kalogeraki, R. Lukose, K. Nagaraja, J. Pruyne, B. Richard, S. Rollins, Z. Xu.
Peer-to-Peer Computing, HP Labs, March 2002, no HPL-2002-57, Submitted to Computing Surveys.
OSGi Alliance.
OSGi Service Platform Core Specification, Release 4 Version 4.2, September 2007
M. P. Papazoglou, P. Traverso, S. Dustdar, F. Leymann.
Service-Oriented Computing: State of the Art and Research Challenges, in: Computer, 2007, vol. 40, p. 38-45.
G. Pãun.
Computing with Membranes, in: Journal of Computer and System Sciences, 2000, vol. 61, no 1, p. 108-143.
C. Szyperski.
Component Software - Beyond Object-Oriented Programming, Addison-Wesley / ACM Press, 1998.