Project CONTESSA: Adaptive System Interoperability

Principal Investigators

• Jose Meseguer, UIUC (lead PI)
• Gul Agha, UIUC
• Carl Gunter, UIUC (former UPenn page)
• Gruia-Catalin Roman, Washington Univ
• Nalini Venkatasubramanian, UC Irvine

Project Proposal and Progress Reports

• Proposal
• January 2003 Progress Report
• May 2004 Progress Report
• September 2004 Progress Report

Meetings

• Kickoff Meeting, June 7, 2002 at UPenn
• Meeting, April 1, 2003 at UPenn
• Meeting, December 5, 2003 at UPenn
• Workshop, March 5-6, 2004 at UCI
• Meeting, June 8, 2004 at UPenn
• Workshop, October 25, 2004 at UIUC
• 3-Year Review Meeting, November 19, 2004 at UMBC
• Review Meeting, October 7, 2005 at UIUC

Publications

• Jose Meseguer
• Gul Agha
• Carl Gunter
• Gruia-Catalin Roman
• Nalini Venkatasubramanian

Local Websites

• Mobilab @ Washington University - Mobile Computing Laboratory
• DSM @ UCI - Distributed Systems Middleware Group
• OSL @ UIUC - Open Systems Laboratory
• Maude @ UIUC - A Formal Specification Language based on Rewriting Logic

Middleware Systems

• Limone - A lightweight coordination middleware based on LIME
• Agilla - The first middleware supporting mobile agents in wireless sensor networks
• CompOSE|Q - Composable Open Software Environment with QoS
• Autosec - An Integrated Middleware Framework for Dynamic Service Brokering
• Dynamo - Dynamic and Adaptive Distributed Middleware for Mobile Power Cognizant Computing
• MapGrid - Mobile Applications Powered by Grids
• Miro - Adaptive Middleware for a Mobile Internet Robot Laboratory
• WSEmail - Web Service EMail

Analysis Tools

• Execution Environment for the MSR Cryptoprotcol Specification Language
• Real-Time Maude and Case Studies
• Probabilistic Maude (PMaude) and Case Studies
• JMPaX - Java MultiPathExplorer
• VeStA - Verification based on Statistical Analysis
• DiAna - DIstributed ANAlysis tool
• Lever - Learning to Verify Safety Properties

Experiments, Case Studies, and Developments

• Specification and Analysis the Sectrace and L3A Protocols
• Modular Specification of a Group Communication System
• Specification of the Group Diffie-Hellman Protocol as a Component of the Cliques Toolkit
• Adaptive Secure Group Communication
• Multi Mobile Agent Deployment in Wireless Sensor Networks

Posters and Flyers

• Demonstration of the Execution Environment for MSR: Poster.
• Demonstration of Scalable Reasoning using PMaude: Poster.
• Interoperable Security and Demonstration of L3A: Poster.
• Demonstration of Multidimensional Interoperability: Poster.
• Demonstration of Mobile Agents in a Wireless Sensor Network: Poster and Flyer.
• Dynamo - Dynamic and Adaptive Distributed Middleware for Mobile Power Cognizant Computing: Poster and Flyer.
• Adaptive Secure Group Communication: Poster and Flyer.
• MapGrid - Mobile Applications Powered by Grids: Poster and Flyer.
• QUIC - Quality-aware Information Collection: Poster and Flyer.
• QUASAR - Quality-aware Sensing Architecture: Poster.
• A Middleware-based Approach to Dynamic Access Control for Mobile Envionments: Flyer.