|
| Structure of the workshop
The objective of the 2005 edition of the Monterey Workshops is to elaborate
a snapshot of the state of the art concerning the construction of safe
networked systems. We aim to achieve this by structuring the program as
follow:
- Keynote Presentations will be given to provide a broad vision in the
area,
- Invited talks will focus on specific scientific results from participants.
- Structured discussion on research approaches in the context of a set
of "Challenge Problems". The Challenge Problems will address
specific issues from current literature and practice. So far, two problems
are identified:
feel free to adapt these problems and to integrate hypotheses that seems
suitable.
- Open discussion summarizing Workshop findings: promising approaches,
open problems, excpected new challenges and technology roadmaps.
Invitees are requested to provide a 1 to 3 page abstract focusing on
a research approach, or challenge problem. Based on the submitted abstracts,
the Program Committee will select invited talks in both areas. These contributions
should be provided via electronic
mail by September 4th 2005.Selection of
invited talks will be made by September 11th, 2005.
Those participants who plan to contribute to the program with new Challenge
Problems, we will request to make the problem description available through
the web site for others before the meeting. Participants contributing
to the program with research approaches are invited to prepare a few slides
to outline how you could address some issues deduced from the Challenge
Problems.
Based on the discussions, participants will be invited to submit extended
material for publication in a special issue.
Agenda
This is just to let you estimate the structure of the workshop. color code
for the program is explained in the table below
| type of session | color code |
|---|
| Keynote Presentation | |
| Invited talk | |
| Challenge talk | |
| Introductory talks and discussions | |
September 22, 2005
| 8:30-9:30 |
Opening & objectives of the workshop
Helen Gill, David Hislop, Kane Kim, Fabrice Kordon and
Janos Sztipanovits |
| 9:30-10:30 |
Edward Lee, UC Berkeley |
| 10:30-11:00 |
Break |
| 11:00-11:30 |
Dynamic System Reconfiguration via Service Composition
For Dependable Computing: Wei-Tek Tsai, Arizona State Univ.
|
| 11:30-12:00 |
Towards A Real-Time Coordination Model for Mobile Computing: Chris
Gill, Washington University at St Louis |
| 12:00-13:30 |
Lunch |
| 13:30-14:00 |
ABuilding Reliable Middleware Services for Sensor Networks: Akos
Ledeczi, ISIS-Vanderbilt University |
| 14:00-14:30 |
Dependability of Component-Based Self-Adaptive Systems:
Andre Van der Hoek, UCI |
| 14:30-15:00 |
Rigorous Adaptive QoS Control for Distributed Real-Time
Embedded Systems in Unpredictable Environments :
Chenyang Lu, Washington University |
| 15:00-15:30 |
Architectural Design, Behavior Modeling and Run-time Verification
of Network Embedded Systems: Man-tak Shing, Naval Postgraduate School
|
| 15:30-16:00 |
Break |
| 16:00-16:30 |
Outdoor Distributed Computing using Spatial Programming and
Smart Messages
: Liviu Iftode, Rutgers |
| 16:30-18:30 |
Challenge wrap-up
Chaired by Raj Rajkumar, MIT |
| 19:30:... |
Banquet at Hotel Laguna |
September 23, 2005
| 8:30-9:30 |
Feng Zhao, Microsoft |
| 9:30-10:00 |
The GridLite DREAM: Bringing the Grid to Your Pocket: Nenad
Medvidovic, USC |
| 10:00-10:30 |
Break |
| 10:30-11:00 |
DARX - a Self-Adapting Fault Tolerance Framework For Agents:
Olivier Marin, University of Pierre & Marie Curie, Paris, France
|
| 11:00-11:30 |
PolyORB, a tailorable and verifiable middleware: Laurent
Pautet, Telecom Paris |
| 11:30-12:00 |
Towards the Design and Verification of
Adaptable Networked Mechatronic Systems: Holger Giese, Univ. paderborn |
| 12:00-13:30 |
Lunch |
| 13:30-14:00 |
Towards Dynamic Partitioning of States of a Reactive System: Victor
Train Controller Case Study : Victor Winter, Univ. of Nebraska at Omaha |
| 14:00-14:30 |
Applying Service-Oriented Development
to Complex System: Ingolf Krueger, UCSD, USA |
| 14:30-15:00 |
E(mergency)-Net: a Challenge Problem : Gabor Karsai, Vanderbilt University |
| 15:00-15:30 |
Industrial Strength Tools and Analysis: Ben Watson, Lockheed Martin
|
| 15:30-16:00 |
Break |
| 16:00-17:30 |
Challenge wrap-up
Chaired by Martin Rinard, Carnegie Mellon University |
| 19:00-... |
Banquet at Orange Hill Restaurant (40mn from Hotel Laguna) |
September 24, 2005
| 8:30-9:00 |
Providing dependable services with unreliable SoCs - the DECOS Approach:
Hermann Kopetz, Vienna University of Technology
|
| 9:00-9:30 |
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-
Hoc Nautical Network (DANN):
Luqi Naval Postgraduate School |
9:30-10:00 |
A Component-based Approach for Constructing
High-confidence Distributed Embedded Systems: Barrett
Bryant, University of Alabama, Birmingham
|
| 10:00-10:30 |
Break |
| 10:30-12:00 |
Final wrap-up session
Chaired by Kane Kim, Fabrice Kordon Zohar Manna and Janos Sztipanovits |
Facilities
There will be an LCD projector and a notebook with Windows XP.
|
