Application of formal methods to fault-tolerant flight control systems

摘要

This paper is concerned with the application of formal methods to fault-tolerant flight control systems. The analysis, design and verification of a fault-tolerant flight control system have been performed in the theoretical framework of the extended duration calculus, which is a popular formal method to handle highly complex real-time hybrid systems. The theoretical results in this paper show that the proposed approach can ensure the flight control system to work properly even after a fault happens.