Abstract:Nowadays many modern applications demand a high degree of software reliability, service availability, and guaranteed timeliness for critical task executions. Due to the rapid growth in variety and functional complexity, the existing methods and tools for developing sizable fault tolerant (FT) real-time (RT) distributed computing (DC) applications have become insufficient. The ROAFTS (Real-time Object-oriented Adaptive Fault Tolerance Support) middleware model has been evolving in the UCI DREAM Laboratory over the past decade as a reliable execution engine model for FT RT DC applications. ROAFTS integrates various mechanisms for fault detection and recovery in a form that meshes with high-level RT DC component-based programming schemes, in particular, the TMO (Time-triggered Message-triggered Object) programming scheme. ROAFTS is the first component-based support middleware model for FT RT DC. Previous ROAFTS model, however, has weaknesses in several important areas. Some major drawbacks are: (a) the incorporated network surveillance scheme does not consider network partitioning failures and network merging; (b) message transmission failure is not handled sufficiently rigorously; (c) the mechanism for collecting and processing failure reports from different parts of the system is weak and incomplete in that its completeness and correctness were not rigorously established. The work reported in this dissertation is to establish a complete and robust middleware model by taking the previous ROAFTS as a starting point and enhancing and integrating multi-level fault detection and recovery mechanisms. The resulting middleware model is called ROAFTS II. This dissertation work presents: (a) an improved RT fault detection scheme, SNS (Supervisor-based Network Surveillance) II, which is capable of detecting network partition events and network merges, and locating fault sources; (b) a reliable messaging protocol, called RMP, for fast detection and masking of message losses due to transient faults occurring on the communication paths; (c) a template based implementation technique enabling TMO application developers to easily implement primary-shadow TMO replicas; (d) a new mechanism for fault report handling and system reconfiguration; and (e) an extension software layer for managing home network devices. Each of these contributions facilitates the analysis of fault detection latency bounds. An experimental evaluation has been conducted. Considering the results, the middleware model presented represents an important step towards establishing a solid foundation for cost effective development of FT RT DC applications.

Simulation and Verification of an Improved Membership Fault-Tolerant Service in TTP/C

MTP: Avoiding Control Plane Overload with Measurement Task Placement

On the Scheduling of Fault-Tolerant Time-Sensitive Networking With IEEE 802.1CB

Fault- Tolerant Cyclic Queuing and Forwarding in Time-Sensitive Networking

Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic.

Research on Fault Tolerance in Hybrid P2P-based Collaborative Systems

Reliability-Aware Multipath Routing of Time-Triggered Traffic in Time-Sensitive Networks

Design of COTS-based Fault-Tolerant Multiprocessor Real-Time Operating System

Unified Strategy for Fault-Tolerant Operation of MMC with Multiple SMs Failure Based on SMs Grouping Management

Fault-tolerant Cell Dispatching for Onboard Space-Memory-memory Clos-network Packet Switches.

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems

Secure Combination of Untrusted Time information Based on Optimized Dempster-Shafer Theory

Dependability-Aware Routing and Scheduling for Time-Sensitive Networking

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup

Fault Tolerance for Service Function Chains

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

Robust Integration of Multi-Level Fault Detection Mechanisms and Recovery Mechanisms in a Component-Based Support Middleware Model for Fault-Tolerant Real-Time Distributed Computing

A Boolean Network Tomography Based Method for Deterministic Multi-point Fault Detection.

Formal Analysis of TSN Scheduler for Real-Time Communications

A New Method of Fault Tolerance Tcp

Clustered Fault Tolerance TSV Planning for 3-D Integrated Circuits.