Two years ago, at FTCS-27 in Seattle, a session was organized to allow attendees to briefly present their work in an unrefereed track called "Works in Progress and Outrageous Opinions." For FTCS-28 in Munich, the process of accepting brief contributions was formalized in that the submissions were lightly screened and a Digest of FastAbstracts (as they became known) was published.

We are continuing the tradition this year at FTCS-29. We are gratified at the response. The 33 FastAbstracts, which will be presented in 3 sessions, cover many aspects of dependable computing. Many of the FastAbstracts are presented by individuals who chose not to submit regular papers to FTCS. Because the FastAbstracts are brief and not rigorously refereed, they allow their authors to:

• report on work that may or may not be complete
• introduce new ideas to the community
• state positions on controversial issues

We hope and expect that the audience will be treated to interesting ideas and food for thought well ahead of when they would ordinarily become available. In return, the authors will get early feedback on their efforts.

 

Charles B. Weinstock
Special Submissions Chair
Software Engineering Institute
Carnegie Mellon University, USA

Irith Pomeranz Program Co-Chair Dept. of Electrical and Computer Engineering University of Iowa, USA

William H. Sanders Program Co-Chair Dept. of Electrical and Computer Engineering and Coordinated Science Laboratory University of Illinois at Urbana-Champaign, USA

---

 

Session 6C: FastAbstracts I

Session Chair: Charles B. Weinstock, Software Engineering Institute, Carnegie Mellon University, USA

TMR for Off-the-Shelf Unix Systems
Eric Daniel and Gwan S. Choi, Texas A&M University, USA

A Divide and Conquer Strategy for Consistency and Troubleshooting in Specifications of Large Designs
Nina Saxena and Jacob A. Abraham, The University of Texas at Austin, USA; Avijit Saha, IBM, USA

A Dependability Architecture Framework for Remote Exploration & Experimentation Computers
Jaynarayan H. Lala and J. Terry Sims, Draper Laboratory, USA

Warnings and Errors: A Measurement Study of a UNIX Server
Eric Daniel, Ronjeet Lal, and Gwan Choi, Texas A&M University, USA

The Voting Virtual Machine: A Flexible Mechanism for Collating Replicated Client Requests and Server Replies
David E. Bakken and David A. Karr, BBN Technologies, USA; Christopher C. Jones and John C. Hale, Washington State University, USA

A Byzantine Resilient Approach to Network Security
Axel W. Krings, University of Idaho, USA; and Miles A. McQueen, INEEL, USA

Möbius: An Extensible Tool for Performance and Dependability Modeling
David Daly, Daniel D. Deavours, Jay M. Doyle, Aaron J. Stillman, and Patrick G. Webster, University of Illinois at Urbana-Champaign, USA

Building Dependable Distributed Objects with the AQuA Architecture
Michel Cukier, Jennifer Ren, and Paul Rubel, University of Illinois at Urbana-Champaign, USA; and David E. Bakken and David A. Karr, BBN Technologies, USA

Limitations of Design Methods of Self-Checking Synchronous Sequential Machines
Stanislaw J. Piestrak, Wroclaw University of Technology, Poland

Session 7C: FastAbstracts II

Session Chair: Ram Chillarege, IBM T.J. Watson Research Center, USA

Classification of Dependable Real-time Protocols: A Formal-Methods Perspective for Validation
Purnendu Sinha and Neeraj Suri, Boston University, USA

The Timely Computing Base
Paulo Veríssimo and António Casimiro, Universidade de Lisboa, Portugal

A System-Level Diagnosis for Internet-based Virtual Private Networks
Gwangil Jeon and Yookun Cho, Seoul National University, Korea

Fault-Tolerance with Multithreaded Computing - A New Approach
Nirmal R. Saxena and Edward J. McCluskey, Stanford University, USA

Software-based Signaturing in Distributed Systems
Saurabh Bagchi, Zbigniew Kalbarczyk, and Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA

Design Diversity for Redundant Systems
Subhasish Mitra, Nirmal R. Saxena, and Edward J. McCluskey, Stanford University, USA

A Channel Recovery Method in TDMA Wireless Systems
Yue Ma, Duke University, USA; James J. Han, Motorola Inc., USA; and Kishor S. Trivedi, Duke University, USA

Scheduling Solutions for a Unified Approach to the Tolerance of Value and Timing Faults
F. Di Giandomenico and F. Grandoni, IEI/CNR, Italy; and A. Bondavalli and I. Mura, CNUCE/CNR, Italy

Using NFTAPE for Rapid Development of Automated Fault Injection Experiments
David T. Stott, Zbigniew Kalbarczyk, and Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA

Workload-Based Estimation of Resource Exhaustion in Software Systems
Kalyanaraman Vaidyanathan and Kishor S. Trivedi, Duke University, USA

Rate Derivative Acceptance Test for Digital Controllers
R. Stroph and T. Clarke, The University of York, UK

The Effects of Failure Correlation on Software Reliability and Performability
Katerina Goševa-Popstojanova and Kishor Trivedi, Duke University, USA

Session 8C: FastAbstracts III

Session Chair: Karama Kanoun, LAAS-CNRS, France

Fault Tolerance with Independent Checkpointing in Distributed Shared Memory
Florin Sultan and Liviu Iftode, Rutgers University, USA

Forward Error Recovery of Parallel Processes
Peter Sobe, Medical University of Luebeck, Germany

An Integrated Heuristic for Best Effort Scheduling of (m,k)-firm Streams in Point-to-Point Networks
Aaron Striegel, Casey Reynolds, and G. Manimaran, Iowa State University, USA

A High Speed RNS Processor with TSC Code Error Detection
Jimson Mathew and Damu Radhakrishnan, Nanyang Technological University, Singapore

Controlling Recovery Time with Message Logging
Kuo-Feng Ssu, University of Illinois at Urbana-Champaign, USA; and Bin Yao and W. Kent Fuchs, Purdue University, USA

Implementing Integrated Fine-Grain Customizable QoS Using Cactus
Matti A. Hiltunen, Richard D. Schlichting, and Gary Wong, The University of Arizona, USA

Reliability Issues in Implementing COTS-Based Parallel Processors for Space
David A. Rennels, University of California at Los Angeles, USA

A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems
R. Al-Omari, G. Manimaran, and A. Somani, Iowa State University, USA

Primary-Backup Based Fault-Tolerant Dynamic Scheduling of Tasks in Multiprocessor Real-Time Systems
Indranil Gupta, G. Manimaran, and C. Siva Ram Murthy, Indian Institute of Technology, India

Transparent TCP/IP based Replication
Christof Fetzer, University of California at San Diego, USA, and Shivakant Mishra, University of Wyoming, USA

DaAgent: A Dependable Mobile Agent System
Shivakant Mishra, Yanjun Huang, and Harshavardhan Kuntur, University of Wyoming, USA

Beyond RAID: An Architecture for Improving PC Fault Tolerance and Performance
Robert Horst, Jim McDonald, and Bill Alessi, 3ware, Inc., USA