The FastAbstracts

The idea of FastAbstracts is new to FTCS - providing an opportunity to rapidly report on current work and gain feedback. FastAbstracts are two pages long, published on the Web and in printed form and presented in a four minute talk at a special session on June 23rd.

---

Session 3B - FastAbstracts I: Design for Dependability

[#382] D.A. Rennels
FTSM: A Fault-Tolerant Spaceborne Microcontroller
D.W. Cadwell, D.A. Rennels, University of California at Los Angeles, USA

[#373] J.A. Rohr
Software-Implemented Fault Tolerance for Supercomputing in Space
J.A. Rohr, Jet Propulsion Laboratory, Pasadena, USA

[#388] P. Sobe
An Efficient Fault-detecting Protocol for Communicating Duplex Systems
P. Sobe, Dresden University of Technology, Germany

[#357] S. Blanton
Fault-Tolerance via Test and Reconfiguration
S. Blanton, H. Schmit, S. Goldstein, Carnegie Mellon University, Pittsburgh, USA

[#360] J.M.V. Santos
Dependable Circuits Based on the XMR Architecture
J.M. Vieira Santos, J.M. Martins Ferreira, University of Porto, Portugal

[#356] S.-C. Chau
A Method to Implement Clustered RAID
S.-C. Chau, University of Lethbridge, Canada; A. W.-C. Fu, Chinese University of Hong-Kong, China

[#367] A.K. Somani
Low-Cost Data Integrity Checking Schemes for Cache Memories
S. Kim, A.K. Somani, Iowa State University, Ames, USA

[#370] V.S.S. Nair
A System Level Technique for On-Line Detection of Control Flow Errors
Z. Alkhalifa, V.S.S. Nair, Southern Methodist University, Dallas; N. Krishnamurthy, J.A. Abraham, University of Texas at Austin; USA

[#353] C.F. Nourani
Designing Fault Tolerant Systems with Multiagent AI
C.F. Nourani, METAAI and University of California, Santa Barbara, USA

[#351] J.C. Knight
Enhancing Survivability of Critical Information Systems
J.C. Knight, K Sullivan, X. Du, C. Wang, M. Elder, R.W. Lubinsky, University of Virginia, Charlottesville, USA

[#393] C.M.F. Rubira
Integration of Fault Tolerance Techniques: A System of Patterns to Cope with Hardware, Software and Environmental Fault Tolerance
L. Lamour Ferreira, C.M.F. Rubira, University of Campinas, Brazil

[#395] A.Y. Butt
Fault Tolerating Block for Fault Avoidance/Protection in Software
J. Ahmad Khan, A. Yousuf Butt, Ghulam Ishaq Khan Institute of Engineering Sciences and Technology, Pakistan

[#372] Y. Chen
A Redundant Virtual Service Redirector for Computer Networks
Y. Chen, University of the Witwatersrand, Johannesburgh, South Africa

[#368] F.C. Gärtner
Enhancing the Fault Tolerance of Replication: Another Exercise in Constrained Convergence
F.C. Gärtner, H. Pagnia, Darmstadt University of Technology, Germany

[#374] N.T. Wells
Using The ATMS for Telecommunication Network Fault Management
N.T. Wells, W.Liu, K. Adamson, University of Ulster, Northern Ireland

[#381] B. Ayeb
The Byzantine Generals Problem: Identfying the Traitors
B. Ayeb, A. Farhar, University of Sherbrooke, Canada

[#386] F. Jahanian
Scalable Group Composition with End-to-end Delivery Semantics
S. Johnson, F. Jahanian, J.Shah, University of Michigan, Ann Arbor, USA

[#380] A.W. Krings
Distributed Agreement in a Security Application
A.W. Krings, University of Idaho, Moscow; M.A. McQueen, INEEL, Idaho Falls; USA

[#378] E. Verenziotis
Fault Tolerant Communication Tools in Embedded Supercomputing
E. Verenziotis, A. Meliones, T. Varvarigou, G. Efthivoulidis, A.Kontizas, National Technical University of Athens, Greece

[#397] L. Alvisi
Hybrid Message LoggingProtocols
S.S. Rao, L. Alvisi, H.M. Vin, University of Texas at Austin, USA

[#391] C. Pérez
Micro-Kernel support for Fault-Tolerant Application Development on Distributed Systems
C. Pérez, University of Valencia; G. Fabregat, Jaume I University; R.J. Martínez, G. Martín, University of Valencia; Spain

[#392] C.M.F. Rubira
A Reflective Object-Oriented Framework for Developing Dependable Distributed Software Based on Patterns and Metapatterns
D.M. Beder, C.M.F. Rubira, University of Campinas, Brazil

[#398] R.K. Iyer
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance
S.Bagchi, K. Whisnant, Z.Kalbarczyk, R.K.Iyer, University of Illinois at Urbana-Champaign, USA

[#387] J.S. Plank
NetSolve: An Environment for Deploying Fault-Tolerant Computing
J.S. Plank, H. Casanova, J.J. Dongarra, T. Moore, University of Tenessee, Knoxville, USA

Session 3C - FastAbstracts II: Dependability Assessment

[#396] A. Avizienis
The Taxonomy of Design Faults in COTS Microprocessors
A. Avizienis, Y. Henis, University of California at Los Angeles, USA

[#390] J. Sosnowski
Experiments with On-chip Monitoring in Pentium Processors
J. Sosnowski, J. Nowicki, Warsaw Technical University, Poland

[#366] J.A. Abraham
Functional Self-Test Generation for Superscalar Microprocessors
J. Shen, J.A. Abraham, N. Chander, University of Texas at Austin, USA

[#361] J.P. Hayes
Realization-Independent Testing of IP-Based Systems
H. Kim, J.P. Hayes, University of Michigan, Ann Arbor, USA

[#379] A. Pietschker
Techniques for Automated Test Generation from System Specifications
A. Pietschker, J.S. Fitzgerald, University of Newcastle Upon Tyne, UK

[#364] O. Theel
Exploiting Control Theory for Proving the Stability of Distributed Algorithms
O. Theel, F.C. Gärtner, Darmstadt University of Technology, Germany

[#376] J.A. Abraham
On Automating Abstraction Proofs
R. Sumners, J.A. Abraham, University of Texas at Austin, USA

[#389] A. Fantechi
Formal Validation of Fault-tolerance Mechanisms
C. Bernardeschi, University of Pisa; A. Fantechi, University of Florence; S. Gnesi, IEI-CNR; A. Santone, University of Pisa; Italy

[#394] K.J. Hollingworth
Requirements and Safety Analysis using Constraints - CoRSA
K.J. Hollingworth, University of Newcastle upon Tyne, UK

[#399] Robert W. Horst
A Fault Model for System Area Networks
Robert W. Horst, Tandem, a Compaq Company, Cupertino, USA

[#375] Pedro Gil
A Fault Injection Tool for VHDL Models
D. Gil, J.V. Busquets, J.C. Baraza, P. Gil, Polytechnic University of Valencia, Spain

[#354] A. Benso
A Hybrid Fault Injection Methodology for Real Time Systems
A. Benso, P.L. Civera, M. Rebaudengo, M. Sonza Reorda, Politecnico di Torino; A. Ferro, Prodigital, Isola d'Asti; Italy

[#384] J.C. Cunha
A Software-Implemented Fault Injector for Real-Time Systems
J.C. Cunha, ISEC, Coimbra; J.G. Silva, University of Coimbra; Portugal

[#359] R. Maxion
Toward Middleware Fault Injection for Automotive Networks
P. Koopman, E. Tran, G. Hendrey, Carnegie Mellon University, Pittsburgh, USA

[#365] A. Steininger
How Reproducible should Fault Injection Experiment be?
A. Steininger, Vienna University of Technology, Austria

[#385] J.G. Silva
The Pygmalion Effect in Experimental Dependability Evaluation
J. Carreira, S. Carvalho, J.G. Silva, University of Coimbra, Portugal

[#383] D.R. Avresky
Software Implemented Fault Tolerance in Hypercube (Exp. System)
D.R. Avresky, Boston University; S. Geoghegan, Texas A&M University, College Station; USA

[#352] D. Costa
Delphos: Dependability Evaluation of COTS DBMS
D. Costa, H. Madeira, J.G. Silva, University of Coimbra, Portugal

[#355] M. Rebaudengo
Evaluating Cost and Effectiveness of Software Redundancy Techniques for Hardware Errors Detection
M. Rebaudengo, M. Sonza Reorda, Politecnico di Torino, Italy

[#363] V.S.S. Nair
Simulation Study for a SONET Restoration Protocol
G. Spiride, V.S.S. Nair, Southern Methodist University, Dallas, USA

[#358] T. Tsuchiya
Maximizing Availability of Quorum-Based Mutual Exclusion Mechanisms
T. Tsuchiya, T. Kikuno, Osaka University, Japan

[#371] P. Gáspár
Complex Failure Models for Dependability Assessment
P. Gáspár, Hungarian Academy of Sciences, Budapest; G. Szabó, Technical University of Budapest, Hungary

[#377] K.B. Djambazov
Prediction of Software Reliability Bounds in New Operational Environment
K.B. Djambazov, Bulgarian Academy of Sciences, Sofia, Bulgaria