43rd IFIP WG 10.4 Meeting
Santa Maria, Sal Island, Cape Verde, January 4-7 2003

Workshop on "Middleware for Adaptivity and Dependability"

  Gérard Le Lann, INRIA, Rocquencourt, France


 Middleware Systems and Projects
 Computational Models and System Properties
 Abstractions and Algorithmic Solutions
 Abstractions and Frameworks for Reflective Middleware
 Synthesis and Conclusion

First Day of Workshop  --  Saturday, January 4 (afternoon)

Session 1  --  Middleware Systems and Projects
Moderator: Walt Heimerdinger, Honeywell Laboratories, Minneapolis, MN, USA

David Bakken, Washington State University, Pullman, USA
Middleware: What it is, and How it Enables Adaptivity and Dependability

O. Sami Saydjari, SRI, Wisconsin Rapids, WI, USA
HARD-RoCS Middleware - Goals and Approaches

Second Day of Workshop  --  Sunday, January 5

Session 2  --  Computational Models and System Properties
Moderator: Jean-Claude Laprie, LAAS-CNRS, Toulouse, France

Matti Hiltunen, AT&T Labs Research, Florham Park, NJ, USA
Dependability and Adaptivity in Cactus, Self*, and iMobile: Challenges and Solutions

Paulo Veríssimo, University of Lisbon, Portugal
Uncertainty and Predictability: Can they be Reconciled? A Vision and a Concrete Model

Gérard Le Lann
Asynchronous Middleware for Achieving Adaptivity and Dependability

Session 3  --  Abstractions and Algorithmic Solutions
Moderator: Luca Simoncini, University of Pisa, Italy

Rachid Guerraoui, Swiss Federal Institute of Technology in Lausanne, Switzerland
Abstractions for Indulgent Distributed Computing

Roberto Baldoni, University of Rome (La Sapienza), Italy
Three-Tier Software Replication

Third Day of Workshop  --  Tuesday,  January 7 (morning)

Session 4  --  Abstractions and Frameworks for Reflective Middleware
Moderator: Hermann Kopetz, Vienna University of Technology, Austria

Gul A. Agha, University of Illinois at Urbana-Champaign, USA
Adaptive Middleware for Embedded Systems:
Developing a Formal Model,Language Abstractions and ImplementationTechniques

Roy Campbell, University of Illinois at Urbana-Champaign, USA
Dependable Pervasive Computing

Marc-Olivier Killijian, LAAS-CNRS, Toulouse, France
Adaptive Fault Tolerant Systems: Reflective Design and Validation

Session 5  --  Synthesis and Conclusion

Gérard Le Lann
Some Key Issues and Challenges