Application of formal methods to fault-tolerant flight control systems
Le Xue, Zongji Chen · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2003
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.