gmk@gauss.ece.cmu.edu (Gary Koob) (04/17/87)
- -
ADVANCE ANNOUNCEMENT
FTCS-17
The Seventeenth International
Symposium on Fault-Tolerant Computing
July 6-8, 1987
Sheraton Hotel at Station Square
Pittsburgh, PA, USA
Sponsored by:
The IEEE Computer Society
Technical Committee on Fault-Tolerant Computing
In cooperation with:
The Research Center on Dependable Computing
at Carnegie Mellon University
IFIPS Working Group 10.4
on Reliable Computing and Fault-Tolerance
ABOUT THE CONFERENCE
The Fault-Tolerant Computing Symposium is the world's most impor-
tant forum for the dissemination and discussion of new research
in reliable systems. This year the conference will be held in
Pittsburgh-"America's most liveable city" and the home of Carne-
gie Mellon University-at the Sheraton Station Square, located
near the scenic junction of Pittsburgh's three rivers.
Highlights of the conference include a Monday afternoon visit to
the CMU campus and a banquet Tuesday evening. For information
contact:
Prof. John P. Shen
Conference Chair, FTCS-17
Carnegie Mellon University
Pittsburgh PA 15213
Phone: (412) 268-3601
ARPANET: shen@gauss.ECE.CMU.EDU
REGISTRATION
Attendees are encouraged to register in advance. Please use the
registration form in the April issue of IEEE Computer Magazine or
IEEE Design and Test Magazine. The registration fee includes one
copy of the conference proceedings; additional copies may be pur-
chased at the symposium. The student fee does not include meals.
For registration information contact:
Prof. Gary M. Koob
Registration Chair, FTCS-17
Carnegie Mellon University
Pittsburgh PA 15213
Phone: (412) 268-3310
ARPANET: gmk@gauss.ECE.CMU.EDU
FTCS-17 Committee
Conference Chair:
John P. Shen, CMU
Conference Vice-Chair:
Daniel P. Siewiorek, CMU
Program Co-Chairs:
Flaviu Cristian, IBM
Jack Goldberg, SRI Int'l.
Finance Chair:
Roy A. Maxion, CMU
Registration Chair:
Gary M. Koob, CMU
Local Arrangements Chair:
Kent D. Wilken, CMU
Publications Chair:
Mike Schuette, CMU
Publicity Chair:
Bella Bose, Oregon State U.
IEEE-CS TC Chair:
Tom Anderson, U. of Newcastle
_________________________________________________________________
FTCS-17 ADVANCE PROGRAM
SUNDAY, JULY 5
Reception: 8:00 - 10:00 pm (Fountainview Room)
MONDAY, JULY 6
Opening: 8:30 - 10:00 am (Ballroom)
Keynote Speech
Session 1A: 10:30 am - Noon (P&LE Room)
Distributed Fault-Tolerant Algorithms I
Chair: F. Cristian, IBM Almaden Research Center
"Orphan Detection," B. Liskov, R. Scheifler, E. Walker, and
W. Weihl, (MIT)
"On the Correctness of Orphan Elimination Algorithms," M. P.
Herlihy (Carnegie Mellon), N. Lynch (MIT), M. Merritt (AT&T
Bell Labs), and W. Weihl (MIT)
"Sender-Based Message Logging," D. B. Johnson and W.
Zwaenepoel, (Rice)
Session 1B: 10:30 am - Noon (B&O Room)
Test Generation Algorithms
Chair: S. Akers, U. Mass.
"CONT: A Concurrent Test Generation Algorithm," Y. Takamatsu
(Saga U.) and K. Kinoshita (Hiroshima U.)
"Is There Hope for Linear Time Fault Simulation," D. Harel
and B. Krishnamurthy, (Tektronix)
"Fault Analysis in Switch-Level Networks by Implicit
Enumeration," M. Aboulhamid (U. Montreal), Y. Karkouri (U.
Montreal), E. Cerny (U. Montreal), and J. Rajski (McGill)
Lunch: Noon - 1:15 pm (Santa Fe/Topeka/Atchison Rooms)
Panel: 1:15 - 2:45 pm (P&LE Room)
Issues in Design of Large Automated Systems
Chair: D. P. Siewiorek, Carnegie Mellon U.
Tour: 3:00 - 6:00 pm
Carnegie Mellon University
TUESDAY, JULY 7
Session 2A: 8:30 - 10:00 am (P&LE Room)
Distributed Fault-Tolerant Algorithms II
Chair: H. Kopetz, Tech. U. of Vienna
"(Almost) No Cost Clock Synchronization," O. Babaoglu and R.
Drummond, (Cornell)
"Consensus With Dual Failure Modes," F. J. Meyer and D. K.
Pradhan, (U. Mass.)
"Diagnosis of Byzantine Faults in a Distributed Computing
System," K. G. Shin and P. Ramanathan, (U. Michigan)
Session 2B: 8:30 - 10:00 am (B&O Room)
Logic Testing
Chair: Y. Koga, Nat'l Defense Academy, Japan
"A Probabilistic Approach to Locally Exhaustive Testing," K.
Furuya (CHUO U.)
"Shift Register Testing of Sequential Machines," L.-T. Wang
and E. J. McCluskey, (Stanford)
"Algebraic and Structural Computation of Signal Probability
and Fault Detectability in Combinational Circuits," E. J.
Aas and M. R. Mercer, (U. Texas)
Session 3A: 10:30 am - Noon (P&LE Room)
Robust Software
Chair: R. Schlichting, U. Arizona
"Crash Recovery For Binary Trees," D. J. Taylor (U. Water-
loo)
"A Locally Correctable AVL Tree," I. J. Davis (U. Waterloo)
"Avalon: Language Support for Reliable Distributed
Systems," M. P. Herlihy and J. M. Wing, (Carnegie Mellon)
Session 3B: 10:30 am - Noon (B&O Room)
Coding Theory and Self-Checking
Chair: E. Fujiwara, N.T.T.
"A Systematic Code For Detecting t-Unidirectional
Errors," N. K. Jha and M. B. Vora, (U. Michigan)
"On Unordered Codes," B. Bose (Oregon State U.)
"Three-Level Totally Self-Checking Checker for 1-out-of-n
Code," D. L. Tao, P. K. Lala, and C. R. P. Hartman, (Syra-
cuse U.)
Session 4A: 1:30 - 3:00 pm (P&LE Room)
Fault-Tolerant Software
Chair: T. Anderson, U. Newcastle
"Hardware- and Software-Fault Tolerance: Definition and
Analysis of Architectural Solutions," J.-C. Laprie, J. Ar-
lat, C. Beounes, K. Kanoun, and C. Hourtolle, (LAAS)
"Data Diversity: An Approach to Software Fault
Tolerance," P. E. Ammann and J. C. Knight, (U. Virginia)
"Community Error Recovery in N-Version Software: A Design
Study with Experimentation," K. S. Tso and A. Avizienis,
(UCLA)
Session 4B: 1:30 - 3:00 pm (B&O Room)
On-Line Testing
Chair: J. Hayes, U. Michigan
"Concurrent Error Correction in Unidirectional Linear Arith-
metic Arrays," C.-C. Wu (Nat'l Taiwan Inst. of Tech.) and
T.-S. Wu (Nat'l Cheng Kung U.)
"Extended Precision Checksums," N. R. Saxena and E. J.
McCluskey, (Stanford)
"An Approach to Fault Diagnosis in Multimicrocomputer Sys-
tems: Algorithms and Simulation," D. R. Avresky, K. A. Boy-
adjiev, S. G. Dinev, S. G. Marinov, and S. D. Slavkov,
(Higher Inst. for Mech. and Elect. Eng., Sofia)
Session 5A: 3:30 - 5:00 pm (P&LE Room)
Evaluation-based Design of Dependable Software
Chair: J. Goldberg, SRI Int'l
"A Conceptual Model for Multi-version Software," B. Little-
wood (The City U., London) and D. R. Miller (Geo. Washington
U.)
"An Empirical Study of Software Error Detection Using Self-
Checks," S. D. Cha (UC Irvine), N. G. Leveson (UC Irvine),
T. J. Shimeall (UC Irvine), and J. C. Knight (U. Virginia)
"Efficient Scheduling in a TMR Database System," F. M. Pit-
telli (US Naval Academy) and H. Garcia-Molina (Princeton)
Session 5B: 3:30 - 5:00 pm (B&O Room)
Fault-Tolerant System Architecture
Chair: T. B. Smith, IBM T. J. Watson Research Center
"A General Purpose Cache-Aided Rollback Error-Recovery (CAR-
ER) Technique," D. B. Hunt (Hewlett-Packard) and P. N. Mari-
nos (Duke)
"A Highly Available Storage System Using the Checksum
Method," Y. Dishon and C. J. Georgiou, (IBM T.J. Watson)
"Design of a Fault-Tolerant Signalling Transfer Point Within
a Telecommunications Network," P. Richardson (Monash U.), D.
Mansor (La Trobe U.), T. S. Dillon (La Trobe U.), and K. E.
Forward (Melbourne U.)
Panel: 5:15 - 6:30 pm (P&LE Room)
Reliability Modeling of Life-Critical Systems
Chair: R. M. Geist, Clemson U.
Banquet: 7:30 - 10:00 pm
WEDNESDAY, JULY 8
Session 6A: 8:30 - 9:30 am (P&LE Room)
System-Level Diagnosis
Chair: A. Dahbura, AT&T Bell Labs
"System-Level Fault Diagnosis in Malicious Environments," R.
Gupta and I. V. Ramakrishnan, (SUNY Stonybrook)
"System-Level Fault Diagnosability in Probabilistic and
Weighted Models," G. Sullivan (Yale)
Session 6B: 8:30 - 10:00 am (B&O Room)
Robust Algorithms
Chair: S. Reddy, U. of Iowa
"A Synthesis Approach to Design Optimally Fault-Tolerant
Network Architecture," A. Sengupta (U. So. Carolina), P. D.
Joshi (U. So. Carolina), and S. Bandyopadhyay (U. Windsor)
"A Concurrent Error Detecting Conjugate Gradient Algorithm
on a Hypercube Multiprocessor," C. Aykanat and F. Ozguner,
(Ohio State U.)
"Fault-Tolerant Convolution Using Real Systematic Cyclic
Codes," R. Redinbo (UC Davis)
Session 7A: 10:00 am - Noon (P&LE Room)
Dependability Evaluation Through Modeling and Measurement
Chair: J. Meyer, U. Michigan
"Performance Analysis of a Generalized Upset Detection
Procedure," D. M. Blough and G. M. Masson, (Johns Hopkins)
"A Performability Analysis of Two Multi-Processor
Systems," R. M. Smith and K. S. Trivedi, (Duke)
"Monte Carlo Simulation of Computer System
Availability/Reliability Models," A. E. Conway (McGill) and
A. Goyal (IBM T. J. Watson)
"Software Dependability of A Telephone Switching System," K.
Kanoun (LAAS) and T. Sabourin (Alcatel Commutation)
Session 7B: 10:30 am - Noon (B&O Room)
Reconfigurable Arrays
Chair: R. Gueth, Brown Boveri Research Laboratory
"Using Redundancy for Concurrent Testing and Repairing of
Systolic Arrays," L. A. Shombert and D. P. Siewiorek, (Car-
negie Mellon)
"A Reconfigurable Modular Fault-Tolerant Binary Tree
Architecture," A. D. Singh (U. Mass.)
"Reconfiguration of VLSI Arrays: A Covering Approach," F.
Lombardi (U. Colorado), R. Negrini (Politecnico Milan), M.
G. Sami (Politecnico Milan), and R. Stefanelli (Politecnico
Milan)
Lunch: Noon - 1:15 pm (Santa Fe/Topeka/Atchison Rooms)
Session 8A: 1:15 - 2:45 pm (P&LE Room)
Built-In Self Test
Chair: S. Murad, Stanford
"Self Test Using Unequiprobable Random Patterns," H.-J. Wun-
derlich (U. Karlsruhe)
"On the Reconvergent Structure of Combinational Circuits
With Applications to Compact Testing," B. B. Bhattacharya
and S. C. Seth, (U. Nebraska)
"Methodologies for Testing Embedded Content-Addressable
Memories," P. Mazumder and J. H. Patel, (U. Illinois)
Session 8B: 1:15 - 2:45 pm (B&O Room)
Reconfigurable Systems
Chair: Y. Tohma, Tokyo Institute of Technology
"Cost Analysis of On Chip Error Control Coding for Fault-
Tolerant Dynamic RAMs," N. Jarwala and D. K. Pradhan, (U.
Mass.)
"Algebraic Test Generation for Arithmetic Units," A. Chat-
terjee and J. A. Abraham, (U. Illinois)
"Yield and Reliability Enhancement of Large-Area Binary Tree
Architectures," M. C. Howells and V. K. Agarwal, (McGill)
Meeting: 3:00 - 4:30 pm (P&LE Room)
Fault-Tolerant Computing Technical Committee
- -