The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness

Research output: Contribution to conferencesPaperContributedpeer-review

Contributors

Abstract

Real-time behavior is specified in compliance with timeliness requirements, which in essence calls for synchronous system models. However systems often rely on unpredictable and unreliable infrastructures, that suggest the use of asynchronous models. Several models have been proposed to address this issue. We propose an architectural construct that takes a generic approach to the problem of programming in the presence of uncertain timeliness. We assume the existence of a component, capable of executing timing functions, which helps applications with varying degrees of synchrony to behave reliably despite the occurrence of timing failures. We call this component the Timely Computing Base, TCB. This paper describes the TCB architecture and model, and discusses the application programming interface for accessing the TCB services. The implementation of the TCB services uses fail-awareness techniques to increase the coverage of TCB properties.

Details

Original languageEnglish
Pages533-542
Number of pages10
Publication statusPublished - 2000
Peer-reviewedYes

Conference

TitleInternational Conference on Dependable Systems and Networks 2000
Abbreviated titleDSN 2000
Duration25 - 28 June 2000
Degree of recognitionInternational event
CityNew York
CountryUnited States of America

External IDs

Scopus 0034590618

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Keywords

  • Timing, Real time systems, Navigation Electronic Switching systems, Air traffic control, intelligent networks, Network servers, multimedia systems, Collaborative software, Collaborative work, application program interfaces, fault tolerant computing, real-time system, timely computing base, timely actions, uncertain timeliness, synchronous system models, architectural construct, timng functions, application programming interface