Timing specification and verification for fault-tolerant distributed computer systems

Thesis/Dissertation · Wed Jan 01 04:00:00 EST 1986

OSTI ID:6963837

Yang, S M

The objective of this research was to develop the tools for timing specification, system design, and timing verification for distributed hard-real-time systems with fault-tolerance capabilities. More specifically, the research dealt with following problems: (1) techniques and tools for structuring fault-tolerant interacting processes, and (2) techniques for timing specification and verification. One of the difficult and least understood problems in fault-tolerant software design is to structure and validate fault-tolerant interacting processes. Conversation was proposed by Randell as an approach to structuring properly coordinated error detection and backward recovery actions of interacting processes. The research reported here was aimed at confirming the conversation scheme as a concrete technology for design of fault-tolerant software in hard-real-time systems. First, two of the formulations made earlier by Kim were further refined and prototype implementations were realized on the basis of two established concurrent programming languages. Second, the execution time costs of using the conversation were analyzed by use of a queueing network model that could cover various application environments. Third, cost-effective approaches to incorporation the conversation scheme into distributed computing systems (DCSs) were established.

• Research Organization: University of South Florida, Tampa (USA)
• OSTI ID: 6963837
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
990300 -- Information Handling
COMPUTERS
COST ESTIMATION
DATA PROCESSING
DESIGN
DIGITAL COMPUTERS
DISTRIBUTED DATA PROCESSING
ERRORS
FAULT TOLERANT COMPUTERS
PROCESSING
PROGRAMMING LANGUAGES
REAL TIME SYSTEMS
SPECIFICATIONS