Consensus in the presence of partial synchrony
Journal of the ACM (JACM)
Specifying real-time properties with metric temporal logic
Real-Time Systems
Inconsistency and contamination (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Ordering and timeliness requirements of dependable real-time programs
Real-Time Systems - Special issue: dependability of real-time software
Asynchronous transfer mode (3rd ed.): solution for broadband ISDN
Asynchronous transfer mode (3rd ed.): solution for broadband ISDN
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Fail-awareness in timed asynchronous systems
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
On the impossibility of group membership
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Computers
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX
The Timewheel Group Communication System
IEEE Transactions on Computers
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
IEEE Transactions on Computers
An Engineering Approach to Hard Real-Time System Design
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Fault Tolerance in Embedded Real-Time Systems
Revised Papers from a Workshop on Hardware and Software Architectures for Fault Tolerance
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
On the Quality of Service of Failure Detectors
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Generic Timing Fault Tolerance using a Timely Computing Base
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Fail-Awareness: An Approach to Construct Fail-Safe Applications
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
The Timed Asynchronous Distributed System Model
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
End-Host Architecture for QoS-Adaptive Communication
RTAS '98 Proceedings of the Fourth IEEE Real-Time Technology and Applications Symposium
Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
A control-based middleware framework for quality-of-service adaptations
IEEE Journal on Selected Areas in Communications
The Timewheel Group Communication System
IEEE Transactions on Computers
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
An architectural framework and a middleware for cooperating smart components
Proceedings of the 1st conference on Computing frontiers
A Cheap and Safe COTS Wormhole for Local Area Networks
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 16 - Volume 17
A New Programming Model for Dependable Adaptive Real-Time Applications
IEEE Distributed Systems Online
Building Reliable Mobile Applications with Space-Elastic Adaptation
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
Low complexity Byzantine-resilient consensus
Distributed Computing
Fully Distributed Three-Tier Active Software Replication
IEEE Transactions on Parallel and Distributed Systems
Worm-IT - A wormhole-based intrusion-tolerant group communication system
Journal of Systems and Software
Stabilizing causal deterministic merge
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Adaptive timeliness of consensus in presence of crash and timing faults
Journal of Parallel and Distributed Computing
A Parsimonious Approach for Obtaining Resource-Efficient and Trustworthy Execution
IEEE Transactions on Dependable and Secure Computing
An Adaptive Programming Model for Fault-Tolerant Distributed Computing
IEEE Transactions on Dependable and Secure Computing
A framework for dependable QoS adaptation in probabilistic environments
Proceedings of the 2008 ACM symposium on Applied computing
A Generic Group Communication Approach for Hybrid Distributed Systems
DAIS '09 Proceedings of the 9th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems
Downward communications enhancement using a robust broadcasting mechanism
Expert Systems with Applications: An International Journal
Applying Architectural Hybridization in Networked Embedded Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Self-tuning schedulers for legacy real-time applications
Proceedings of the 5th European conference on Computer systems
Generic-events architecture: Integrating real-world aspects in event-based systems
Architecting dependable systems IV
Learning from the past for resolving dilemmas of asynchrony
ACM SIGOPS Operating Systems Review
Towards timely ACID transactions in DBMS
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Uncertainty and predictability: can they be reconciled?
Future directions in distributed computing
HotOS'09 Proceedings of the 12th conference on Hot topics in operating systems
HotDep'05 Proceedings of the First conference on Hot topics in system dependability
Rewriting: sleeping to get there faster
HotDep'05 Proceedings of the First conference on Hot topics in system dependability
Detecting failures in distributed systems with the Falcon spy network
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Towards real-time middleware for applications of vehicular ad hoc networks
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Embedded Systems Design
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Adaptive real-time scheduling for legacy multimedia applications
ACM Transactions on Embedded Computing Systems (TECS)
Exploiting partitioned synchrony to implement accurate failure detectors
International Journal of Critical Computer-Based Systems
Hi-index | 14.99 |
Current systems are very often based on large-scale, unpredictable, and unreliable infrastructures. However, users of these systems increasingly require services with timeliness properties. This creates a difficult-to-solve contradiction with regard to the adequate time model: synchronous, or asynchronous? In this paper, we propose an architectural construct and programming model which address this problem. We assume the existence of a component that is capable of executing timely functions, however asynchronous the rest of the system may be. We call this component the Timely Computing Base and it can be used by the other components to execute a set of simple but crucial time-related services. We also show how to use it to build dependable and timely applications exhibiting varying degrees of timeliness assurance, under several synchrony models.