IPDS Program

:::::::::::::::::::::::::::::::::::::::::: PROGRAM ::::::::::::::::::::::::::::::::::::::::::

Session 1C: IPDS Practical Experience Reports
Chair: Henrique Madeira

10:30 - 12:00, MONDAY, JUNE 24

Measuring End-User Availability on the Web: Practical Experience
Matthew Merzbacher and Dan Patterson (U.C. Berkeley, Computer Science Division, Berkeley, CA, USA)

Advanced Pattern Recognition for Detection of Complex Software Aging Phenomena in Online Transaction Processing Servers
Karen J. Cassidy (SmartSignal Corporation, Lisle, IL, USA), Kenny C. Gross (Sun Microsystems, San Diego, CA, USA), Amir Malekpour (Sun Microsystems, Palo Alto, CA, USA)

JACA: a Reflective Fault Injection Tool based on Patterns
Eliane Martins, Cecilia Mary, Fisher Rubira, Nelson Guilherme, Mendes Leme (Institute of Computing - State University of Campinas (UNICAMP), Campinas, Brasil)

Automatic Generation of Availability Models in RAScad
Dong Tang, Ji Zhu, and Roy Andrada (Sun Microsystems, Palo Alto, CA, USA)

:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

Session 2C: Security and Fault Tolerance
Chair: Tim Tsai

13:30 - 15:30, MONDAY, JUNE 24

Evaluating the Security Threat of Firewall Data Corruption Caused by Instruction Transient Errors
Shuo Chen, Jun Xu, Ravishankar K. Iyer (Center for Reliable and High-Performance Computing University of Illinois at Urbana-Champaign, Urbana, IL, USA), Keith Whisnant (Center for Reliable and High-Performance Computing University of Illinois at Urbana-Champaign, Urbana, IL, USA)

Modeling and Quantification of Security Attributes of Software Systems
Bharat B. Madan, (Dept. of ECE, Duke University, Durham, NC, USA), Katerina Goseva-Popstojanova (Dept. of Computer Science and Electrical Engineering, West Virginia University, Morgantown, WV, USA), Kalyanaraman Vaidyanathan, Kishor S. Trivedi (Dept. of ECE, Duke University, Durham, NC, USA)

Stepwise Construction and Refinement of Dependability Models
Claudia Betous-Almeida and Karama Kanoun (LAAS-CNRS, Toulouse, France)

