Local Chair
Scott Valcourt (U New Hampshire,
US)

Program Co-Chairs
Aad van Moorsel (U Newcastle, UK)
Asif Naseem (GoAhead, US)

Program Committee
A. Avritzer (Siemens, US)
D. Bakken (Washington S., US)
S. Benlarbi (Alcatel, Canada)
K. Birman (Cornell, US)
A. Birolini (ETH, Switzerland)
A. Bondavalli (U Florence, Italy)
A. Burghelea (Cisco, US)
J. Carrasco (UPC, Spain)
I. Chen (Virginia Tech, US)
T. Dohi (Hiroshima U, Japan)
C. Fetzer (TU Dresden, Germany)
R. Fricks (Motorola, US)
M. Garzia (Microsoft, US)
A. Gokhale (Vanderbilt, US)
S. Gokhale (U Connecticut, US)
M. Hasan (Cisco, US)
B. Haverkort (U Twente,
Netherlands)
S. Hunter (IBM, US)
Y. Kakuda (Hiroshima CU, Japan)
A. Krings (U Idaho, US)
V. Loll (Nokia, Denmark)
X. Lu (Tokyo I. Tech., Japan)
M. Lyu (Chinese University, HK)
M. Malek (Humboldt U., Germany)
R. Mansharamani (Tata, India)
V. Mendiratta (Lucent, US)
K. Mori (Tokyo I. Tech., Japan)
B. Murphy (Microsoft, UK)
P. Murray (HP, UK)
E. Nett (U Magdeburg, Germany)
D. Penkler (HP, France)
A. Rindos (IBM, US)
A. Rodriguez-Vargas (Siemens,
Germany)
A. Romanovsky (U Newcastle, UK)
H. Sun (Sun Microsystems, US)
N. Suri (TU Darmstadt, Germany)
H. Szczerbicka (U Hannover,
Germany)
S. Tai (IBM, US)
F. Tam (Nokia, Finland)
K. Trivedi (Duke U, US)
B. Vashaw (IBM, US)
E. Vollset (Cornell, US)
K. Wolter (Humboldt U, Germany)
A. Wolski (Solid Tech., Finland)
J. Xu (U Leeds, UK)
S. Yajnik (Avaya, US)

Steering Committee
F. Tam (Nokia, Finland)
M. Reitenspieß (Fujitsu Siemens
Computers, Germany)
D. Penkler (HP, France)
M. Malek (Humboldt U., Germany)
T. Dohi (Hiroshima U., Japan)
S. Benlarbi (Alcatel, Canada)

Conference Tutorial -- Principles of HA Design for Planners

Tuesday, May 22, 2007, 1530-1900 hrs, Holloway Commons, University of New Hampshire

Speaker: András Kövi, Budapest University of Technology Economics, Hungary

Click here for the tutorial slides in PDF Format.

Click here for the tutorial slides in PowerPoint Format.

The objective of the tutorial is to introduce the principles of High Availability design and show
how these principles can be applied to the development and maintenance of systems. The tutorial
will contain the following chapters:

1. Principles of dependability (basic definitions and system modeling rationale)
2. Fault tolerance / high availability design principles (error detection, error confinement,
   damage assessment, system recovery, service continuity…)
3. Architectural patterns for design for HA (server clustering, redundancy patterns, SW fault tolerance)
4. Service availability evaluation techniques (dependability measures, analysis techniques, e.g.)
5. Design patterns for HA distributed systems (time handling, group membership, group
   communication, transactions, distributed recovery)

The tutorial is built on three major topics: theoretic background of dependability, Service Availability Forum's
Application Interface Specification and the currently running HIDENETS European project (which uses SAForum's
specifications to provide standardized access to essential HA middleware services for applications). In each part,
all the three topics are mentioned and related functionalities, notions, etc. are described. This tutorial is addressed to
all those who are planning to improve the quality of their provided services, and want to know how it could be
realized using the SAForum's Application Interface Specification. The tutorial gives only an overview of HA
principles which may be refined later by detailed courses.

About the Speaker: András Kövi was graduated from the Budapest University of Technology and Economics, Hungary
and received a M.Sc. in Software Engineering. He is currently a research associate of the Fault Tolerant Systems
Research Group at the Department of Measurement and Information Systems. Budapest University became an
an academic member of the SAForum in 2006, offering education-related experience and practices in model-based
development. In particular, the Fault Tolerant Systems Research Group has many years of experience in the
design of HA and embedded systems. The speaker elaborated an industrial demonstrator for legacy services, which was
later presented at ISAS 2006 in Helsinki, and is an active contributor to the HIDENETS European project, which will
demonstrate the usability of the SAForum specifications in the architecture in which it is being developed.