ISAS 2006

The 3rd International Service Availability Symposium

Helsinki, Finland, May 15-16, 2006

Program

Monday 15 May, 2006
Time
08:15	Registration
08:45	Welcome
	Papers track 1: Availability Modeling, Estimation and Analysis
09:00	Model Based Approach for Autonomic Availability Management Kesari Mishra
09:30	Analysis of a Service Degradation Model with Preventive Rejuvenation Hiroyuki Eto and Tadashi Dohi
10:00	Break
10:30	Estimating SLAs Availability/Reliability in Multi-Services IP Networks Saida Benlarbi
11:00	Making Services Fault Tolerant Pat Pik Wah Chan, Michael Lyu and Miroslaw Malek
11:30	Performability Analysis of Storage Systems in Practice: Methodology and Tools Hairong Sun, Tina Tyan, Steve Johnson, Richard Elling, Nisha Talagala and Robert B. Wood
12:00	Lunch
	Keynote
13:00	Incremental Software Construction: Methodology and Correctness Aspects Ralph-Johan Back
	Papers track 2: Dependability Techniques and Their Applications
14:00	Using Web Service Transformations to Implement Cooperative Fault Tolerance Toshiyuki Moritsu, Junichi Toyouchi, Matti A. Hiltunen, Richard D. Schlichting and Yasuharu Namba
14:30	Reducing the recovery times of IP-Phones in an H.323 based VoIP System Sachin Garg, Chandra Kintala and David Stott
15:00	Break
15:30	Hardware instruction counting for log-based rollback recovery on x86-family processors Daniel Stodden, Hubert Eichner, Max Walter and Carsten Trinitis
16:00	Improving Robustness Testing of COTS OS Extensions Constantin Sârbu, Andréas Johansson, Falk Fraikin and Neeraj Suri
16:30	Transparent Checkpointing for Applications with Graphical User Interfaces Jan-Thomas Czornack, Carsten Trinitis and Max Walter
17:00	Adjourn
19:00	Conference dinner

Tuesday 16 May, 2006
	Papers track 3 Performability: Measurements and Assesments
09:00	Assessing Software Reliability From The Customer's Perspective Mario R. Garzia
09:30	Performance Measurement and Tuning of Hot-Standby Databases Antoni Wolski and Vilho Raatikka
10:00	A Simulation-Based Case Study Multi-Cluster Redundancy Solutions Maria Toeroe
10:30	Break
11:00	Inconsistency Evaluation in a Replicated IP-based Call Control System Thibault Renier, Erling Matthiesen, Hans-Peter Schwefel and Ramjee Prasad
11:30	Measuring the dependability of Web Services for use in e-Science experiments Peter Li, Yuhui Chen and Alexander Romanovsky
12:00	Lunch
	EU Dependability Projects Track
13:00	European Security Forum for web services, software, and systems (ESFORS) Jim Clarke
	HIgh DEpendability in IP Based NETworks and Services (HIDENETS) Manfred Reitenspieß
	Global System for Telematics (GST) Gerard Segarra
	Dependable Security by Enhanced Reconfigurability (DESEREC) Benoit Bruyere
14:40	Break
	Papers track 4: Service Availability Standards: Experience Reports and Futures
15:00	Making Legacy Services Highly Available with OpenAIS: An Experience Report András Kövi, Dániel Varró and Zoltán Németh
15:30	Using openAIS for Building Highly Available Session Initiation Protocol (SIP) Registrar Ajay Kamalvanshi and Timo Jokiaho
16:00	Searching for Synergy: Java and SAF AIS T. Laine, J. Biró, J. Riihelä, J. Jensen, M. Karlson, P. Kristiansson
16:30	The Emerging SAF Software Management Framework M. Toeroe, P. Frejek, F. Tam, S. Penubolu, K. Kasturi
17:00	The Service Availability Forum Security Service (SEC): Status and future directions P. Badovinatz, S. Balakrishnan, M. Pourzandi, M. Reitenspieß and C. Tindel
17:30	Closing Remarks
17:45	Close