Ditto Processor
Shih-Chang Lai (Dept. of ECE Oregon State University, Corvallis, OR, USA), Shih-Lien Lu, Konrad Lai (Microprocessor Research Labs, Intel Corp., USA), Jih-Kwon Peir (Dept. of Computer Science University of Florida, Gainesville, FL,

Session 3C: Modeling, Simulation, and Evaluation Tools
Chair: Mohamed Kaaniche

16:00 - 17:30, MONDAY, JUNE 24

(Short presentations of tools, followed by on-site demonstrations)

CAVEAT: A Tool for Software Validation
P.Baudin, A.Pacalet, J.Raguideau, D.Schoen, N.Williams (CEA Saclay, DTSI-SLA, Cedex, France)

CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs
Adriana Carloganu, Jacques Raguideau (CEA Saclay, France)

C-Sim – the C Language Enhancement for Discrete-Time Systems Simulation
Jan Hlavicka (Czech Technical University in Prague, Prague, Czech Republic), Stanislav Racek (University of West Bohemia, Pilsen, Czech Republic)

DrawNet++: A Flexible Framework for Building Dependability Models
G. Franceschinis, C. Bertoncello (Universita’ del Piemonte orientale, Torino, Italy), M. Gribaudo (Universita’di Torino, Torino, Italy), M. Iacono, (Seconda Universita’di Napoli, Aversa, Italy), V. Vittorini (Universita’ di Napoli "Federico II", Napoli, Italy)

Libsafe: Transparent System-Wide Protection against Buffer Overflow Attacks
T. Tsai, N. Singh (Avaya Labs Research, Basking Ridge, NJ, USA)

NFTAPE: Networked Fault Tolerance and Performance Evaluator
D. Stott, P.H. Jones, M. Hamman, Z. Kalbarczyk, R.K. Iyer (Center for Reliable and High-Performance Computing University of Illinois at Urbana-Champaign, Urbana, IL, USA)

PhFit: A General Phase-type Fitting Tool
Andrea Bobbio (DISTA, Universita del Piemonte Orientale, Alessandria, Italy), Andras Horvath, Miklos Telek (Dep. Of Telecommunications, Budapest University of Technology and Econmics, Budapest, Hungary)

SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
Kishor S. Trivedi (Center for Advanced Computing and Communication, Department of Electrical and Computer Engr., Duke University, Durham, NC, USA)

SMART: Stochastic Model Analyzer for Reliability and Timing
G. Ciardo, R. L. Jones, III, R. M. Marmorstein, R. Siminiceanu (Department of Computer Science, College of William and Mary, Williamsburg, VA, USA), A. S. Miner, (Department of Computer Science, Iowa State University, Ames, IA, USA)

SREPT: A Tool for Software Reliability Estimation and Prediction
K. S. Trivedi (Center for Advanced Computing and Communication, Department of Electrical and Computer Engr., Duke University, Durham, NC, USA)

Xception™ - Enhanced Automated Fault-Injection Environment
R. Maia, L. Henriques, D. Costa, (Critical Software, Coimbra, Coimbra, Portugal), H. Madeira (University of Coimbra, Coimbra, Portugal)

Session 4C: Performance and Dependability Modeling
Chair: Aad van Moorsel

08:30 - 10:00, TUESDAY, JUNE 25

Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements
Andrea Coccoli (CNUCE-CNR, Pisa, Italy), Peter Urban, Andre Schiper (Ecole Polytechnique F´ed´erale de Lausanne (EPFL, Lausanne, Switzerland), Andrea Bondavalli, (Universit`a di Firenze, Firenze, Italy)

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach
Ann T. Tai (IA Tech, Inc. Los Angeles, CA, USA), William H. Sanders (Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, USA), Leon Alkalai, Savio N. Chau, (Jet Propulsion Laboratory, Pasadena, CA, USA), Kam S. Tso, (IA Tech, Inc. Los Angeles, CA, USA)

A Simple Characterization of Provably Efficient Prefetching Algorithms
Wei Jin, Rakesh D. Barve, Kishor S. Trivedi (Center for Advanced Computing & Communication, Dept. of ECE, Duke University, Durham, NC, USA)

Panel on Dependability Benchmarking: Methods, Techniques and Approaches

16:00 - 17:30, MONDAY, JUNE 24

Joint Panel - IPDS and Workshop on Dependability Benchmarking

Moderator: Ravi Iyer

Organizers: Ravi Iyer, Zbigniew Kalbarczyk (Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, Urbana, IL, USA), Philip Koopman, (Department of ECE, Carnegie Mellon University, Pittsburgh, PA, USA), Henrique Madeira (University of Coimbra, Coimbra, Portugal),
Panelists: Gunter Heiner (Daimler-Chrysler, Germany), Karama Kanoun (LAAS-CNRS, France), Haim Levendel (Motorola, USA), Brendan Murphy (Microsoft, UK), Larry Votta (Sun Microsystems, USA)

Session 5C: Fault Tolerant Design and Evaluation
Chair: Rick Harper

10:30 - 12:30, TUESDAY, JUNE 25

An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications
Keith Whisnant, Ravi Iyer, Phillip Jones (Center for Reliable and High-Performance Computing, University of Illinois at Urbana-Champaign, Urbana, IL, USA), David Rennels (Univ. of California Los Angeles, CA, USA), Raphael Some (Jet Propulsion Laboratory, Pasadena, CA, USA)

Pinpoint: Problem Determination in Large, Dynamic Systems
Mike Y. Chen, (U.C. Berkeley, Computer Science Division, Berkeley, CA, USA) Emre Kiciman, Eugene Fratkin, Armando Fox (Stanford University, Stanford, CA, USA), Eric Brewer, (U.C. Berkeley, Computer Science Division, Berkeley, CA, USA)

Minimizing Mean-Time-To-Recover in a Recursively Restartable Software System
George Candea, James Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda (Stanford University, Stanford, CA, USA)

Recovery and Performance Balance of a COTS DBMS in the Presence of Operator Faults
Marco Vieira (ISEC Polytechnic Institute of Coimbra, Coimbra, Portugal), Henrique Madeira (DEI-FCTUC University of Coimbra, Coimbra, Portugal)

Session 6C: Modeling Techniques
Chair: Boudewijn Haverkort

13:30 - 15:30, TUESDAY, JUNE 25

The Scale Factor: A New Degree of Freedom in Phase Type Approximation
Andrea Bobbio (DISTA, Universita del Piemonte Orientale, Alessandria, Italy), Andras Horvath, Miklos Telek (Dep. Of Telecommunications, Budapest University of Technology and Econmics, Budapest, Hungary)

Efficient state space generation of GSPNs using decision diagrams
Andrew Miner (Department of Computer Science, Iowa State University, Ames, IA, USA)

An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets
Peter Buchholz (Institute for Applied Computer Science, Dresden University of Technology, Dresden, Germany)

Parallel Randomization for Large Structured Markov Chains
Kemper Peter (Informatik IV, Universitat Dortmund, Dortmund, Germany)

Session 7C: Invited Industry Session: Measurements and Evaluation
Chair: Dong Tang

08:30 - 10:00, WEDNESDAY, JUNE 26

Test and Development Process Retrospective: a Case Study using ODC Triggers
R. Chillarege, K. Prasad, (Chillarege Inc., New York, USA)

Availability Requirement for a Fault Management Server in High-Availability Communication Systems
H. Sun, J. Han, H. Levendel, (Motorola Inc., Schaumburg, IL, USA)

Analysis of Failure and Recovery Rates in a Wireless Telecommunications System
S. Matz, L. Votta, M. Malkawi, (Motorola Inc., Arlington Heights, IL, USA)

Application Performance Assurance via Post-Production Monitoring
S. Dalal, Yu-Y. Ho, A. Jain, and A. McIntosh, (Telcordia Technologies, Morristown, NJ, USA)

Session 8C: Internet Performance and Dependability
Chair: Andrea Bobbio

10:30 - 12:30, WEDNESDAY, JUNE 26

Resource Management Policies in GPRS Wireless Internet Access Systems
Michela Meo, Marco Ajmone Marsan, Cecilia Batetta (Dipartimento di Elettronica, Politecnico di Torino, Torino, Italy)

Evaluating the Impact of Different Document Types on the Performance of Web Cache Replacement Schemes
Christoph Lindemann and Oliver P. Waldhorst (Department of Computer Science, University of Dortmund, Dortmund, Germany)

A Validation of the Pseudo Self-Similar Traffic Model
Boudewijn Haverkort, Rachid El Abdouni, Ramin Sadre (Laboratory for Performance Evaluation and Distributed Systems, Department of Computer Science, RWTH Aachen, Germany)

Evaluation of the Maximum Level Reached by a Queue Over a Finite Period
G. Rubino (Irisa/Inria/EnstB, Campus de Beaulieu, Rennes Cedex, France)

Session 9C: Modeling, Measurement, and Analysis of Distributed Systems
Chair: Gianfranco Ciardo

14:00 - 16:00, WEDNESDAY, JUNE 26

Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems
Olivia Das and C. M. Woodside (Department of Systems and Computer Engineering, Carleton University, Ottawa, Ontario, Canada)

Self-Organizing Systems with Self-Diagnosability
Kiyoaki Yoshida (Kurume Institute of Technology, Kurume, Fukuoka, Japan), Tohru Kohda (Kyushu University, Higashi, Fukuoka, Japan), Yasumasa Sujaku (Kurume Institute of Technology, Kurume, Fukuoka, Japan)

A Compositional Approach to Monitoring Distributed Systems
Mohammad Zulkernine and Rudolph E. Seviora (Bell Canada Software Reliability Laboratory, University of Waterloo, Waterloo, Ontario, Canada)

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization
Paolo Ballarini, Simona Bernardi, and Susanna Donatelli (Dip. Di Informatica, Universita di Torino, Torino, Italy)