Abstract:Existing schemes for software fault-tolerance are based on the ideas of redundancy and diversity. Although being experimentally tested valid, existing fault-tolerant schemes are mainly ad hoc and lack theoretically rigorous foundation. They substantially increase software complexity and incur high development costs. They also impose challenges for real-time concurrent software systems where timing requirements may be stringent and faults in concurrent processes can propagate one another. In This work we treat software fault-tolerance as a robust supervisory control (RSC) problem and propose a RSC approach to software fault-tolerance. In this approach the software component under consideration is treated as a controlled object that is modeled as a generalized Kripke structure or finite-state concurrent system, and an additional safety guarder or supervisor is synthesized and compounded to the software component to guarantee the correctness of the overall software system, which is aimed to satisfy a temporal logic (CTL*) formula, even if faults occur to the software component. The proposed RSC approach requires only a single version of software and is based on a theoretically rigorous foundation. It is essentially an approach of model construction and thus complementary to the approach of model checking. It is a contribution to the theory of supervisory control, software fault-tolerance as well as the emerging area of software cybernetics that explores the interplay between software and control.

Software Fault-tolerant Technology Application in Video Supervision System

Study on Fault-Tolerant Based on Modular Method in the Development of Test and Control System Software

Scalable Video Coding Fault Tolerant Strategies Based on Feedback

Fault-Tolerant Software Design for the Distributed Superviso ry Control Systems

Software Fault Tolerance and Fault Rectification Approach Based on Data Flow Abnormity Supervision

An Autonomous Robust Fault Tolerant Control System

Research on Video Conference Maintenance System Based on No-reference Video Quality Assessment Method

Application of Fault-tolerant Technology in PACS/RIS

Intelligent Network Video Surveillance System Based on the TMS320DM8168 Hardware Platform

Fault-tolerant Operation Technology of UAS Control Station

A Long-range Video Surveillance System Base on Digital Image Recognition Technique

Towards a Control-Theoretical Approach to Software Fault-Tolerance

Design and Implementation of Unified Management and Analysis System on the Fault Recorder Data

Key Technical Design of Intelligent Analysis Expert System on Transmission Line Video Monitoring

Key techniques for fault-tolerant real-time embedded system

The Auxiliary System of Video Surveillance in Smart Substation

A Novel Fault Diagnosis Method of the Drainage System

A Software Fault-Tolerant Method Based on Exception Handling in RT/E System

Research on Satisfactory Control Theory and Its Application in Fault-Tolerant Technology

Application of supervisory control and data acquisition to basic station system

A Design of Intelligent Video Surveillance System Based on Speech Recognition Technology