 |
You can download ISAS 2005
advance
program.
2nd International
Service Availability Symposium
25-26 April 2005, Berlin
Advance Program
Monday, April 25
| 8:00 – 9:00 |
Registration |
9:00 – 9:15 |
Welcome Address
Miroslaw Malek and Neeraj Suri |
9:15 – 10:15 |
Session 1:
Keynote Address
Session Chair: Neeraj Suri
TTA-supported Service Availability
Hermann Kopetz,
Vienna University of Technology
|
10:15 –
10:45 |
Break |
10:45 –
12:15 |
Session 2: Data and Computation Availability
Session Chair: Christof Fetzer
The Value of Conformance Testing and a Look at the SAF Test Project
Bob Spencer, Intel Corporation
Building Highly Available Application using SA Forum Cluster: A Case Study of 3G GGSN Application
Ajay Kamalvanshi, Timo Jokiaho, Nokia
Using Logical Data Protection and Recovery to
Improve Data Availability
Wei Hu,
Oracle Corporation
|
|
12:15 –
13:30 |
Lunch
|
|
13:30 –
15:00 |
Session 3: Specifying, Modeling and Verifying
Service Availability
Session Chair: Aad van Moorsel
Contract-based Web Service Composition Framework with Correctness Guarantees
Nikola Milanovic
Humboldt University Berlin
Practical Approach to Specification and Conformance Testing of Distributed Network Applications
Victor Kuliamin, Alexander Petrenko, Nickolay Pakoulin
Institute for System Programming, Russian Academy of Sciences
Model-based Optimization of Enterprise Application and Service Deployment
András Balogh, Dániel Varró, András Pataricza
Budapest University of Technology and Economics
|
15:00 –
15:30 |
Break |
15:30 –
17:00 |
Session 4:
Panel
Discussion
Panel Moderator: Miroslaw Malek
"Are Service-oriented Architectures the Panacea for a
High-Availability Challenge?"
Roger Kilian-Kehr (SAP), Brendan Murphy (Microsoft
Research),
Aad van Moorsel (University of Newcastle),
Guido Laures (Hasso Plattner Institute)
|
|
19:30 |
Boat
Cruise and Dinner |
Tuesday, April 26
|
|
8:30
– 10:30 |
Session 5 (Invited papers): Modeling and
Composition
Session Chair: Guenter Heiner
Modeling User-Perceived Service Availability
Dazhi Wang, Kishor Trivedi
Duke University
Dependable Distributed Computing using Free Databases
Christof Fetzer, Trevor Jum
Technical University of Dresden
A Compositional Framework for Real-Time Embedded Systems
Insup Lee, Insik Shin
University of Pennsylvania
Composability of Ad Hoc Mobile Middleware and Trust Management for Critical Infrastructures
Dave E. Bakken, Ovidiu-Valentin Drugan, Ioanna Dionysiou,
Thomas Plagemann, Deborah Frincke, Carl Hauser
University of Oslo
|
10:30 –
11:00
|
Break |
|
11:00 –
11:45 |
Session 6: Invited talk
Session Chair: Manfred Reitenspiess
The SAF Availability Management Framework:
Towards Standardized HA Middleware
David
Penkler, HP
|
|
11:45 - 13:15 |
Session 7: Service
Availability Forum Special Session
Session Chair: Francis Tam
Transparent Checkpointing on Linux in Comparison with
App-oriented/app-directed ckpt (as in AIS)
Jan-Thomas Czornack, TU Munich
HPI as an Interface to ATCA and Other Blade-based Servers
Adam Schmidt, Motorola
Service Availability; Its not just Technology!!
Jon Kenton, Motorola
|
|
13:15 –
14:30 |
Lunch
|
|
14:30 –
16:00 |
Session 8: Verification and Availability
Assessment
Session Chair: Kishor Trivedi
Proof-Based Systems Engineering Using Virtual System Models
Gerard Le Lann, INRIA Rocquencourt
Martin Biely, Ulrich Schmid, Vienna University of Technology
Evaluation of the Impact of Congestion on Service Availability in GPRS infrastructures
Paolo Lollini, Andrea Bondavalli, University of Florence
Felicita Di Giandomenico, ISTI - CNR
Characterizing Session Initiation Protocol (SIP) Network Performance and Reliability
Vijay Gurbani, Lalita Jagadeesan, Veena Mendiratta
Bell Labs, Lucent Technologies
|
|
