Sciweavers

DSN
2003
IEEE
13 years 9 months ago
On the Design of Robust Integrators for Fail-Bounded Control Systems
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
Jonny Vinter, Andréas Johansson, Peter Folk...
DSN
2003
IEEE
13 years 9 months ago
Benchmarking the Dependability of Different OLTP Systems
On-Line Transaction Processing (OLTP) systems constitute the kernel of the information systems used today to support the daily operations of most organizations. Although these sys...
Marco Vieira, Henrique Madeira
DSN
2003
IEEE
13 years 9 months ago
Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many protocols have been published, little has been done to ana...
Péter Urbán, Ilya Shnayderman, Andr&...
DSN
2003
IEEE
13 years 9 months ago
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
DSN
2003
IEEE
13 years 9 months ago
Towards Implementing Multi-Layer Reflection for Fault-Tolerance
François Taïani, Jean-Charles Fabre, M...
DSN
2003
IEEE
13 years 9 months ago
Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study
Systems that are formed by massively distributed mobile resources, such as satellite constellations, often provide mission-critical functions. However, many existing quality-of-se...
Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Cha...
DSN
2003
IEEE
13 years 9 months ago
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems
Clock-related operations are one of the many sources of replica non-determinism and of replica inconsistency in fault-tolerant distributed systems. In passive replication, if the ...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
DSN
2003
IEEE
13 years 9 months ago
ICR: In-Cache Replication for Enhancing Data Cache Reliability
Processor caches already play a critical role in the performance of today’s computer systems. At the same time, the data integrity of words coming out of the caches can have ser...
Wei Zhang 0002, Sudhanva Gurumurthi, Mahmut T. Kan...
DSN
2003
IEEE
13 years 9 months ago
Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP
In a recent paper [2] we have proposed FT-TCP: an architecture that allows a replicated service to survive crashes without breaking its TCP connections. FT-TCP is attractive in pr...
Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi...
DSN
2003
IEEE
13 years 9 months ago
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberd...